[Savannah-hackers] submission of ContractChecker - savannah.nongnu.org

[jsanleandro]

A package was submitted to savannah.nongnu.org
This mail was sent to address@hidden, address@hidden


Jose San Leandro <address@hidden> described the package as follows:
License: gpl
Other License: 
Package: ContractChecker
System name: contractchecker
Type: non-GNU

Description:
ContractChecker is a small tool to provide support for some design by contract 
features to standard Java code.
The tool includes an Ant task, which delegates the process toa Doclet.
Such Doclet generates AspectJ code to intercept all method calls explicitly 
guarded with ContractChecker's Javadoc tags.
Finally, the Ant task compiles everything using AspectJ's compiler.

Other Software Required:
Ant: http://ant.apache.org
AspectJ: http://eclipse.org/aspectj/
Qdox: http://qdox.codehaus.org
JDK classes used: just java.lang.*, java.io.* and java.util.*, so it should run 
in GNU Free Java environments. It has been tested using Blackdown JDK 
(www.blackdown.org), which seems not free 
(http://lists.debian.org/debian-legal/2001/debian-legal-200110/msg00024.html).


Other Comments:
Cannot provide a url, but could email a copy of the source code for reviewing.


_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/