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)
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.