Pragma Pure_05

Next: Pragma Pure_12, Previous: Pragma Psect_Object, Up: Implementation Defined Pragmas

Syntax:

     pragma Pure_05 [(library_unit_NAME)];

This pragma is only available in GNAT mode (-gnatg switch set) and is intended for use in the standard run-time library only. It has no effect in Ada 83 or Ada 95 mode, but is equivalent to pragma Pure when operating in later Ada versions. This is used to handle some cases where packages not previously pure became so in Ada 2005.