Next: , Previous: Pragma Predicate, Up: Implementation Defined Pragmas


2.130 Pragma Predicate_Failure

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.