Next: , Previous: , Up: Implementation Defined Aspects   [Contents][Index]

3.34 Aspect Predicate

This aspect is equivalent to pragma Predicate. It is thus similar to the language defined aspects Dynamic_Predicate and Static_Predicate except that whether the resulting predicate is static or dynamic is controlled by the form of the expression. It is also separately controllable using pragma Assertion_Policy.