|
|
@@ -0,0 +1,110 @@ |
|
|
|
|
|
<html> |
|
|
|
|
|
|
|
|
|
|
|
<head> |
|
|
|
|
|
<meta http-equiv="Content-Language" content="en-us"> |
|
|
|
|
|
<title>Ant User Manual</title> |
|
|
|
|
|
</head> |
|
|
|
|
|
|
|
|
|
|
|
<body> |
|
|
|
|
|
|
|
|
|
|
|
<h2><a name="icontract">icontract</a></h2> |
|
|
|
|
|
<h3>Description</h3> |
|
|
|
|
|
<p>Instruments Java classes with <a href="http://www.reliable-systems.com/tools/">iContract<a> |
|
|
|
|
|
DBC preprocessor. |
|
|
|
|
|
|
|
|
|
|
|
<h3>Parameters</h3> |
|
|
|
|
|
<table border="1" cellpadding="2" cellspacing="0"> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top"><b>Attribute</b></td> |
|
|
|
|
|
<td valign="top"><b>Description</b></td> |
|
|
|
|
|
<td align="center" valign="top"><b>Required</b></td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">srcdir</td> |
|
|
|
|
|
<td valign="top">Location of the java files</td> |
|
|
|
|
|
<td valign="top" align="center">Yes</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">instrumentdir</td> |
|
|
|
|
|
<td valign="top">Indicates where the instrumented java and class files |
|
|
|
|
|
should go</td> |
|
|
|
|
|
<td valign="top" align="center">Yes</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">repositorydir</td> |
|
|
|
|
|
<td valign="top">Indicates where the repository java and class files should |
|
|
|
|
|
go</td> |
|
|
|
|
|
<td valign="top" align="center">Yes</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">pre</td> |
|
|
|
|
|
<td valign="top">Indicates whether or not to instrument for preconditions. |
|
|
|
|
|
Defaults to <code>true</code></td> |
|
|
|
|
|
<td valign="top" align="center">No</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">post</td> |
|
|
|
|
|
<td valign="top">Indicates whether or not to instrument for postconditions. |
|
|
|
|
|
Defaults to <code>true</code></td> |
|
|
|
|
|
<td valign="top" align="center">No</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">invariant</td> |
|
|
|
|
|
<td valign="top">Indicates whether or not to instrument for invariants. |
|
|
|
|
|
Defaults to <code>true</code></td> |
|
|
|
|
|
<td valign="top" align="center">No</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">failthrowable</td> |
|
|
|
|
|
<td valign="top">The full name of the Throwable (Exception) that should be |
|
|
|
|
|
thrown when an assertion is violated. Defaults to <code>java.lang.Error</code></td> |
|
|
|
|
|
<td valign="top" align="center">No</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">controlfile</td> |
|
|
|
|
|
<td valign="top">The name of the control file to pass to iContract. Default |
|
|
|
|
|
is to not pass a file</td> |
|
|
|
|
|
<td valign="top" align="center">No</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
<tr> |
|
|
|
|
|
<td valign="top">verbosity</td> |
|
|
|
|
|
<td valign="top">Indicates the verbosity level of iContract. Any combination |
|
|
|
|
|
of error*,warning*,note*,info*,progress*,debug* (comma separated) can be |
|
|
|
|
|
used. Defaults to <code>error*,warning*</code></td> |
|
|
|
|
|
<td valign="top" align="center">No</td> |
|
|
|
|
|
</tr> |
|
|
|
|
|
</table> |
|
|
|
|
|
|
|
|
|
|
|
<p/> |
|
|
|
|
|
<b>Note:</b> iContract will use the java compiler indicated by the project's |
|
|
|
|
|
<code>build.compiler</code> property. See documentation for the Javac task for |
|
|
|
|
|
more information. |
|
|
|
|
|
|
|
|
|
|
|
<p><b>Example:</b></p> |
|
|
|
|
|
|
|
|
|
|
|
<pre> |
|
|
|
|
|
<!-- =================================================================== --> |
|
|
|
|
|
<!-- Instruments source codes with iContract --> |
|
|
|
|
|
<!-- =================================================================== --> |
|
|
|
|
|
<target name="instrument" depends="compile"> |
|
|
|
|
|
<icontract |
|
|
|
|
|
srcdir="${build.src}" |
|
|
|
|
|
instrumentdir="${instrumented.dir}" |
|
|
|
|
|
repositorydir="${repository.dir}" |
|
|
|
|
|
> |
|
|
|
|
|
<classpath> |
|
|
|
|
|
<fileset dir="./lib"> |
|
|
|
|
|
<include name="*.jar"/> |
|
|
|
|
|
</fileset> |
|
|
|
|
|
</classpath> |
|
|
|
|
|
</icontract> |
|
|
|
|
|
</target> |
|
|
|
|
|
</pre> |
|
|
|
|
|
|
|
|
|
|
|
<hr> |
|
|
|
|
|
<p align="center">Copyright © 2000,2001 Apache Software Foundation. All rights |
|
|
|
|
|
Reserved.</p> |
|
|
|
|
|
|
|
|
|
|
|
</body> |
|
|
|
|
|
</html> |
|
|
|
|
|
|
Peter Donald