Next: Pragma Preelaborable_Initialization, Previous: Pragma Predicate, Up: Implementation Defined Pragmas [Contents][Index]
Syntax:
pragma Predicate_Failure ([Entity =>] type_LOCAL_NAME, [Message =>] String_Expression);
The Predicate_Failure pragma is intended to be an exact replacement for
the language-defined
Predicate_Failure aspect, and shares its restrictions and semantics.