public class CompileTask extends Object implements wybs.lang.Build.Task
| Constructor and Description |
|---|
CompileTask(wybs.lang.Build.Project project,
TypeSystem typeSystem,
AutomatedTheoremProver prover) |
| Modifier and Type | Method and Description |
|---|---|
Set<wyfs.lang.Path.Entry<?>> |
build(Collection<wycc.util.Pair<wyfs.lang.Path.Entry<?>,wyfs.lang.Path.Root>> delta,
wybs.lang.Build.Graph graph) |
wybs.lang.Build.Project |
project() |
void |
setLogger(wycc.util.Logger logger) |
void |
setVerify(boolean flag) |
public CompileTask(wybs.lang.Build.Project project,
TypeSystem typeSystem,
AutomatedTheoremProver prover)
public wybs.lang.Build.Project project()
project in interface wybs.lang.Build.Taskpublic void setLogger(wycc.util.Logger logger)
public void setVerify(boolean flag)
public Set<wyfs.lang.Path.Entry<?>> build(Collection<wycc.util.Pair<wyfs.lang.Path.Entry<?>,wyfs.lang.Path.Root>> delta, wybs.lang.Build.Graph graph) throws IOException
build in interface wybs.lang.Build.TaskIOExceptionCopyright © 2017. All rights reserved.