Next: Pragma Simple_Storage_Pool_Type, Previous: Pragma Short_Descriptors, Up: Implementation Defined Pragmas [Contents][Index]
Syntax:
pragma Side_Effects [ (static_boolean_EXPRESSION) ];
For the semantics of this pragma, see the entry for aspect Side_Effects in the SPARK Reference Manual, section 6.1.11.
Side_Effects