iContract : Java Glossary

I have left this tombstone entry for historical interest.

A preprocessor for Java to allow Eiffel like design by contract assertions.The expressions are a superset of Java, compatible with a subset of the latest UML (Universal Modeling Language) OCL (Object Constraint Language) ( OCL). Highlight features include quantifiers (forall, exists) to specify properties of enumerations, implications, old- and return-value references in postconditions, as well as the naming of exception classes to throw.

This page is posted
on the web at:


Optional Replicator mirror
of mindprod.com
on local hard disk J:

Please the feedback from other visitors, or your own feedback about the site.
Contact Roedy. Please feel free to link to this page without explicit permission.

Your face IP:[]
You are visitor number