Ant: The Definitive Guide

Name

icontract

Synopsis

Executes the iContract Design By Contact preprocessor. iContract is available at http://www.reliable-systems.com/tools/. This task uses whatever Java compiler the javac task uses. You can specify an alternate Java compiler by setting the build.compiler property.

Attributes

builddir (1.4, File, N)

The destination for compiled instrumented classes. The Ant user manual warns against using the same directory for instrumented and uninstrumented classes, because this breaks dependency checking.

classdir (1.4, File, N)

The source directory containing compiled, uninstrumented classes.

classpath (1.4, Path, N)

The classpath used when instrumenting and compiling files.

classpathref (1.4, Reference, N)

A reference to a classpath defined elsewhere in the buildfile.

controlfile (1.4, File, *)

The name of the control file passed to iContract.

defaultexcludes (1.4, boolean, N)

Determines whether to use default excludes. Defaults to true.

excludes (1.4, String, N)

A comma-separated list of file patterns to exclude.

excludesfile (1.4, File, N)

The name of a file containing one exclude pattern per line.

failthrowable (1.4, String, N)

The class name of an exception or error to throw when an assertion is violated. Defaults to java.lang.Error.

includes (1.4, String, N)

A comma-separated list of file patterns to include.

includesfile (1.4, File, N)

The name of a file containing one include pattern per line.

instrumentdir (1.4, File, Y)

The destination directory for instrumented source files. ...