Contract Clauses
Contracts are specified through the addition of clauses to the methods
defined in interfaces and classes.
Relevant clauses are listed below.
- Precondition
- clauses
consist of assertions on properties that must hold prior to method execution.
- Postcondition
- clauses
contain assertions that must hold upon method completion.
- Class invariants
- apply before
and after execution of all defined methods.
babel-1.4.0
users_guide Last Modified 2008-10-16
http://www.llnl.gov/CASC/components
components@llnl.gov