DocAda Light by KSCE - A.2 The Package Ada

A.2 The Package Ada

Static Semantics

The following language-defined library package exists:

   
       package Ada is
           pragma Pure(Ada);
       end Ada;

Ada serves as the parent of most of the other language-defined library units; its declaration is empty (except for the pragma Pure).

Legality Rules

In the standard mode, it is illegal to compile a child of package Ada.