I posted a message last week about a task I'd like to contribute with. 
I haven't got any feedback on it, so here I go again.

The task invokes the iContract tool (http://www.reliable-
systems.com/tools/) iContract converts special @pre, @post and 
@invariant tags to assertion-checking java code.

iContract is a wonderful tool, but is not widely used, mainly because 
it is hard to use. Ant and the task I'm enclosing makes it a lot easier.

I put a lot of work into this, so I'd be happy if the Ant team would 
accept it or at least take a look at it.

You might want to check my web page for more information and sample 
usage: http://home.sol.no/~hellesoy/icplus.html

Aslak

Attachment: IContract.java
Description: Binary data

Reply via email to