- (1)
 - This International Standard contains thirteen sections, fourteen annexes,
and an index.
 - (2)
 - The core of the Ada language consists of:
 - (3)
 - (4)
 
      - Annex A, ``Predefined Language Environment'' 
    
 
- (5)
 
      - Annex B, ``Interface to Other Languages'' 
    
 
- (6)
 - (7)
 - The following Specialized Needs Annexes define features that are needed
by certain application areas:
 - (8)
 - (9)
 - (10)
 - (11)
 - (12)
 - (13)
 - (14)
 - The core language and the Specialized Needs Annexes are normative,
except that the material in each of the items listed below is informative:
 - (15)
 - Text under a NOTES or Examples heading.
 
- (16)
 - Each clause or subclause whose title starts with the word
``Example'' or ``Examples''.
 
- (17)
 - All implementations shall conform to the core language.  In addition, an
implementation may conform separately to one or more Specialized Needs
Annexes.
 - (18)
 - The following Annexes are informative:
 - (19)
 
      - Annex K, ``Language-Defined Attributes'' 
    
 
- (20)
 
      - Annex L, ``Language-Defined Pragmas'' 
    
 
- (21)
 
      - Annex M, ``Implementation-Defined Characteristics'' 
    
 
- (22)
 - (23)
 - (24)
 - Each section is divided into clauses and subclauses that have a common
structure.  Each section, clause, and subclause first introduces its subject.
After the introductory text, text is labeled with the following headings:
 
- (25)
 
Name Resolution Rules
- (26)
 - Compile-time rules that are used in name resolution, including overload
resolution.
 
Legality Rules
- (27)
 - Rules that are enforced at compile time.  A construct is legal if it
obeys all of the Legality Rules.
 
Static Semantics
- (28)
 - A definition of the compile-time effect of each construct.
 
Post-Compilation Rules
- (29)
 - Rules that are enforced before running a partition.  A partition is
legal if its compilation units are legal and it obeys all of the
Post-Compilation Rules.
 
Dynamic Semantics
- (30)
 - A definition of the run-time effect of each construct.
 
Bounded (Run-Time) Errors
- (31)
  
 - Situations that result in bounded (run-time) errors (see 
    1.1.5). 
 
Erroneous Execution
- (32)
  
 - Situations that result in erroneous execution (see 
    1.1.5). 
 
Implementation Requirements
- (33)
 - Additional requirements for conforming implementations.
 
Documentation Requirements
- (34)
 - Documentation requirements for conforming implementations.
 
Metrics
- (35)
 - Metrics that are specified for the time/space properties of the
execution of certain language constructs.
 
Implementation Permissions
- (36)
 - Additional permissions given to the implementer.
 
Implementation Advice
- (37)
 - Optional advice given to the implementer.  The word ``should'' is used
to indicate that the advice is a recommendation, not a requirement.  It is
implementation defined whether or not a given recommendation is obeyed.
 - 
 - (38)
 (1) Notes emphasize consequences of the rules described in the
(sub)clause or elsewhere.  This material is informative.
Examples
- (39)
 - Examples illustrate the possible forms of the constructs described.
This material is informative.
 
 
 
  -- Email comments, additions, corrections, gripes, kudos, etc. to: 
 Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12