ISO/IEC INTERNATIONAL STANDARD 10514-3 First edition 1998-12-01 Information technology Programming languages - Part 3: Object Oriented Modula-2 Technologies de l'information-Langages de programmation Partie 3: Modula 2 orienté objet IEC Reference number ISO/IEC 10514-3:1998(E) ISO/IEC 10514-3:1998(E) Contents 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 Implementations ... 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.2Additional Pervasive Identifiers 6 Language 6.1 Classes. 6.1.1 Class Definition.. 6.1.2 Class Declaration 8 6.1.3 Abstract Classes .. 10 6.1.4 Traced Classes.. 10 6.1.5 Reveal Lists.. 12 6.i.6 innerit Ciause 12 6.1.7 Class Components. 13 6.1.8 Overridden Methods. 6.1.9 Constructor.. 14 6.1.10 Destructom ?ISO/IEC1998 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and micro- film, without permission in writing from the publisher. ISO/IEC Copyright Office·Case postale 56· CH-1211 Geneve 20 · Switzerland Printed in Switzerland @ ISO/IEC ISO/IEC 10514-3:1998(E) 6.2 Access to Class Components .16 6.2.1 Access by Class Identifier 16 6.2.2 Access by Object Selection . 16 6.2.3 Access in Subclasses 18 6.2.4 Immutable entities .18 6.3 Object Variables .. .18 6.3.1 Assignment.. 6.3.2 Comparison 6.3.3 Creation ... 19 6.3.4 Destruction ... 6.3.5 Empty Reference .21 6.3.6 Traced Object References.. .21 6.4 Membership Test... 23 6.5 Guard Statement.. .24 6.5.1 Guarded Statement Sequence.. 25 6.6 Safeguarded Modules ... .25 6.7 Garbage Collection.. .25 6.8 Changes to the Base Language. 26 6.8.1 Module Header. .27 6.8.2 Definitions and Declarations .. .28 6.8.3 Blocks... 29 6.8.4 Statement Part.. .29 6.8.5 Parameter Compatibility and Argument Binding .... .30 6.8.6 The Module COROUTINES .30 6.8.7 Environment. .31 7 Required System Modules.. .31 7.1 Object Exceptions... 31 7.1.1 The Interface to M2OOEXCEPTION . .31 7.1.2 The Entities of M2OOEXCEPTION.... 7.1.3 Aggregation of the Exceptions of the Language Extensions.. 7.2 The Module GARBAGECOLLECTION .... 7.2.1 The interface to GARBAGECOLLECTION. 32 7.2.2 The Procedures of GARBAGECOLLECTION... .33 7.2.3 The Functions of GARBAGECOLLECTION.. .33 Annex A Collected Concrete Syntax (informative) .... .34 A.1 Class Definition... .34 A.2 Class Declaration... .35 A..3 Reveal List.... ..36 A.4 Inherit Clause.... ..36 A.5 Designators ..... .36 A.6 Guard Statement .36 Annex B Changes to the Syntax of the Base Language (informative) Annex C Glossary (informative) ..... ili