Next: , Previous: Aspect Constant_After_Elaboration, Up: Implementation Defined Aspects


3.6 Aspect Contract_Cases

This aspect is equivalent to pragma Contract_Cases, the sequence of clauses being enclosed in parentheses so that syntactically it is an aggregate.