iContract : Java Glossary

home page go to the Java Glossary Home go to the Computer Buyer’s Glossary up jump to foot of page Google search web for more information on this topic Pinterest pin button
* 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z (all)
©1996-2017 Roedy Green of Canadian Mind Products
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
Canadian Mind Products
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:[3.16.212.44]
You are visitor number