iContract : Java Glossary

*0-9ABCDEFGHIJKLMNOPQRSTUVWXYZ (all)
I have left this tombstone entry for historical interest.

iContract
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:

http://mindprod.com/jgloss/icontract.html

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

J:\mindprod\jgloss\icontract.html
logo
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.

IP:[65.110.21.43]
Your face IP:[50.16.17.16]
You are visitor number