Rationale for Ada 2012
Chapter 2: Contracts and aspects
This chapter describes the mechanisms for including
contracts in Ada 2012.
The main feature is that preconditions and postconditions
can be given for subprograms. In addition, invariants can be given for
types and predicates can be given for subtypes.
In attempting to find a satisfactory way of adding
these features it was found expedient to introduce the concept of an
aspect specification for describing properties of entities in general.
It is thus convenient to describe aspect specifications in this chapter.
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by: