next up previous contents index
Next: Parameters Up: IContract Previous: IContract   Contents   Index

Description

Instruments Java classes with iContract DBC preprocessor. The task can generate a properties file for iControl, a graphical user interface that lets you turn on/off assertions. iControl generates a control file that you can refer to from this task using the controlfile attribute.



Andrew Marlow 2003-07-08