wyal.tasks

Class CompileTask

java.lang.Object

wyal.tasks.CompileTask

All Implemented Interfaces:

wybs.lang.Build.Task, wycc.lang.Feature

public class CompileTask
extends Object
implements wybs.lang.Build.Task

Nested Class Summary

Nested classes/interfaces inherited from interface wycc.lang.Feature

wycc.lang.Feature.Configurable, wycc.lang.Feature.ConfigurationError

Constructor Summary

Constructors

Constructor and Description
CompileTask(wybs.lang.Build.Project project, TypeSystem typeSystem, AutomatedTheoremProver prover)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CompileTask

public CompileTask(wybs.lang.Build.Project project,
                   TypeSystem typeSystem,
                   AutomatedTheoremProver prover)

Method Detail

project

public wybs.lang.Build.Project project()

Specified by:

project in interface wybs.lang.Build.Task

setLogger

public void setLogger(wycc.util.Logger logger)

setVerify

public void setVerify(boolean flag)

build

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

Specified by:

build in interface wybs.lang.Build.Task

Throws:

IOException