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.
© 2005, 2006 John Barnes Informatics.