Rationale for Ada 2005

John Barnes
Contents   Index   References   Search   Previous   Next 

9.3.6 Type and package invariants

This (AI-375) defined further pragmas similar to those in the previous proposal (AI-288) but concerned with packages and types. Thus the pragma Package_Invariant identified a function returning a Boolean result. This function would be implicitly called after the call of each subprogram in the package and if the result were false the behaviour would be as for an Assert pragma that failed.
This proposal was abandoned for the same reasons as AI-288.

Contents   Index   References   Search   Previous   Next 
© 2005, 2006, 2007 John Barnes Informatics.
Sponsored in part by:
The Ada Resource Association and its member companies: ARA Members AdaCore Polyspace Technologies Praxis Critical Systems IBM Rational Sofcheck and   Ada-Europe: