2001-02-23 05:25:19 +00:00
|
|
|
<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>
|
2001-02-25 05:31:47 +00:00
|
|
|
<p>Instruments Java classes with <a href="http://www.reliable-systems.com/tools/">iContract</a>
|
2001-02-23 05:25:19 +00:00
|
|
|
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>
|
|
|
|
|
|
