ISO/IEC INTERNATIONAL STANDARD 10206 First edition 1991-04-15 Information technology - Programming languages -- Extended Pascal Langages de programmation--Pascal étendu Reference number IS0/IEC 10206 : 1991 (E) Coovriaht International Oraanization for Standardizatior IS0/IEC 10206 : 1991 (E) Contents Page Introduction . vi 1 Scope 1 2 Normative reference 1 3 Definitions 1 3.1 Dynamic-violation. 2 3.2 Error 2 3.3Extension 2 3.4 Implementation-defined 2 3.5Implementation-dependent 2 3.6 Processor 2 4 Definitional conventions 2 5 Compliance 3 5.1 Processors 4 5.2 Programs 5 6 Requirements. 5 6.1 Lexicaltokens 5 6.1.1 General. 6.1.2 Special-symbols. 6 6.1.3 Identifiers. 6 6.1.4 Remote-directives 6 6.1.5Interface-directives 6.1.6Implementation-directives 6.1.7 Numbers 6.1.8 Labels 8 @ISO/IEC 1991 All rights reserved. No part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher. ISO/IEC Copyright Office K Case postale 56 k CH-1211 Geneve 20 k Switzerland Printed in Switzerland ISO/IEC 10206 : 1991 (E) 6.1.9 Character-strings. 8 6.1.10 Token separators 9 6.1.11 Lexical alternatives 9 6.2 Blocks, scopes, activations, and states 10 6.2.1 Blocks. 10 6.2.2 Scopes. 10 6.2.3 Activations. 13 6.2.4 States 15 Constants 16 6.3 6.3.1 General. 16 6.3.2 Example of a constant-definition-part . 17 6.4 Types and schemata. 17 6.4.1 Type-definitions 17 6.4.2 Simple-types 19 6.4.3 Structured-types 24 6.4.4 Pointer-types 32 6.4.5 Compatible types 33 6.4.6 Assignment-compatibility 33 6.4.7 Schema-definitions . 34 6.4.8 Discriminated-schemata. 35 6.4.9 Type-inquiry 36 6.4.10 Example ofa type-definition-part 36 6.5 Declarations and denotations of variables 38 6.5.1 Variable-declarations . 38 6.5.2 Entire-variables 39 6.5.3 Component-variables . 39 6.5.4 Identified-variables. 41 6.5.5 Buffer-variables 41 6.5.6 Substring-variables 42 6.6 Initial states 42 6.7 Procedure and function declarations 43 6.7.1 Procedure-declarations 43 6.7.2 Function-declarations 45 6.7.3 Parameters. 48 6.7.4 Required procedures and functions 56 6.7.5 Requiredprocedures. 56 6.7.6 Required functions 63 6.8 Expressions. 69 6.8.1 General. 69 6.8.2 Constant-expressions 71 ii IS0/IEC 10206 : 1991 (E) 6.8.3 Operators 71 6.8.4 Schema-discriminants 75 6.8.5 Function-designators 76 6.8.6 Function-accesses 76 6.8.7 Structured-value-constructors. 78 6.8.8 Constant-accesses 80 6.9 Statements 82 6.9.1 General. 82 6.9.2 Simple-statements 82 6.9.3 Structured-statements 84 6.9.4 Threats 90 6.10 Input and output 16 6.10.1 The procedure read. 16 6.10.2The procedure readln 92 6.10.3 The procedure write . 93 6.10.4Theprocedurewriteln 96 6.10.5 Theprocedurepage 97 6.11 Modules 97 6.11.1 Module-declarations. 97 6.11.2 Export-part 99 6.11.3 Import-specifications 100 6.11.4Requiredinterfaces. 102 6.11.5 Exampleofamodule.. 102 6.11.6 Examples of program-components that are module- declarations..... 104 6.11.7 Example of exporting a range of enumerated-type values 111 6.12Main-program-declarations 112 6.13 Programs 114 Annexes Annex A Collected syntax 116 AnnexBIncompatibilities withPascal standards 176 AnnexC Required identifiers. 177 Annex D Errors and dynamic-violations. 178 AnnexE Implementation-defined features. 186 AnnexF Implementation-dependent features 189 AnnexG Bibliography 191 Index 192 iv IS0/IFC 10206 : 1991 (E) Foreword ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardiz- ation. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-government