iContract : Java Glossary

home page I words local find full screen, hide local find menu Google search web for more information on this topic jump to foot of page translate this page with Babelfish punctuation 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-2010 Roedy Green, Canadian Mind Products
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 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.
design by contract
CMP homejump to top You can get the freshest copy of this page from: or possibly from your local J: drive (Java virtual drive/mindprod.com website mirror)
http://mindprod.com/jgloss/icontract.html J:\mindprod\jgloss\icontract.html
CMP logofeedback Please email your feedback for publication, errors, omissions, typos, formatting errors, ambiguities, unclear wording, broken/redirected link reports, suggestions to improve this page or comments to Roedy Green : feedback email
mindprod.com IP:[65.110.21.43]
view BlogYour face IP:[38.107.191.114]
You are visitor number 9,699.