Next: Aspect Pure_Function, Previous: Aspect Predicate, Up: Implementation Defined Aspects [Contents][Index]
This boolean aspect is equivalent to pragma Program_Exit.