Contracts¶
Class-wide contracts¶
Todo
Complete section!
Default initial conditions¶
Relevant topics
Todo
Complete section!
Entry index attribute¶
Relevant topics
E'Indexmentioned in Preconditions and Postconditions
Todo
Complete section!
Global Aspect Definition¶
Relevant topics
Todo
Complete section!
Predicate failure¶
Relevant topics
Predicate_Failurementioned in Subtype Predicates
Todo
Complete section!
Stable Properties of a Type¶
In the Ada Reference Manual
Todo
Complete section!