source: other-projects/trunk/gs3-release-maker/apache-ant-1.6.5/build/javadocs/org/apache/tools/ant/taskdefs/optional/IContract.html@ 14627

Last change on this file since 14627 was 14627, checked in by oranfry, 17 years ago

initial import of the gs3-release-maker
File size: 43.5 KB
Line 
1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2<!--NewPage-->
3<HTML>
4<HEAD>
5<!-- Generated by javadoc (build 1.4.2_13) on Mon Oct 01 14:33:23 NZST 2007 -->
6<TITLE>
7IContract (Apache Ant API)
8</TITLE>
9
10<META NAME="keywords" CONTENT="org.apache.tools.ant.taskdefs.optional.IContract class">
11
12<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../../../stylesheet.css" TITLE="Style">
13
14<SCRIPT type="text/javascript">
15function windowTitle()
16{
17 parent.document.title="IContract (Apache Ant API)";
18}
19</SCRIPT>
20
21</HEAD>
22
23<BODY BGCOLOR="white" onload="windowTitle();">
24
25
26<!-- ========= START OF TOP NAVBAR ======= -->
27<A NAME="navbar_top"><!-- --></A>
28<A HREF="#skip-navbar_top" title="Skip navigation links"></A>
29<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
30<TR>
31<TD COLSPAN=3 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
32<A NAME="navbar_top_firstrow"><!-- --></A>
33<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
34 <TR ALIGN="center" VALIGN="top">
35 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A>&nbsp;</TD>
36 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>
37 <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>
38 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
39 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
40 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>
41 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
42 </TR>
43</TABLE>
44</TD>
45<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
46</EM>
47</TD>
48</TR>
49
50<TR>
51<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
52&nbsp;<A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/EchoProperties.FormatAttribute.html" title="class in org.apache.tools.ant.taskdefs.optional"><B>PREV CLASS</B></A>&nbsp;
53&nbsp;<A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/Javah.html" title="class in org.apache.tools.ant.taskdefs.optional"><B>NEXT CLASS</B></A></FONT></TD>
54<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
55 <A HREF="../../../../../../index.html" target="_top"><B>FRAMES</B></A> &nbsp;
56&nbsp;<A HREF="IContract.html" target="_top"><B>NO FRAMES</B></A> &nbsp;
57&nbsp;<SCRIPT type="text/javascript">
58 <!--
59 if(window==top) {
60 document.writeln('<A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>');
61 }
62 //-->
63</SCRIPT>
64<NOSCRIPT>
65 <A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>
66</NOSCRIPT>
67
68</FONT></TD>
69</TR>
70<TR>
71<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
72 SUMMARY:&nbsp;NESTED&nbsp;|&nbsp;<A HREF="#fields_inherited_from_class_org.apache.tools.ant.taskdefs.MatchingTask">FIELD</A>&nbsp;|&nbsp;<A HREF="#constructor_summary">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
73<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
74DETAIL:&nbsp;FIELD&nbsp;|&nbsp;<A HREF="#constructor_detail">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD>
75</TR>
76</TABLE>
77<A NAME="skip-navbar_top"></A>
78<!-- ========= END OF TOP NAVBAR ========= -->
79
80<HR>
81<!-- ======== START OF CLASS DATA ======== -->
82<H2>
83<FONT SIZE="-1">
84org.apache.tools.ant.taskdefs.optional</FONT>
85<BR>
86Class IContract</H2>
87<PRE>
88java.lang.Object
89 <IMG SRC="../../../../../../resources/inherit.gif" ALT="extended by"><A HREF="../../../../../../org/apache/tools/ant/ProjectComponent.html" title="class in org.apache.tools.ant">org.apache.tools.ant.ProjectComponent</A>
90 <IMG SRC="../../../../../../resources/inherit.gif" ALT="extended by"><A HREF="../../../../../../org/apache/tools/ant/Task.html" title="class in org.apache.tools.ant">org.apache.tools.ant.Task</A>
91 <IMG SRC="../../../../../../resources/inherit.gif" ALT="extended by"><A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html" title="class in org.apache.tools.ant.taskdefs">org.apache.tools.ant.taskdefs.MatchingTask</A>
92 <IMG SRC="../../../../../../resources/inherit.gif" ALT="extended by"><B>org.apache.tools.ant.taskdefs.optional.IContract</B>
93</PRE>
94<DL>
95<DT><B>All Implemented Interfaces:</B> <DD><A HREF="../../../../../../org/apache/tools/ant/types/selectors/SelectorContainer.html" title="interface in org.apache.tools.ant.types.selectors">SelectorContainer</A></DD>
96</DL>
97<HR>
98<DL>
99<DT>public class <B>IContract</B><DT>extends <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html" title="class in org.apache.tools.ant.taskdefs">MatchingTask</A></DL>
100
101<P>
102Instruments Java classes with iContract DBC preprocessor.
103 <br/>
104 The task can generate a properties file for
105 <a href="http://hjem.sol.no/hellesoy/icontrol.html">iControl</a>,
106 a graphical user interface that lets you turn on/off assertions.
107 iControl generates a control file that you can refer to
108 from this task using the controlfile attribute.
109 iContract is at
110 <a href="http://www.reliable-systems.com/tools/">
111 http://www.reliable-systems.com/tools/</a>
112 <p/>
113 Thanks to Rainer Schmitz for enhancements and comments.
114
115
116 <p/>
117 <table border="1" cellpadding="2" cellspacing="0">
118 <tr>
119 <td valign="top"><b>Attribute</b></td>
120 <td valign="top"><b>Description</b></td>
121 <td align="center" valign="top"><b>Required</b></td>
122 </tr>
123 <tr>
124 <td valign="top">srcdir</td>
125 <td valign="top">Location of the java files.</td>
126 <td valign="top" align="center">Yes</td>
127 </tr>
128 <tr>
129 <td valign="top">instrumentdir</td>
130 <td valign="top">Indicates where the instrumented source
131 files should go.</td>
132 <td valign="top" align="center">Yes</td>
133 </tr>
134 <tr>
135 <td valign="top">repositorydir</td>
136 <td valign="top">Indicates where the repository source
137 files should go.</td>
138 <td valign="top" align="center">Yes</td>
139 </tr>
140 <tr>
141 <td valign="top">builddir</td>
142 <td valign="top">Indicates where the compiled instrumented
143 classes should go. Defaults to the value of
144 instrumentdir.
145 </p>
146 <em>NOTE:</em> Don't use the same directory for compiled
147 instrumented classes and uninstrumented classes. It will break the
148 dependency checking. (Classes will not be reinstrumented if you
149 change them).</td>
150 <td valign="top" align="center">No</td>
151 </tr>
152 <tr>
153 <td valign="top">repbuilddir</td>
154 <td valign="top">Indicates where the compiled repository classes
155 should go. Defaults to the value of repositorydir.</td>
156 <td valign="top" align="center">No</td>
157 </tr>
158 <tr>
159 <td valign="top">pre</td>
160 <td valign="top">Indicates whether or not to instrument for
161 preconditions. Defaults to <code>true</code> unless
162 controlfile is specified, in which case it defaults
163 to <code>false</code>.</td>
164 <td valign="top" align="center">No</td>
165 </tr>
166 <tr>
167 <td valign="top">post</td>
168 <td valign="top">Indicates whether or not to instrument for
169 postconditions. Defaults to <code>true</code> unless
170 controlfile is specified, in which case it defaults
171 to <code>false</code>.</td>
172 <td valign="top" align="center">No</td>
173 </tr>
174 <tr>
175 <td valign="top">invariant</td>
176 <td valign="top">Indicates whether or not to instrument for invariants.
177 Defaults to <code>true</code> unless controlfile is
178 specified, in which case it defaults to
179 <code>false</code>.</td>
180 <td valign="top" align="center">No</td>
181 </tr>
182 <tr>
183 <td valign="top">failthrowable</td>
184 <td valign="top">The full name of the Throwable (Exception) that
185 should be thrown when an assertion is violated.
186 Defaults to <code>java.lang.Error</code></td>
187 <td valign="top" align="center">No</td>
188 </tr>
189 <tr>
190 <td valign="top">verbosity</td>
191 <td valign="top">Indicates the verbosity level of iContract.
192 Any combination of
193 <code>error*,warning*,note*,info*,progress*,debug*</code>
194 (comma separated) can be used. Defaults to <code>error*</code></td>
195 <td valign="top" align="center">No</td>
196 </tr>
197 <tr>
198 <td valign="top">quiet</td>
199 <td valign="top">Indicates if iContract should be quiet. Turn it off
200 if many your classes extend uninstrumented classes and you don't
201 want warnings about this. Defaults to <code>false</code></td>
202 <td valign="top" align="center">No</td>
203 </tr>
204 <tr>
205 <td valign="top">updateicontrol</td>
206 <td valign="top">If set to true, it indicates that the properties
207 file for iControl in the current directory should be updated
208 (or created if it doesn't exist). Defaults to <code>false</code>.
209 </td>
210 <td valign="top" align="center">No</td>
211 </tr>
212 <tr>
213 <td valign="top">controlfile</td>
214 <td valign="top">The name of the control file to pass to iContract.
215 Consider using iControl to generate the file.
216 Default is not to pass a file. </td>
217 <td valign="top" align="center">
218 Only if <code>updateicontrol=true</code></td>
219 </tr>
220 <tr>
221 <td valign="top">classdir</td>
222 <td valign="top">Indicates where compiled (unistrumented) classes are
223 located. This is required in order to properly update
224 the icontrol.properties file, not for instrumentation.
225 </td>
226 <td valign="top" align="center">Only if
227 <code>updateicontrol=true</code></td>
228 </tr>
229 <tr>
230 <td valign="top">targets</td>
231 <td valign="top">Name of the file that will be generated by this task,
232 which lists all the classes that iContract will
233 instrument. If specified, the file will not be deleted
234 after execution. If not specified, a file will still
235 be created, but it will be deleted after execution.</td>
236 <td valign="top" align="center">No</td>
237 </tr>
238 </table>
239
240 <p/>
241 <b>Note:</b> iContract will use the java compiler indicated by the project's
242 <code>build.compiler</code> property. See documentation of the Javac task for
243 more information.
244 <p/>
245 Nested includes and excludes are also supported.
246
247 <p><b>Example:</b></p>
248 <pre>
249 &lt;icontract
250 srcdir="${build.src}"
251 instrumentdir="${build.instrument}"
252 repositorydir="${build.repository}"
253 builddir="${build.instrclasses}"
254 updateicontrol="true"
255 classdir="${build.classes}"
256 controlfile="control"
257 targets="targets"
258 verbosity="error*,warning*"
259 quiet="true"
260 >
261 &lt;classpath refid="compile-classpath"/>
262 &lt;/icontract>
263 </pre>
264<P>
265
266<P>
267<HR>
268
269<P>
270<!-- ======== NESTED CLASS SUMMARY ======== -->
271
272
273<!-- =========== FIELD SUMMARY =========== -->
274
275<A NAME="field_summary"><!-- --></A>
276<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
277<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
278<TD COLSPAN=2><FONT SIZE="+2">
279<B>Field Summary</B></FONT></TD>
280</TR>
281</TABLE>
282&nbsp;<A NAME="fields_inherited_from_class_org.apache.tools.ant.taskdefs.MatchingTask"><!-- --></A>
283<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
284<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
285<TD><B>Fields inherited from class org.apache.tools.ant.taskdefs.<A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html" title="class in org.apache.tools.ant.taskdefs">MatchingTask</A></B></TD>
286</TR>
287<TR BGCOLOR="white" CLASS="TableRowColor">
288<TD><CODE><A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#fileset">fileset</A></CODE></TD>
289</TR>
290</TABLE>
291&nbsp;<A NAME="fields_inherited_from_class_org.apache.tools.ant.Task"><!-- --></A>
292<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
293<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
294<TD><B>Fields inherited from class org.apache.tools.ant.<A HREF="../../../../../../org/apache/tools/ant/Task.html" title="class in org.apache.tools.ant">Task</A></B></TD>
295</TR>
296<TR BGCOLOR="white" CLASS="TableRowColor">
297<TD><CODE><A HREF="../../../../../../org/apache/tools/ant/Task.html#description">description</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#location">location</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#target">target</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#taskName">taskName</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#taskType">taskType</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#wrapper">wrapper</A></CODE></TD>
298</TR>
299</TABLE>
300&nbsp;<A NAME="fields_inherited_from_class_org.apache.tools.ant.ProjectComponent"><!-- --></A>
301<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
302<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
303<TD><B>Fields inherited from class org.apache.tools.ant.<A HREF="../../../../../../org/apache/tools/ant/ProjectComponent.html" title="class in org.apache.tools.ant">ProjectComponent</A></B></TD>
304</TR>
305<TR BGCOLOR="white" CLASS="TableRowColor">
306<TD><CODE><A HREF="../../../../../../org/apache/tools/ant/ProjectComponent.html#project">project</A></CODE></TD>
307</TR>
308</TABLE>
309&nbsp;
310<!-- ======== CONSTRUCTOR SUMMARY ======== -->
311
312<A NAME="constructor_summary"><!-- --></A>
313<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
314<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
315<TD COLSPAN=2><FONT SIZE="+2">
316<B>Constructor Summary</B></FONT></TD>
317</TR>
318<TR BGCOLOR="white" CLASS="TableRowColor">
319<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#IContract()">IContract</A></B>()</CODE>
320
321<BR>
322&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TD>
323</TR>
324</TABLE>
325&nbsp;
326<!-- ========== METHOD SUMMARY =========== -->
327
328<A NAME="method_summary"><!-- --></A>
329<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
330<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
331<TD COLSPAN=2><FONT SIZE="+2">
332<B>Method Summary</B></FONT></TD>
333</TR>
334<TR BGCOLOR="white" CLASS="TableRowColor">
335<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
336<CODE>&nbsp;<A HREF="../../../../../../org/apache/tools/ant/types/Path.html" title="class in org.apache.tools.ant.types">Path</A></CODE></FONT></TD>
337<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#createClasspath()">createClasspath</A></B>()</CODE>
338
339<BR>
340&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the classpath.</TD>
341</TR>
342<TR BGCOLOR="white" CLASS="TableRowColor">
343<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
344<CODE>&nbsp;void</CODE></FONT></TD>
345<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#execute()">execute</A></B>()</CODE>
346
347<BR>
348&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Executes the task</TD>
349</TR>
350<TR BGCOLOR="white" CLASS="TableRowColor">
351<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
352<CODE>&nbsp;void</CODE></FONT></TD>
353<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setBuilddir(java.io.File)">setBuilddir</A></B>(java.io.File&nbsp;buildDir)</CODE>
354
355<BR>
356&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the build directory for instrumented classes.</TD>
357</TR>
358<TR BGCOLOR="white" CLASS="TableRowColor">
359<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
360<CODE>&nbsp;void</CODE></FONT></TD>
361<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setClassdir(java.io.File)">setClassdir</A></B>(java.io.File&nbsp;classDir)</CODE>
362
363<BR>
364&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the class directory (uninstrumented classes).</TD>
365</TR>
366<TR BGCOLOR="white" CLASS="TableRowColor">
367<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
368<CODE>&nbsp;void</CODE></FONT></TD>
369<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setClasspath(org.apache.tools.ant.types.Path)">setClasspath</A></B>(<A HREF="../../../../../../org/apache/tools/ant/types/Path.html" title="class in org.apache.tools.ant.types">Path</A>&nbsp;path)</CODE>
370
371<BR>
372&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the classpath to be used for invocation of iContract.</TD>
373</TR>
374<TR BGCOLOR="white" CLASS="TableRowColor">
375<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
376<CODE>&nbsp;void</CODE></FONT></TD>
377<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setClasspathRef(org.apache.tools.ant.types.Reference)">setClasspathRef</A></B>(<A HREF="../../../../../../org/apache/tools/ant/types/Reference.html" title="class in org.apache.tools.ant.types">Reference</A>&nbsp;reference)</CODE>
378
379<BR>
380&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Adds a reference to a classpath defined elsewhere.</TD>
381</TR>
382<TR BGCOLOR="white" CLASS="TableRowColor">
383<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
384<CODE>&nbsp;void</CODE></FONT></TD>
385<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setControlfile(java.io.File)">setControlfile</A></B>(java.io.File&nbsp;controlFile)</CODE>
386
387<BR>
388&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the control file to pass to iContract.</TD>
389</TR>
390<TR BGCOLOR="white" CLASS="TableRowColor">
391<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
392<CODE>&nbsp;void</CODE></FONT></TD>
393<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setFailthrowable(java.lang.String)">setFailthrowable</A></B>(java.lang.String&nbsp;clazz)</CODE>
394
395<BR>
396&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the Throwable (Exception) to be thrown on assertion violation.</TD>
397</TR>
398<TR BGCOLOR="white" CLASS="TableRowColor">
399<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
400<CODE>&nbsp;void</CODE></FONT></TD>
401<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setInstrumentdir(java.io.File)">setInstrumentdir</A></B>(java.io.File&nbsp;instrumentDir)</CODE>
402
403<BR>
404&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the instrumentation directory.</TD>
405</TR>
406<TR BGCOLOR="white" CLASS="TableRowColor">
407<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
408<CODE>&nbsp;void</CODE></FONT></TD>
409<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setInvariant(boolean)">setInvariant</A></B>(boolean&nbsp;invariant)</CODE>
410
411<BR>
412&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Turns on/off invariant instrumentation.</TD>
413</TR>
414<TR BGCOLOR="white" CLASS="TableRowColor">
415<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
416<CODE>&nbsp;void</CODE></FONT></TD>
417<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setPost(boolean)">setPost</A></B>(boolean&nbsp;post)</CODE>
418
419<BR>
420&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Turns on/off postcondition instrumentation.</TD>
421</TR>
422<TR BGCOLOR="white" CLASS="TableRowColor">
423<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
424<CODE>&nbsp;void</CODE></FONT></TD>
425<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setPre(boolean)">setPre</A></B>(boolean&nbsp;pre)</CODE>
426
427<BR>
428&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Turns on/off precondition instrumentation.</TD>
429</TR>
430<TR BGCOLOR="white" CLASS="TableRowColor">
431<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
432<CODE>&nbsp;void</CODE></FONT></TD>
433<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setQuiet(boolean)">setQuiet</A></B>(boolean&nbsp;quiet)</CODE>
434
435<BR>
436&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Tells iContract to be quiet.</TD>
437</TR>
438<TR BGCOLOR="white" CLASS="TableRowColor">
439<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
440<CODE>&nbsp;void</CODE></FONT></TD>
441<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setRepbuilddir(java.io.File)">setRepbuilddir</A></B>(java.io.File&nbsp;repBuildDir)</CODE>
442
443<BR>
444&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the build directory for instrumented classes.</TD>
445</TR>
446<TR BGCOLOR="white" CLASS="TableRowColor">
447<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
448<CODE>&nbsp;void</CODE></FONT></TD>
449<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setRepositorydir(java.io.File)">setRepositorydir</A></B>(java.io.File&nbsp;repositoryDir)</CODE>
450
451<BR>
452&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the build directory for repository classes.</TD>
453</TR>
454<TR BGCOLOR="white" CLASS="TableRowColor">
455<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
456<CODE>&nbsp;void</CODE></FONT></TD>
457<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setSrcdir(java.io.File)">setSrcdir</A></B>(java.io.File&nbsp;srcDir)</CODE>
458
459<BR>
460&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the source directory.</TD>
461</TR>
462<TR BGCOLOR="white" CLASS="TableRowColor">
463<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
464<CODE>&nbsp;void</CODE></FONT></TD>
465<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setTargets(java.io.File)">setTargets</A></B>(java.io.File&nbsp;targets)</CODE>
466
467<BR>
468&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the name of the file where targets will be written.</TD>
469</TR>
470<TR BGCOLOR="white" CLASS="TableRowColor">
471<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
472<CODE>&nbsp;void</CODE></FONT></TD>
473<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setUpdateicontrol(boolean)">setUpdateicontrol</A></B>(boolean&nbsp;updateIcontrol)</CODE>
474
475<BR>
476&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;If true, updates iControl properties file</TD>
477</TR>
478<TR BGCOLOR="white" CLASS="TableRowColor">
479<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
480<CODE>&nbsp;void</CODE></FONT></TD>
481<TD><CODE><B><A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/IContract.html#setVerbosity(java.lang.String)">setVerbosity</A></B>(java.lang.String&nbsp;verbosity)</CODE>
482
483<BR>
484&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Sets the verbosity level of iContract.</TD>
485</TR>
486</TABLE>
487&nbsp;<A NAME="methods_inherited_from_class_org.apache.tools.ant.taskdefs.MatchingTask"><!-- --></A>
488<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
489<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
490<TD><B>Methods inherited from class org.apache.tools.ant.taskdefs.<A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html" title="class in org.apache.tools.ant.taskdefs">MatchingTask</A></B></TD>
491</TR>
492<TR BGCOLOR="white" CLASS="TableRowColor">
493<TD><CODE><A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#add(org.apache.tools.ant.types.selectors.FileSelector)">add</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addAnd(org.apache.tools.ant.types.selectors.AndSelector)">addAnd</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addContains(org.apache.tools.ant.types.selectors.ContainsSelector)">addContains</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addContainsRegexp(org.apache.tools.ant.types.selectors.ContainsRegexpSelector)">addContainsRegexp</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addCustom(org.apache.tools.ant.types.selectors.ExtendSelector)">addCustom</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addDate(org.apache.tools.ant.types.selectors.DateSelector)">addDate</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addDepend(org.apache.tools.ant.types.selectors.DependSelector)">addDepend</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addDepth(org.apache.tools.ant.types.selectors.DepthSelector)">addDepth</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addDifferent(org.apache.tools.ant.types.selectors.DifferentSelector)">addDifferent</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addFilename(org.apache.tools.ant.types.selectors.FilenameSelector)">addFilename</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addMajority(org.apache.tools.ant.types.selectors.MajoritySelector)">addMajority</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addModified(org.apache.tools.ant.types.selectors.modifiedselector.ModifiedSelector)">addModified</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addNone(org.apache.tools.ant.types.selectors.NoneSelector)">addNone</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addNot(org.apache.tools.ant.types.selectors.NotSelector)">addNot</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addOr(org.apache.tools.ant.types.selectors.OrSelector)">addOr</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addPresent(org.apache.tools.ant.types.selectors.PresentSelector)">addPresent</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addSelector(org.apache.tools.ant.types.selectors.SelectSelector)">addSelector</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addSize(org.apache.tools.ant.types.selectors.SizeSelector)">addSize</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#addType(org.apache.tools.ant.types.selectors.TypeSelector)">addType</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#appendSelector(org.apache.tools.ant.types.selectors.FileSelector)">appendSelector</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#createExclude()">createExclude</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#createExcludesFile()">createExcludesFile</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#createInclude()">createInclude</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#createIncludesFile()">createIncludesFile</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#createPatternSet()">createPatternSet</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#getDirectoryScanner(java.io.File)">getDirectoryScanner</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#getImplicitFileSet()">getImplicitFileSet</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#getSelectors(org.apache.tools.ant.Project)">getSelectors</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#hasSelectors()">hasSelectors</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#selectorCount()">selectorCount</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#selectorElements()">selectorElements</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setCaseSensitive(boolean)">setCaseSensitive</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setDefaultexcludes(boolean)">setDefaultexcludes</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setExcludes(java.lang.String)">setExcludes</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setExcludesfile(java.io.File)">setExcludesfile</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setFollowSymlinks(boolean)">setFollowSymlinks</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setIncludes(java.lang.String)">setIncludes</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setIncludesfile(java.io.File)">setIncludesfile</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#setProject(org.apache.tools.ant.Project)">setProject</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#XsetIgnore(java.lang.String)">XsetIgnore</A>, <A HREF="../../../../../../org/apache/tools/ant/taskdefs/MatchingTask.html#XsetItems(java.lang.String)">XsetItems</A></CODE></TD>
494</TR>
495</TABLE>
496&nbsp;<A NAME="methods_inherited_from_class_org.apache.tools.ant.Task"><!-- --></A>
497<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
498<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
499<TD><B>Methods inherited from class org.apache.tools.ant.<A HREF="../../../../../../org/apache/tools/ant/Task.html" title="class in org.apache.tools.ant">Task</A></B></TD>
500</TR>
501<TR BGCOLOR="white" CLASS="TableRowColor">
502<TD><CODE><A HREF="../../../../../../org/apache/tools/ant/Task.html#getDescription()">getDescription</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#getLocation()">getLocation</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#getOwningTarget()">getOwningTarget</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#getRuntimeConfigurableWrapper()">getRuntimeConfigurableWrapper</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#getTaskName()">getTaskName</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#getTaskType()">getTaskType</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#getWrapper()">getWrapper</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#handleErrorFlush(java.lang.String)">handleErrorFlush</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#handleErrorOutput(java.lang.String)">handleErrorOutput</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#handleFlush(java.lang.String)">handleFlush</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#handleInput(byte[], int, int)">handleInput</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#handleOutput(java.lang.String)">handleOutput</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#init()">init</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#isInvalid()">isInvalid</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#log(java.lang.String)">log</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#log(java.lang.String, int)">log</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#maybeConfigure()">maybeConfigure</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#perform()">perform</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#reconfigure()">reconfigure</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#setDescription(java.lang.String)">setDescription</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#setLocation(org.apache.tools.ant.Location)">setLocation</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#setOwningTarget(org.apache.tools.ant.Target)">setOwningTarget</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#setRuntimeConfigurableWrapper(org.apache.tools.ant.RuntimeConfigurable)">setRuntimeConfigurableWrapper</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#setTaskName(java.lang.String)">setTaskName</A>, <A HREF="../../../../../../org/apache/tools/ant/Task.html#setTaskType(java.lang.String)">setTaskType</A></CODE></TD>
503</TR>
504</TABLE>
505&nbsp;<A NAME="methods_inherited_from_class_org.apache.tools.ant.ProjectComponent"><!-- --></A>
506<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
507<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
508<TD><B>Methods inherited from class org.apache.tools.ant.<A HREF="../../../../../../org/apache/tools/ant/ProjectComponent.html" title="class in org.apache.tools.ant">ProjectComponent</A></B></TD>
509</TR>
510<TR BGCOLOR="white" CLASS="TableRowColor">
511<TD><CODE><A HREF="../../../../../../org/apache/tools/ant/ProjectComponent.html#getProject()">getProject</A></CODE></TD>
512</TR>
513</TABLE>
514&nbsp;<A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>
515<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
516<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
517<TD><B>Methods inherited from class java.lang.Object</B></TD>
518</TR>
519<TR BGCOLOR="white" CLASS="TableRowColor">
520<TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD>
521</TR>
522</TABLE>
523&nbsp;
524<P>
525
526<!-- ============ FIELD DETAIL =========== -->
527
528
529<!-- ========= CONSTRUCTOR DETAIL ======== -->
530
531<A NAME="constructor_detail"><!-- --></A>
532<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
533<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
534<TD COLSPAN=1><FONT SIZE="+2">
535<B>Constructor Detail</B></FONT></TD>
536</TR>
537</TABLE>
538
539<A NAME="IContract()"><!-- --></A><H3>
540IContract</H3>
541<PRE>
542public <B>IContract</B>()</PRE>
543<DL>
544</DL>
545
546<!-- ============ METHOD DETAIL ========== -->
547
548<A NAME="method_detail"><!-- --></A>
549<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
550<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
551<TD COLSPAN=1><FONT SIZE="+2">
552<B>Method Detail</B></FONT></TD>
553</TR>
554</TABLE>
555
556<A NAME="setSrcdir(java.io.File)"><!-- --></A><H3>
557setSrcdir</H3>
558<PRE>
559public void <B>setSrcdir</B>(java.io.File&nbsp;srcDir)</PRE>
560<DL>
561<DD>Sets the source directory.
562<P>
563<DD><DL>
564<DT><B>Parameters:</B><DD><CODE>srcDir</CODE> - the source directory</DL>
565</DD>
566</DL>
567<HR>
568
569<A NAME="setClassdir(java.io.File)"><!-- --></A><H3>
570setClassdir</H3>
571<PRE>
572public void <B>setClassdir</B>(java.io.File&nbsp;classDir)</PRE>
573<DL>
574<DD>Sets the class directory (uninstrumented classes).
575<P>
576<DD><DL>
577<DT><B>Parameters:</B><DD><CODE>classDir</CODE> - the source directory</DL>
578</DD>
579</DL>
580<HR>
581
582<A NAME="setInstrumentdir(java.io.File)"><!-- --></A><H3>
583setInstrumentdir</H3>
584<PRE>
585public void <B>setInstrumentdir</B>(java.io.File&nbsp;instrumentDir)</PRE>
586<DL>
587<DD>Sets the instrumentation directory.
588<P>
589<DD><DL>
590<DT><B>Parameters:</B><DD><CODE>instrumentDir</CODE> - the source directory</DL>
591</DD>
592</DL>
593<HR>
594
595<A NAME="setBuilddir(java.io.File)"><!-- --></A><H3>
596setBuilddir</H3>
597<PRE>
598public void <B>setBuilddir</B>(java.io.File&nbsp;buildDir)</PRE>
599<DL>
600<DD>Sets the build directory for instrumented classes.
601<P>
602<DD><DL>
603<DT><B>Parameters:</B><DD><CODE>buildDir</CODE> - the build directory</DL>
604</DD>
605</DL>
606<HR>
607
608<A NAME="setRepositorydir(java.io.File)"><!-- --></A><H3>
609setRepositorydir</H3>
610<PRE>
611public void <B>setRepositorydir</B>(java.io.File&nbsp;repositoryDir)</PRE>
612<DL>
613<DD>Sets the build directory for repository classes.
614<P>
615<DD><DL>
616<DT><B>Parameters:</B><DD><CODE>repositoryDir</CODE> - the source directory</DL>
617</DD>
618</DL>
619<HR>
620
621<A NAME="setRepbuilddir(java.io.File)"><!-- --></A><H3>
622setRepbuilddir</H3>
623<PRE>
624public void <B>setRepbuilddir</B>(java.io.File&nbsp;repBuildDir)</PRE>
625<DL>
626<DD>Sets the build directory for instrumented classes.
627<P>
628<DD><DL>
629<DT><B>Parameters:</B><DD><CODE>repBuildDir</CODE> - the build directory</DL>
630</DD>
631</DL>
632<HR>
633
634<A NAME="setPre(boolean)"><!-- --></A><H3>
635setPre</H3>
636<PRE>
637public void <B>setPre</B>(boolean&nbsp;pre)</PRE>
638<DL>
639<DD>Turns on/off precondition instrumentation.
640<P>
641<DD><DL>
642<DT><B>Parameters:</B><DD><CODE>pre</CODE> - true turns it on</DL>
643</DD>
644</DL>
645<HR>
646
647<A NAME="setPost(boolean)"><!-- --></A><H3>
648setPost</H3>
649<PRE>
650public void <B>setPost</B>(boolean&nbsp;post)</PRE>
651<DL>
652<DD>Turns on/off postcondition instrumentation.
653<P>
654<DD><DL>
655<DT><B>Parameters:</B><DD><CODE>post</CODE> - true turns it on</DL>
656</DD>
657</DL>
658<HR>
659
660<A NAME="setInvariant(boolean)"><!-- --></A><H3>
661setInvariant</H3>
662<PRE>
663public void <B>setInvariant</B>(boolean&nbsp;invariant)</PRE>
664<DL>
665<DD>Turns on/off invariant instrumentation.
666<P>
667<DD><DL>
668<DT><B>Parameters:</B><DD><CODE>invariant</CODE> - true turns it on</DL>
669</DD>
670</DL>
671<HR>
672
673<A NAME="setFailthrowable(java.lang.String)"><!-- --></A><H3>
674setFailthrowable</H3>
675<PRE>
676public void <B>setFailthrowable</B>(java.lang.String&nbsp;clazz)</PRE>
677<DL>
678<DD>Sets the Throwable (Exception) to be thrown on assertion violation.
679<P>
680<DD><DL>
681<DT><B>Parameters:</B><DD><CODE>clazz</CODE> - the fully qualified Throwable class name</DL>
682</DD>
683</DL>
684<HR>
685
686<A NAME="setVerbosity(java.lang.String)"><!-- --></A><H3>
687setVerbosity</H3>
688<PRE>
689public void <B>setVerbosity</B>(java.lang.String&nbsp;verbosity)</PRE>
690<DL>
691<DD>Sets the verbosity level of iContract. Any combination of
692 error*,warning*,note*,info*,progress*,debug* (comma separated) can be
693 used. Defaults to error*,warning*
694<P>
695<DD><DL>
696<DT><B>Parameters:</B><DD><CODE>verbosity</CODE> - verbosity level</DL>
697</DD>
698</DL>
699<HR>
700
701<A NAME="setQuiet(boolean)"><!-- --></A><H3>
702setQuiet</H3>
703<PRE>
704public void <B>setQuiet</B>(boolean&nbsp;quiet)</PRE>
705<DL>
706<DD>Tells iContract to be quiet.
707<P>
708<DD><DL>
709<DT><B>Parameters:</B><DD><CODE>quiet</CODE> - true if iContract should be quiet.</DL>
710</DD>
711</DL>
712<HR>
713
714<A NAME="setTargets(java.io.File)"><!-- --></A><H3>
715setTargets</H3>
716<PRE>
717public void <B>setTargets</B>(java.io.File&nbsp;targets)</PRE>
718<DL>
719<DD>Sets the name of the file where targets will be written. That is the
720 file that tells iContract what files to process.
721<P>
722<DD><DL>
723<DT><B>Parameters:</B><DD><CODE>targets</CODE> - the targets file name</DL>
724</DD>
725</DL>
726<HR>
727
728<A NAME="setControlfile(java.io.File)"><!-- --></A><H3>
729setControlfile</H3>
730<PRE>
731public void <B>setControlfile</B>(java.io.File&nbsp;controlFile)</PRE>
732<DL>
733<DD>Sets the control file to pass to iContract.
734<P>
735<DD><DL>
736<DT><B>Parameters:</B><DD><CODE>controlFile</CODE> - the control file</DL>
737</DD>
738</DL>
739<HR>
740
741<A NAME="setClasspath(org.apache.tools.ant.types.Path)"><!-- --></A><H3>
742setClasspath</H3>
743<PRE>
744public void <B>setClasspath</B>(<A HREF="../../../../../../org/apache/tools/ant/types/Path.html" title="class in org.apache.tools.ant.types">Path</A>&nbsp;path)</PRE>
745<DL>
746<DD>Sets the classpath to be used for invocation of iContract.
747<P>
748<DD><DL>
749<DT><B>Parameters:</B><DD><CODE>path</CODE> - the classpath</DL>
750</DD>
751</DL>
752<HR>
753
754<A NAME="createClasspath()"><!-- --></A><H3>
755createClasspath</H3>
756<PRE>
757public <A HREF="../../../../../../org/apache/tools/ant/types/Path.html" title="class in org.apache.tools.ant.types">Path</A> <B>createClasspath</B>()</PRE>
758<DL>
759<DD>Sets the classpath.
760<P>
761<DD><DL>
762
763<DT><B>Returns:</B><DD>the nested classpath element<DT><B>To do:</B></DT>
764 <DD>this overwrites the classpath so only one
765 effective classpath element would work. This
766 is not how we do this elsewhere.</DD>
767</DL>
768</DD>
769</DL>
770<HR>
771
772<A NAME="setClasspathRef(org.apache.tools.ant.types.Reference)"><!-- --></A><H3>
773setClasspathRef</H3>
774<PRE>
775public void <B>setClasspathRef</B>(<A HREF="../../../../../../org/apache/tools/ant/types/Reference.html" title="class in org.apache.tools.ant.types">Reference</A>&nbsp;reference)</PRE>
776<DL>
777<DD>Adds a reference to a classpath defined elsewhere.
778<P>
779<DD><DL>
780<DT><B>Parameters:</B><DD><CODE>reference</CODE> - referenced classpath</DL>
781</DD>
782</DL>
783<HR>
784
785<A NAME="setUpdateicontrol(boolean)"><!-- --></A><H3>
786setUpdateicontrol</H3>
787<PRE>
788public void <B>setUpdateicontrol</B>(boolean&nbsp;updateIcontrol)</PRE>
789<DL>
790<DD>If true, updates iControl properties file
791<P>
792<DD><DL>
793<DT><B>Parameters:</B><DD><CODE>updateIcontrol</CODE> - true if iControl properties file should be
794 updated</DL>
795</DD>
796</DL>
797<HR>
798
799<A NAME="execute()"><!-- --></A><H3>
800execute</H3>
801<PRE>
802public void <B>execute</B>()
803 throws <A HREF="../../../../../../org/apache/tools/ant/BuildException.html" title="class in org.apache.tools.ant">BuildException</A></PRE>
804<DL>
805<DD>Executes the task
806<P>
807<DD><DL>
808<DT><B>Overrides:</B><DD><CODE><A HREF="../../../../../../org/apache/tools/ant/Task.html#execute()">execute</A></CODE> in class <CODE><A HREF="../../../../../../org/apache/tools/ant/Task.html" title="class in org.apache.tools.ant">Task</A></CODE></DL>
809</DD>
810<DD><DL>
811
812<DT><B>Throws:</B>
813<DD><CODE><A HREF="../../../../../../org/apache/tools/ant/BuildException.html" title="class in org.apache.tools.ant">BuildException</A></CODE> - if the instrumentation fails</DL>
814</DD>
815</DL>
816<!-- ========= END OF CLASS DATA ========= -->
817<HR>
818
819
820<!-- ======= START OF BOTTOM NAVBAR ====== -->
821<A NAME="navbar_bottom"><!-- --></A>
822<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
823<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
824<TR>
825<TD COLSPAN=3 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
826<A NAME="navbar_bottom_firstrow"><!-- --></A>
827<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
828 <TR ALIGN="center" VALIGN="top">
829 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A>&nbsp;</TD>
830 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>
831 <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>
832 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
833 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
834 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>
835 <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
836 </TR>
837</TABLE>
838</TD>
839<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
840</EM>
841</TD>
842</TR>
843
844<TR>
845<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
846&nbsp;<A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/EchoProperties.FormatAttribute.html" title="class in org.apache.tools.ant.taskdefs.optional"><B>PREV CLASS</B></A>&nbsp;
847&nbsp;<A HREF="../../../../../../org/apache/tools/ant/taskdefs/optional/Javah.html" title="class in org.apache.tools.ant.taskdefs.optional"><B>NEXT CLASS</B></A></FONT></TD>
848<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
849 <A HREF="../../../../../../index.html" target="_top"><B>FRAMES</B></A> &nbsp;
850&nbsp;<A HREF="IContract.html" target="_top"><B>NO FRAMES</B></A> &nbsp;
851&nbsp;<SCRIPT type="text/javascript">
852 <!--
853 if(window==top) {
854 document.writeln('<A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>');
855 }
856 //-->
857</SCRIPT>
858<NOSCRIPT>
859 <A HREF="../../../../../../allclasses-noframe.html"><B>All Classes</B></A>
860</NOSCRIPT>
861
862</FONT></TD>
863</TR>
864<TR>
865<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
866 SUMMARY:&nbsp;NESTED&nbsp;|&nbsp;<A HREF="#fields_inherited_from_class_org.apache.tools.ant.taskdefs.MatchingTask">FIELD</A>&nbsp;|&nbsp;<A HREF="#constructor_summary">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
867<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
868DETAIL:&nbsp;FIELD&nbsp;|&nbsp;<A HREF="#constructor_detail">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD>
869</TR>
870</TABLE>
871<A NAME="skip-navbar_bottom"></A>
872<!-- ======== END OF BOTTOM NAVBAR ======= -->
873
874<HR>
875Copyright © 2000-2007 Apache Software Foundation. All Rights Reserved.
876</BODY>
877</HTML>
Note: See TracBrowser for help on using the repository browser.