Next: Aspect Contract_Cases, Previous: Aspect Async_Writers, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Constant_After_Elaboration.