Rationale for Ada 2012

John Barnes
Contents   Index   References   Search   Previous   Next 

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.

Contents   Index   References   Search   Previous   Next 
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by:
The Ada Resource Association:


and   Ada-Europe: