Next: Pragma Universal_Aliasing, Previous: Pragma Unchecked_Union, Up: Implementation Defined Pragmas
pragma Unimplemented_Unit;
If this pragma occurs in a unit that is processed by the compiler, GNAT aborts with the message `xxx not implemented', where xxx is the name of the current compilation unit. This pragma is intended to allow the compiler to handle unimplemented library units in a clean manner.
The abort only happens if code is being generated. Thus you can use specs of unimplemented packages in syntax or semantic checking mode.