Pragma Pre (GNAT Reference Manual) (original) (raw)

Next: Pragma Precondition, Previous: Pragma Post_Class, Up: Implementation Defined Pragmas [Contents][Index]

2.134 Pragma Pre ¶

Syntax:

pragma Pre (Boolean_Expression);

The Pre pragma is intended to be an exact replacement for the language-definedPre aspect, and shares its restrictions and semantics. It must appear either immediately following the corresponding subprogram declaration (only other pragmas may intervene), or if there is no separate subprogram declaration, then it can appear at the start of the declarations in a subprogram body (preceded only by other pragmas).