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