Next:
4. Scopes and Visibility
Up:
GNAT: The GNU Ada
Previous:
3. Error Recovery
Contents
Index
II.
Second Part: Semantic Analysis
Subsections
4. Scopes and Visibility
4.1 Flags and Data Structures
4.2 Analysis of Records, Tasks and Protected Types.
4.3 Analysis of Packages
4.4 Analysis of Private Types
4.4.1 Private Entities Visibility
4.4.2 Private Type Declarations
4.4.3 Deferred Constants and Incomplete Types
4.4.4 Limited Types
4.4.5 Analysis of Child Units
4.4.6 Analysis of Subunits
4.5 Name Resolution
4.6 Summary
5. Overload Resolution
5.1 Resolution Algorithm
5.1.1 Additional Details for the Bottom-Up Pass
5.1.2 Data Structures
5.1.3 Additional Details for the Top-Down Pass
5.2 Summary
6. Analysis of Discriminants
6.1 Analysis of Discriminants
6.2 Analysis of Discriminants in Derived Types
6.3 Discriminals
6.4 Summary
7. Generic Units
7.1 Generic Units
7.1.1 Analysis of Generic Units
7.1.2 Instantiation of Generic Units
7.1.3 Parameter Matching
7.1.4 Private Types
7.2 Nested Generic Units
7.2.1 Analysis of Nested Generic Units
7.2.2 Instantiation of Nested Generic Units
7.3 Generic Child Units
7.3.1 Analysis of Generic Child Units
7.3.2 Instantiation of Child Generic Units
7.4 Delayed Instantiation of Bodies
7.5 Detection of Instantiation Circularities
7.6 Summary
8. Freezing Analysis
8.1 Freezing Types and Subtypes
8.2 Freezing Expressions
8.3 Freezing Objects
8.4 Freezing Subprograms
8.5 Freezing Packages
8.6 Freezing Generic Units
8.7 Summary
(C) Javier Miranda and Edmond Schonberg, 2004
