BS ISO/IEC 10514-3:1998

Foreword
Introduction
1 Scope
    1.1 Goals
    1.2 Specifications included in this part of ISO/IEC 10514
    1.3 Relationship to ISO/IEC 10514-1
    1.4 Specifications not within the scope of this Standard
2 Normative References
3 Definitions, Structure, and Conventions
    3.1 Definitions
    3.2 Structure of the Formal Definition
    3.3 Conventions
4 Requirements for Implementation
    4.1 Translation
    4.2 Source Code Representation
    4.3 Ordering of Declarations
    4.4 Predefined Entities
    4.5 Library Modules
    4.6 Errors
    4.7 Exceptions
    4.8 Implementation-dependencies
    4.9 Documentation
    4.10 Statement of Compliance
    4.11 Minimum requirements
5 The Lexis
    5.1 Additional Keywords
    5.2 Additional Pervasive Identifiers
6 Languages
    6.1 Classes
          6.1.1 Class Definition
          6.1.2 Class Declaration
          6.1.3 Abstract Classes
          6.1.4 Traced Classes
          6.1.5 Reveal Lists
          6.1.6 Inherit Clause
          6.1.7 Class Components
          6.1.8 Overridden Methods
          6.1.9 Constructor
          6.1.10 Destructor
    6.2 Access to Class Components
          6.2.1 Access by Class Identifier
          6.2.2 Access by Object Selection
          6.2.3 Access in Subclasses
          6.2.4 Immutable entities
    6.3 Object Variables
          6.3.1 Assignment
          6.3.2 Comparison
          6.3.3 Creation
          6.3.4 Destruction
          6.3.5 Empty Reference
          6.3.6 Traced Object References
    6.4 Membership Test
    6.5 Guard Statement
          6.5.1 Guarded Statement Sequence
    6.6 Safeguard Modules
    6.7 Garbage Collection
    6.8 Changes to the Base Language
          6.8.1 Module Header
          6.8.2 Definitions and Declarations
          6.8.3 Blocks
          6.8.4 Statement Part
          6.8.5 Parameter Compatibility and Argument Binding
          6.8.6 The Module COROUTINES
          6.8.7 Environment
7 Required System Modules
    7.1 Object Exceptions
          7.1.1 The Interface to M200EXCEPTION
          7.1.2 The Entities of M200EXCEPTION
          7.1.3 Aggregation of the Exceptions of the Language Extensions
    7.2 The Module GARBAGECOLLECTION
          7.2.1 The interface to GARBAGECOLLECTION
          7.2.2 The Procedures of GARBAGECOLLECTION
          7.2.3 The Functions of GARBAGECOLLECTION
Annex A Collected Concrete Syntax (informative)
A.1 Class Definition
A.2 Class Declaration
A.3 Reveal List
A.4 Inherit Clause
A.5 Designators
A.6 Guard Statement
Annex B Changes to the Syntax of the Base Language (informative)
Annex C Glossary (informative)
Annex D Examples (informative)
D.1 Class Definition and Class Declaration
D.2 Cross Linked Classes
D.3 Inheritance and Overridden Methods
D.4 Abstract Class Definition
D.5 Creation and Destruction
D.6 Constructor and Destructor
D.7 Type Inquiries
D.8 Constructor chain and Destructor chain
D.9 Coroutines and Garbage Collection
Annex E Finalization Order (informative)
Annes F Participating Individuals and Organisations (informative)