Contracts

Class-wide contracts

Todo

Complete section!

Default initial conditions

Relevant topics

• Default Initial Conditions

Todo

Complete section!

Entry index attribute

Relevant topics

• E'Index mentioned in Preconditions and Postconditions

Todo

Complete section!

Global Aspect Definition

Relevant topics

• The Global and Global'Class Aspects

Todo

Complete section!

Predicate failure

Relevant topics

• Predicate_Failure mentioned in Subtype Predicates

Todo

Complete section!

Stable Properties of a Type

In the Ada Reference Manual

• Stable Properties of a Type

Todo

Complete section!