From 23461cba9e9902a24d5e24799409c5890046b03e Mon Sep 17 00:00:00 2001 From: Peter Donald Date: Fri, 23 Feb 2001 05:25:19 +0000 Subject: [PATCH] Readded icontract docs git-svn-id: https://svn.apache.org/repos/asf/ant/core/trunk@268732 13f79535-47bb-0310-9956-ffa450edef68 --- docs/manual/OptionalTasks/icontract.html | 110 +++++++++++++++++++++++ docs/manual/optionaltasklist.html | 1 + 2 files changed, 111 insertions(+) create mode 100644 docs/manual/OptionalTasks/icontract.html diff --git a/docs/manual/OptionalTasks/icontract.html b/docs/manual/OptionalTasks/icontract.html new file mode 100644 index 000000000..818fb8c63 --- /dev/null +++ b/docs/manual/OptionalTasks/icontract.html @@ -0,0 +1,110 @@ + + + + +Ant User Manual + + + + +

icontract

+

Description

+

Instruments Java classes with iContract +DBC preprocessor. + +

Parameters

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
AttributeDescriptionRequired
srcdirLocation of the java filesYes
instrumentdirIndicates where the instrumented java and class files + should goYes
repositorydirIndicates where the repository java and class files should + goYes
preIndicates whether or not to instrument for preconditions. + Defaults to trueNo
postIndicates whether or not to instrument for postconditions. + Defaults to trueNo
invariantIndicates whether or not to instrument for invariants. + Defaults to trueNo
failthrowableThe full name of the Throwable (Exception) that should be + thrown when an assertion is violated. Defaults to java.lang.ErrorNo
controlfileThe name of the control file to pass to iContract. Default + is to not pass a fileNo
verbosityIndicates the verbosity level of iContract. Any combination + of error*,warning*,note*,info*,progress*,debug* (comma separated) can be + used. Defaults to error*,warning*No
+ +

+ Note: iContract will use the java compiler indicated by the project's + build.compiler property. See documentation for the Javac task for + more information. + +

Example:

+ + 
+ <!-- =================================================================== -->
+ <!-- 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>
+
+ +
+

Copyright © 2000,2001 Apache Software Foundation. All rights +Reserved.

+ + + + diff --git a/docs/manual/optionaltasklist.html b/docs/manual/optionaltasklist.html index 60e83c060..5dae7c482 100644 --- a/docs/manual/optionaltasklist.html +++ b/docs/manual/optionaltasklist.html @@ -18,6 +18,7 @@ EJB Tasks
FTP
JavaCC
+IContract
JJTree
Jlink
JUnit