wyil.builders

Class Wyil2WyalBuilder

java.lang.Object

wyil.builders.Wyil2WyalBuilder

All Implemented Interfaces:

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

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

Responsible for converting a Wyil file into a Wycs file which can then be passed into the Whiley Constraint Solver (Wycs).

Author:

David J. Pearce

Nested Class Summary

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected wycc.util.Logger	logger For logging information.
protected wybs.lang.Build.Project	project The master namespace for identifying all resources available to the builder.

Constructor Summary

Constructors

Constructor and Description
Wyil2WyalBuilder(wybs.lang.Build.Project project)

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)
String	id()
wybs.lang.Build.Project	project()
void	setLogger(wycc.util.Logger logger)

Methods inherited from class java.lang.Object

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

Field Detail

project

protected final wybs.lang.Build.Project project

The master namespace for identifying all resources available to the builder. This includes all modules declared in the project being verified and/or defined in external resources (e.g. jar files).

logger

protected wycc.util.Logger logger

For logging information.

Constructor Detail

Wyil2WyalBuilder

public Wyil2WyalBuilder(wybs.lang.Build.Project project)

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)

id

public String id()

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