wyc.util

Class AntTask

java.lang.Object

org.apache.tools.ant.ProjectComponent

org.apache.tools.ant.Task

org.apache.tools.ant.taskdefs.MatchingTask

wyc.util.AntTask

All Implemented Interfaces:

Cloneable, org.apache.tools.ant.types.selectors.SelectorContainer

public class AntTask
extends org.apache.tools.ant.taskdefs.MatchingTask

This class implements an baseline ant task for compiling whiley files via ant and an appropriate build.xml file. The following illustrates how this task can be used in a build.xml file:

The first line defines the new task, and requires wyc.jar (which contains this class) to be on the classpath; The second invokes the task to compile all files rooted in the stdlib/ directory which are in the whiley/ package, excluding those in whiley/io.

NOTE: this class is intended to be overriden by the compiler backends which compile Wyil bytecodes to different architectures (e.g. JVM, C, JavaScript, etc).

Author:

David J. Pearce

Field Summary

Fields

Modifier and Type	Field and Description
protected Compile	command

Fields inherited from class org.apache.tools.ant.taskdefs.MatchingTask

fileset

Fields inherited from class org.apache.tools.ant.Task

target, taskName, taskType, wrapper

Fields inherited from class org.apache.tools.ant.ProjectComponent

description, location, project

Constructor Summary

Constructors

Constructor and Description
AntTask() Construct a new instance of this command.

Method Summary

Modifier and Type	Method and Description
void	execute()
void	setExcludes(String excludes)
void	setIncludes(String includes)
void	setVcg(boolean b)
void	setVerbose(boolean b)
void	setVerify(boolean b)
void	setWhileydir(File dir)
void	setWhileypath(String dirs)
void	setWyaldir(File dir)
void	setWyildir(File dir)

Methods inherited from class org.apache.tools.ant.taskdefs.MatchingTask

add, addAnd, addContains, addContainsRegexp, addCustom, addDate, addDepend, addDepth, addDifferent, addFilename, addMajority, addModified, addNone, addNot, addOr, addPresent, addSelector, addSize, addType, appendSelector, createExclude, createExcludesFile, createInclude, createIncludesFile, createPatternSet, getDirectoryScanner, getImplicitFileSet, getSelectors, hasSelectors, selectorCount, selectorElements, setCaseSensitive, setDefaultexcludes, setExcludesfile, setFollowSymlinks, setIncludesfile, setProject, XsetIgnore, XsetItems

Methods inherited from class org.apache.tools.ant.Task

bindToOwner, getOwningTarget, getRuntimeConfigurableWrapper, getTaskName, getTaskType, getWrapper, handleErrorFlush, handleErrorOutput, handleFlush, handleInput, handleOutput, init, isInvalid, log, log, log, log, maybeConfigure, perform, reconfigure, setOwningTarget, setRuntimeConfigurableWrapper, setTaskName, setTaskType

Methods inherited from class org.apache.tools.ant.ProjectComponent

clone, getDescription, getLocation, getProject, setDescription, setLocation

Methods inherited from class java.lang.Object

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

Field Detail

command

protected Compile command

Constructor Detail

AntTask

public AntTask()

Construct a new instance of this command.

Parameters:

registry - The content registry being used to match files to content types.

Throws:

IOException

Method Detail

setWhileypath

public void setWhileypath(String dirs)
                   throws IOException

Throws:

IOException

setWhileydir

public void setWhileydir(File dir)
                  throws IOException

Throws:

IOException

setWyildir

public void setWyildir(File dir)
                throws IOException

Throws:

IOException

setWyaldir

public void setWyaldir(File dir)
                throws IOException

Throws:

IOException

setVerify

public void setVerify(boolean b)

setVcg

public void setVcg(boolean b)

setVerbose

public void setVerbose(boolean b)

setIncludes

public void setIncludes(String includes)

Overrides:

setIncludes in class org.apache.tools.ant.taskdefs.MatchingTask

setExcludes

public void setExcludes(String excludes)

Overrides:

setExcludes in class org.apache.tools.ant.taskdefs.MatchingTask

execute

public void execute()
             throws org.apache.tools.ant.BuildException

Overrides:

execute in class org.apache.tools.ant.Task

Throws:

org.apache.tools.ant.BuildException