Rationale for Ada 2005
9.3.6 Type and package invariants
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
© 2005, 2006, 2007 John Barnes Informatics.
Sponsored in part by: