ISO_IEC_11404_2007E.pdf

Reference numberISO/IEC 11404:2007(E)ISO/IEC 2007 INTERNATIONAL STANDARD ISO/IEC11404Second edition2007-12-15Information technology General-Purpose Datatypes(GPD)Technologies de linformation Types de donnes ISO/IEC 11404:2007(E)PDF disclaimer This PDF file may contain embedded typefaces.In accordance with Adobes licensing policy,this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing.In downloading this file,parties accept therein the responsibility of not infringing Adobes licensing policy.The ISO Central Secretariat accepts no liability in this area.Adobe is a trademark of Adobe Systems Incorporated.Details of the software products used to create this PDF file can be found in the General Info relative to the file;the PDF-creation parameters were optimized for printing.Every care has been taken to ensure that the file is suitable for use by ISO member bodies.In the unlikely event that a problem relating to it is found,please inform the Central Secretariat at the address given below.COPYRIGHT PROTECTED DOCUMENT ISO/IEC 2007 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 microfilm,without permission in writing from either ISO at the address below or ISOs member body in the country of the requester.ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel.+41 22 749 01 11 Fax +41 22 749 09 47 E-mail copyrightiso.org Web www.iso.org Published in Switzerland ii ISO/IEC 2007 All rights reserved ISO/IEC 11404:2007(E)ISO/IEC 2007 All rights reserved iiiContents Page Foreword.vi 0 Introduction.vii 1 Scope.1 2 Normative references.1 3 Terms and definitions.2 4 Conformance.8 4.1 Direct conformance.8 4.2 Indirect conformance.9 4.3 Conformance of a mapping standard.9 4.4 GPD program conformance.10 5 Conventions used in this International Standard.10 5.1 Formal syntax.10 5.2 Text conventions.11 6 Fundamental notions.11 6.1 Datatype.11 6.2 Value space.12 6.3 Datatype properties.12 6.3.1 Equality.13 6.3.2 Order.13 6.3.3 Bound.13 6.3.4 Cardinality.14 6.3.5 Exact and approximate.14 6.3.6 Numeric.14 6.4 Primitive and non-primitive datatypes.15 6.5 Datatype generator.15 6.6 Characterizing operations.15 6.7 Datatype families.16 6.8 Aggregate datatypes.17 6.8.1 Homogeneity.17 6.8.2 Size.17 6.8.3 Uniqueness.17 6.8.4 Aggregate-imposed identifier uniqueness.18 6.8.5 Aggregate-imposed ordering.18 6.8.6 Access method.18 6.8.7 Recursive structure.19 6.8.8 Structured and unstructured.19 6.8.9 Mandatory and optional components.19 6.9 Provisions associated with datatypes.19 7 Elements of the Datatype Specification Language.21 7.1 IDN character-set.21 7.2 Whitespace.22 7.3 Lexical objects.23 7.3.1 Identifiers.23 7.3.2 Digit-string.23 7.3.3 Character-literal and string-literal.23 7.3.4 Keywords.24 7.4 Annotations.24 7.5 Values.25 ISO/IEC 11404:2007(E)iv ISO/IEC 2007 All rights reserved 7.5.1 Independent values.25 7.5.2 Dependent values.26 7.6 GPD program text.27 8 Datatypes.27 8.1 Primitive datatypes.28 8.1.1 Boolean.29 8.1.2 State.30 8.1.3 Enumerated.31 8.1.4 Character.32 8.1.5 Ordinal.33 8.1.6 Date-and-Time.34 8.1.7 Integer.35 8.1.8 Rational.36 8.1.9 Scaled.37 8.1.10 Real.38 8.1.11 Complex.40 8.1.12 Void.41 8.2 Subtypes and extended types.42 8.2.1 Range.43 8.2.2 Selecting.43 8.2.3 Excluding.44 8.2.4 Size.44 8.2.5 Explicit subtypes.45 8.2.6 Extended.45 8.3 Generated datatypes.46 8.3.1 Choice.47 8.3.2 Pointer.49 8.3.3 Procedure.50 8.4 Aggregate Datatypes.53 8.4.1 Record.55 8.4.2 Class.56 8.4.3 Set.58 8.4.4 Bag.59 8.4.5 Sequence.60 8.4.6 Array.61 8.4.7 Table.64 8.5 Defined datatypes.66 8.6 Provisions.66 8.6.1 General parameters for provisions.67 8.6.2 Aggregate-specific features.70 8.6.3 Aggregate-component-identifier uniqueness.70 8.6.4 Usage-specific features.71 9 Declarations.72 9.1 Type declarations.72 9.1.1 Renaming declarations.73 9.1.2 New datatype declarations.73 9.1.3 New generator declarations.73 9.2 Value declarations.73 9.3 Termination declarations.74 9.4 Normative datatype declarations.74 9.5 Lexical operations.74 9.5.1 Import.74 9.5.2 Macro.75 10 Defined datatypes and generators.75 10.1 Defined datatypes.75 10.1.1 Natural number.76 10.1.2 Modulo.76 10.1.3 Bit.77 ISO/IEC 11404:2007(E)ISO/IEC 2007 All rights reserved v10.1.4 Bit string.77 10.1.5 Character string.77 10.1.6 Time interval.79 10.1.7 Octet.79 10.1.8 Octet string.79 10.1.9 Private.80 10.1.10 Object identifier.80 10.2 Defined generators.82 10.2.1 Stack.82 10.2.2 Tree.83 10.2.3 Optional.83 11 Mappings.84 11.1 Outward Mappings.85 11.2 Inward Mappings.86 11.3 Reverse Inward Mapping.87 11.4 Support of Datatypes.87 11.4.1 Support of equality.87 11.4.2 Support of order.88 11.4.3 Support of bounds.88 11.4.4 Support of cardinality.88 11.4.5 Support for the exact or approximate property.88 11.4.6 Support for the numeric property.