The compiler supports already assert statements as specified for the forthcoming J2SDK 1.4. This software is joint work with David Cavin . Details about the compilation of compound types can be found here . This project is joint work with Stephane Zermatten . The distributions are best installed on a Unix system with a Java 2 Software Development Kit .
Installation is simple.
Just include the bin directory of the JaCo distribution in your path. Please let me know if you have any suggestions or comments concerning Jaco or one of it's extensions.