;;;-*- Mode:LISP; Package:BROWSER; Base:10.; fonts: (cptfontb) -*- ;;; ;;; $Header: /ct/doc/lrm/nodedefs.l,v 1.1 85/04/24 10:42:55 bill Exp $ ;;; Revision 1.1 84/02/02 11:40:57 jmiller ;;; Initial revision ;;; ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; REFMAN-DEFS ;;; ;;; ;;; ;;; Browser definitions for Ada reference manual nodes ;;; ;;; ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;The entries in this file will be built into a network and hung off of ;;;the pointer *LRM-POINTER*. (document (name lrm) (documentname lrm) (longlabel "The Ada Language Reference Manual") (shortlabel "Table of Contents") (children (lrm-chapter-1 lrm-chapter-2 lrm-chapter-3 lrm-chapter-4 lrm-chapter-5 lrm-chapter-6 lrm-chapter-7 lrm-chapter-8 lrm-chapter-9 lrm-chapter-10 lrm-chapter-11 lrm-chapter-12 lrm-chapter-13 lrm-chapter-14 lrm-annex-a lrm-annex-b lrm-annex-c lrm-appendix-d lrm-appendix-e lrm-appendix-f))) (chapter (name lrm-chapter-1) (parent (lrm)) (documentname lrm) (longlabel "Chapter 1: Introduction") (shortlabel "Chapter 1: Introduction") (children (lrm-section1-1 lrm-section1-2 lrm-section1-3 lrm-section1-4 lrm-section1-5 lrm-section1-6))) (section (name lrm-section1-1) (parent (lrm-chapter-1)) (documentname lrm) (longlabel "Section 1.1: Scope of the Standard") (shortlabel "Section 1.1: Scope of the Standard") (children (lrm-section1-1-1 lrm-section1-1-2))) (subsection (name lrm-section1-1-1) (parent (lrm-section1-1)) (documentname lrm) (longlabel "Section 1.1.1: Extent of the Standard") (shortlabel "Section 1.1.1: Extent")) (subsection (name lrm-section1-1-2) (parent (lrm-section1-1)) (documentname lrm) (longlabel "Section 1.1.2: Conformity of an Implementation") (shortlabel "Section 1.1.2: Conformity")) (section (name lrm-section1-2) (parent (lrm-chapter-1)) (documentname lrm) (longlabel "Section 1.2: Structure of the Standard") (shortlabel "Section 1.2: Structure")) (section (name lrm-section1-3) (parent (lrm-chapter-1)) (documentname lrm) (longlabel "Section 1.3: Design Goals and Sources") (shortlabel "Section 1.3: Design Goals")) (section (name lrm-section1-4) (parent (lrm-chapter-1)) (documentname lrm) (longlabel "Section 1.4: Language Summary") (shortlabel "Section 1.4: Language Summary")) (section (name lrm-section1-5) (parent (lrm-chapter-1)) (documentname lrm) (longlabel "Section 1.5: Method of Description and Syntax Notation") (shortlabel "Section 1.5: Method of Description")) (section (name lrm-section1-6) (parent (lrm-chapter-1)) (documentname lrm) (longlabel "Section 1.6: Classification of Errors") (shortlabel "Section 1.6: Errors")) (chapter (name lrm-chapter-2) (parent (lrm)) (documentname lrm) (longlabel "Chapter 2: Lexical Elements") (shortlabel "Chapter 2: Lexical Elements") (children (lrm-section2-1 lrm-section2-2 lrm-section2-3 lrm-section2-4 lrm-section2-5 lrm-section2-6 lrm-section2-7 lrm-section2-8 lrm-section2-9 lrm-section2-10)) (xrefs ( (lrm-section2-1 "character 2.1") (lrm-section10-1 "compilation 10.1") (lrm-section2-2 "lexical element 2.2") (lrm-section2-8 "pragma 2.") ))) (section (name lrm-section2-1) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.1: Character Set") (shortlabel "Section 2.1: Character Set")) (section (name lrm-section2-2) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.2: Lexical Elements, Separators, and Delimiters") (shortlabel "Section 2.2: Lexical")) (section (name lrm-section2-3) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.3: Identifiers") (shortlabel "Section 2.3: Identifiers") (xrefs ( (lrm-section2-1 "digit 2.1") (lrm-section2-1 "lower case letter 2.1") (lrm-section4-1 "name 4.1") (lrm-section2-9 "reserved word 2.9") (lrm-section2-2 "separator 2.2") (lrm-section2-1 "space character 2.1") (lrm-section2-1 "upper case letter 2.") ))) (section (name lrm-section2-4) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.4: Numeric Literals") (shortlabel "Section 2.4: Numeric Literals") (children (lrm-section2-4-1 lrm-section2-4-2)) (xrefs ( (lrm-section4-2 "literal 4.2") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.") ))) (subsection (name lrm-section2-4-1) (parent (lrm-section2-4)) (documentname lrm) (longlabel "Section 2.4.1: Decimal Literals") (shortlabel "Section 2.4.1: Decimal Literals") (xrefs ( (lrm-section2-1 "digit 2.1") (lrm-section2-1 "lower case letter 2.1") (lrm-section2-4 "numeric literal 2.4") (lrm-section2-2 "separator 2.2") (lrm-section2-1 "space character 2.1") (lrm-section2-1 "upper case letter 2.") ))) (subsection (name lrm-section2-4-2) (parent (lrm-section2-4)) (documentname lrm) (longlabel "Section 2.4.2: Based Literals") (shortlabel "Section 2.4.2: Based Literals") (xrefs ( (lrm-section2-1 "digit 2.1") (lrm-section2-4-1 "exponent 2.4.1") (lrm-section2-3 "letter 2.3") (lrm-section2-1 "lower case letter 2.1") (lrm-section2-4 "numeric literal 2.4") (lrm-section2-1 "upper case letter 2.") ))) (section (name lrm-section2-5) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.5: Character Literals") (shortlabel "Section 2.5: Character Literals") (xrefs ( (lrm-section3-5-2 "character type 3.5.2") (lrm-section2-1 "graphic character 2.1") (lrm-section4-2 "literal 4.2") (lrm-section2-1 "space character 2.") ))) (section (name lrm-section2-6) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.6: String Literals") (shortlabel "Section 2.6: String Literals") (xrefs ( (lrm-annex-c "ascii predefined package C") (lrm-section4-5-3 "catenation operation 4.5.3") (lrm-section3-5-2 "character value 3.5.2") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-1 "declaration 3.1") (lrm-section2-2 "end of a line 2.2") (lrm-section2-1 "graphic character 2.1") (lrm-section2-2 "lexical element 2.") ))) (section (name lrm-section2-7) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.7: Comments") (shortlabel "Section 2.7: Comments") (xrefs ( (lrm-section2-2 "end of a line 2.2") (lrm-section1-6 "illegal 1.6") (lrm-section1-6 "legal 1.6") (lrm-section2-1 "space character 2.1") ))) (section (name lrm-section2-8) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.8: Pragmas") (shortlabel "Section 2.8: Pragmas") (xrefs ( (lrm-section9-7-1 "accept alternative 9.7.1") (lrm-section5-4 "case statement alternative 5.4") (lrm-section9-7-1 "delay alternative 9.7.1") (lrm-section9-7-1 "select alternative 9.7.1") (lrm-section9-7-1 "selective wait alternative 9.7.1") (lrm-section9-7-1 "terminate alternative 9.7.1")))) (section (name lrm-section2-9) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.9: Reserved Words") (shortlabel "Section 2.9: Reserved Words") (xrefs ( (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-1 "declaration 3.1") (lrm-section2-3 "identifier 2.3") (lrm-section2-1 "lower case letter 2.1") (lrm-section2-1 "upper case letter 2.1")))) (section (name lrm-section2-10) (parent (lrm-chapter-2)) (documentname lrm) (longlabel "Section 2.10: Allowable Replacements of Characters") (shortlabel "Section 2.10: Character Replacement") (xrefs ( (lrm-annex-c "ascii predefined package C") (lrm-section2-4-2 "based literal 2.4.2") (lrm-section2-1 "basic character 2.1") (lrm-section4-5-3 "catenation operation 4.5.3") (lrm-section3-5-2 "character value 3.5.2") (lrm-section2-2 "delimiter 2.2") (lrm-section2-1 "graphic character 2.1") (lrm-section2-1 "graphical symbol 2.1") (lrm-section2-3 "identifier 2.3") (lrm-section2-2 "lexical element 2.2") (lrm-section2-1 "lower case letter 2.1") (lrm-section2-4 "numeric literal 2.4") (lrm-section2-6 "string bracket 2.6") (lrm-section2-6 "string literal 2.6") (lrm-section2-1 "upper case letter 2.1")))) (chapter (name lrm-chapter-3) (parent (lrm)) (documentname lrm) (longlabel "Chapter 3: Declarations and Types") (shortlabel "Chapter 3: Declarations and Types") (children (lrm-section3-1 lrm-section3-2 lrm-section3-3 lrm-section3-4 lrm-section3-5 lrm-section3-6 lrm-section3-7 lrm-section3-8 lrm-section3-9 ))) (section (name lrm-section3-1) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.1: Declarations") (shortlabel "Section 3.1: Declarations") (xrefs ( (lrm-section4-1-4 "attribute 4.1.4") (lrm-section5-6 "block name 5.6") (lrm-section5-6 "block statement 5.6") (lrm-section2-5 "character literal 2.5") (lrm-section3-7 "component declaration 3.7") (lrm-section3-9 "declarative item 3.9") (lrm-section3-9 "declarative part 3.9") (lrm-section7-4 "deferred constant declaration 7.4") (lrm-section3-7-1 "discriminant specification 3.7.1") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry declaration 9.5") (lrm-section3-5-1 "enumeration literal specification 3.5.1") (lrm-section11-1 "exception declaration 11.1") (lrm-section12-1 "generic declaration 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section5-1 "label 5.1") (lrm-section5-5 "loop name 5.5") (lrm-section5-5 "loop parameter specification 5.5") (lrm-section5-5 "loop statement 5.5") (lrm-section4-1 "name 4.1 ") (lrm-section3-2-2 "number declaration 3.2.2") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-section3-3 "operation 3.3") (lrm-section6-1 "operator symbol 6.1") (lrm-section7-1 "package declaration 7.1") (lrm-section6-1 "parameter specification 6.1") (lrm-section3-7 "record component 3.7") (lrm-section8-5 "renaming declaration 8.5") (lrm-section13-1 "representation clause 13.1") (lrm-section8-2 "scope 8.2 ") (lrm-section4-1 "simple name 4.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section9-1 "task declaration 9.1") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section3-2) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.2: Objects and Named Numbers") (shortlabel "Section 3.2: Objects and Named Numbers") (children (lrm-section3-2-1 lrm-section3-2-2 )) (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-6 "constrained array definition 3.6") (lrm-section3-3 "component 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section7-4 "deferred constant declaration 7.4") (lrm-section3-8 "designate 3.8") (lrm-section3-7-1 "discriminant specification 3.7.1") (lrm-section9-5 "entry 9.5") (lrm-section11-1 "exception declaration 11.1") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-1-1 "generic formal object 12.1.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-chapter-12 "generic unit 12") (lrm-section12-1 "generic subprogram 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section5-5 "loop parameter 5.5") (lrm-section3-5 "numeric type 3.5") (lrm-section6-1 "parameter specification 6.1") (lrm-section8-2 "scope 8.2") (lrm-section4-1 "simple name 4.1") (lrm-section9-1 "single task declaration 9.1") (lrm-section4-1-2 "slice 4.1.2") (lrm-section4-9 "static expression 4.9") (lrm-chapter-6 "subprogram 6") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (subsection (name lrm-section3-2-1) (parent lrm-section3-2) (documentname lrm) (longlabel "Section 3.2.1: Object Declarations") (shortlabel "Section 3.2.1: Object Declarations") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section5-2 "assignment 5.2") (lrm-section5-2 "assignment compound delimiter 5.2") (lrm-section3-3 "component 3.3") (lrm-section3-3 "composite type 3.3") (lrm-section3-6 "constrained array definition 3.6") (lrm-section3-3 "constrained subtype 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section4-6 "conversion 4.6") (lrm-section3-1 "declaration 3.1") (lrm-section3-7 "default expression for a discriminant 3.7") (lrm-section3-8 "default initial value for an access type 3.8") (lrm-section3-7-1 "depend on a discriminant 3.7.1") (lrm-section3-8 "designate 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-3 "generic formal parameter 12.1 12.3") (lrm-chapter-12 "generic unit 12") (lrm-section1-6 "in some order 1.6") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section6-1 "mode in 6.1") (lrm-chapter-7 "package 7") (lrm-section4-5 "predefined operator 4.5") (lrm-section4-4 "primary 4.4") (lrm-section7-4 "private type 7.4") (lrm-section4-7 "qualified expression 4.7") (lrm-section2-9 "reserved word 2.9") (lrm-section3-5 "scalar type 3.5") (lrm-section4-1-2 "slice 4.1.2") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-chapter-9 "task 9") (lrm-section9-2 "task type 9.2") (lrm-section3-3 "type 3.3") (lrm-section7-2 "visible part 7.2")))) (subsection (name lrm-section3-2-2) (parent lrm-section3-2) (documentname lrm) (longlabel "Section 3.2.2: Number Declarations") (shortlabel "Section 3.2.2: Number Declarations") (xrefs ( (lrm-section2-3 "identifier 2.3") (lrm-section4-4 "primary 4.4") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6") (lrm-section4-10 "universal type 4.10")))) (section (name lrm-section3-3) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.3: Types and Subtypes") (shortlabel "Section 3.3: Types and Subtypes") (children (lrm-section3-3-1 lrm-section3-3-2 lrm-section3-3-3 )) (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-6 "component of an array 3.6") (lrm-section3-7 "component of a record 3.7") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section3-2-1 "object 3.2.1") (lrm-section7-4 "private type 7.4") (lrm-section4-7 "qualified expression 4.7") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-7 "record type 3.7") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section9-1 "task type 9.1") (lrm-section3-3-1 "type declaration 3-3-1")))) (subsection (name lrm-section3-3-1) (parent lrm-section3-3) (documentname lrm) (longlabel "Section 3.3.1: Type Declarations") (shortlabel "Section 3.3.1: Type Declarations") (xrefs ( (lrm-section3-8 "access type definition 3.8") (lrm-section3-6 "array type definition 3.6") (lrm-section3-3 "base type 3.3") (lrm-section3-6 "constrained array definition 3.6") (lrm-section3-3 "constrained subtype 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-4 "derived type 3.4") (lrm-section3-4 "derived type definition 3.4") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section3-9 "elaboration 3.9") (lrm-section3-5-1 "enumeration type definition 3.5.1") (lrm-section2-3 "identifier 2.3") (lrm-section3-8-1 "incomplete type declaration 3.8.1") (lrm-section3-5-4 "integer type definition 3.5.4") (lrm-section3-2 "multiple object declaration 3.2") (lrm-section3-5 "numeric type 3.5") (lrm-section7-4 "private type declaration 7.4") (lrm-section3-5-6 "real type definition 3.5.6") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section3-3-2) (parent lrm-section3-3) (documentname lrm) (longlabel "Section 3.3.2: Subtype Declarations") (shortlabel "Section 3.3.2: Subtype Declarations") (xrefs ( (lrm-section3-3 "base type 3.3") (lrm-section3-7-2 "compatibility of discriminant constraints 3.7.2") (lrm-section3-5-9 "compatibility of fixed point constraints 3.5.9") (lrm-section3-5-7 "compatibility of floating point constraints 3.5.7") (lrm-section3-6-1 "compatibility of index constraints 3.6.1") (lrm-section3-5 "compatibility of range constraints 3.5") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-3 "discriminant 3.3") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-9 "elaboration 3.9") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section3-5-7 "floating point constraint 3.5.7") (lrm-section3-5-9 "fixed point constraint 3.5.9") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section3-5 "range constraint 3.5") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type name 3.3.1") (lrm-section3-3 "unconstrained subtype 3.3")))) (subsection (name lrm-section3-3-3) (parent lrm-section3-3) (documentname lrm) (longlabel "Section 3.3.3: Classification of Operations") (shortlabel "Section 3.3.3: Classification of Operations") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section4-8 "allocator 4.8") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section2-5 "character literal 2.5") (lrm-section3-3 "composite type 3.3") (lrm-section4-6 "conversion 4.6") (lrm-section3-4 "derived subprogram 3.4") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-5 "function 6.5") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section3-2-1 "initial value 3.2.1") (lrm-section4-2 "literal 4.2") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section3-8 "null literal 3.8") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-5 "numeric type 3.5") (lrm-section3-2-1 "object 3.2.1") (lrm-section6-1 "object 6.1") (lrm-section4-5 "predefined operator 4.5") (lrm-section4-7 "qualified expression 4.7") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-5-1 "short-circuit control form 4.5 4.5.1") (lrm-section4-1-2 "slice 4.1.2") (lrm-section2-6 "string literal 2.6") (lrm-chapter-6 "subprogram 6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6") (lrm-section4-10 "universal type 4.10")))) (section (name lrm-section3-4) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.4: Derived Types") (shortlabel "Section 3.4: Derived Types") (xrefs ( (lrm-section3-8 "access value 3.8") (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-3 "aggregate 4.3") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3 "class of type 3.3") (lrm-section3-8 "collection 3.8") (lrm-section3-3 "component 3.3") (lrm-section3-3 "composite type 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section4-6 "conversion 4.6") (lrm-section3-1 "declaration 3.1") (lrm-section8-1 "declarative region 8.1") (lrm-section3-2-1 "default expression 3.2.1") (lrm-section3-8 "default initial value for an access type 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry 9.5") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section3-5-7 "floating point constraint 3.5.7") (lrm-section3-5-9 "fixed point constraint 3.5.9") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-4 "function call 6.4") (lrm-section12-1 "generic declaration 12.1") (lrm-section8-1 "immediately within 8.1") (lrm-section3-1 "implicit declaration 3.1") (lrm-section4-2 "literal 4.2") (lrm-section6-1 "mode 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-chapter-7 "package 7") (lrm-section7-1 "package specification 7.1") (lrm-section6-4 "parameter association 6.4") (lrm-section4-5 "predefined operator 4.5") (lrm-section7-4 "private type 7.4") (lrm-chapter-6 "procedure 6") (lrm-section6-4 "procedure call statement 6.4") (lrm-section3-5 "range constraint 3.5") (lrm-section13-1 "representation clause 13.1") (lrm-section2-9 "reserved word 2.9") (lrm-section4-1-2 "slice 4.1.2") (lrm-chapter-6 "subprogram 6") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type definition 3.3.1") (lrm-section7-2 "visible part 7.2")))) (section (name lrm-section3-5) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.5: Scalar Types") (shortlabel "Section 3.5: Scalar Types") (children (lrm-section3-5-1 lrm-section3-5-2 lrm-section3-5-3 lrm-section3-5-4 lrm-section3-5-5 lrm-section3-5-6 lrm-section3-5-7 lrm-section3-5-8 lrm-section3-5-9 lrm-section3-5-10 )) (xrefs ( (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "constraint 3.3") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section1-6 "erroneous 1.6") (lrm-section4-5 "evaluation 4.5") (lrm-section3-5-9 "fixed point constraint 3.5.9") (lrm-section3-5-7 "floating point constraint 3.5.7") (lrm-section3-6 "index 3.6") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section5-5 "loop statement 5.5") (lrm-section3-6-2 "range attribute 3.6.2") (lrm-section3-5-6 "real type 3.5.6") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section3-3 "satisfy a constraint 3.3") (lrm-section4-4 "simple expression 4.4") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section3-5-1) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.1: Enumeration Types") (shortlabel "Section 3.5.1: Enumeration Types") (xrefs ( (lrm-section2-5 "character literal 2.5") (lrm-section3-1 "declaration 3.1") (lrm-section6-1 "designator 6.1") (lrm-section3-9 "elaboration 3.9") (lrm-section6-1 "elaboration 6.1") (lrm-section6-5 "function 6.5") (lrm-section2-3 "identifier 2.3") (lrm-section4-1 "name 4.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section3-5 "position number 3.5") (lrm-section4-7 "qualified expression 4.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type definition 3.3.1")))) (subsection (name lrm-section3-5-2) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.2: Character Types") (shortlabel "Section 3.5.2: Character Types") (xrefs ( (lrm-annex-c "ascii predefined package C") (lrm-section2-1 "basic character 2.1") (lrm-section2-5 "character literal 2.5") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section2-1 "graphic character 2.1") (lrm-section2-3 "identifier 2.3") (lrm-section4-2 "literal 4.2") (lrm-annex-c "predefined type C") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section3-5-3) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.3: Boolean Types") (shortlabel "Section 3.5.3: Boolean Types") (xrefs ( (lrm-section3-4 "derived type 3.4") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section3-5-4) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.4: Integer Types") (shortlabel "Section 3.5.4: Integer Types") (xrefs ( (lrm-section3-3-1 "anonymous type 3.3.1") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section4-6 "conversion 4.6") (lrm-section2-3 "identifier 2.3") (lrm-section2-4 "integer literal 2.4") (lrm-section4-2 "literal 4.2") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section3-4 "parent type 3.4") (lrm-section4-5 "predefined operator 4.5") (lrm-section3-5 "range constraint 3.5") (lrm-section4-9 "static expression 4.9") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section13-7 "system predefined package 13.7") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-1 "type definition 3.3.1") (lrm-section4-10 "universal type 4.10")))) (subsection (name lrm-section3-5-5) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.5: Operations of Discrete Types") (shortlabel "Section 3.5.5: Operations of Discrete Types") (xrefs ( (lrm-section4-5-6 "abs operator 4.5 4.5.6") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section4-5-3 "binary adding operator 4.5 4.5.3") (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section2-5 "character literal 2.5") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section4-6 "conversion 4.6") (lrm-section3-5 "discrete type 3.5") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section4-5-6 "exponentiating operator 4.5 4.5.6") (lrm-section6-5 "function 6.5") (lrm-section2-1 "graphic character 2.1") (lrm-section2-3 "identifier 2.3") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section4-5-1 "logical operator 4.5 4.5.1") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section4-5-6 "not operator 4.5 4.5.6") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-5 "numeric type 3.5") (lrm-section3-2 "object 3.2") (lrm-section3-3 "operation 3.3") (lrm-section3-5 "position number 3.5") (lrm-section4-5 "predefined operator 4.5") (lrm-annex-c "predefined type C") (lrm-section4-7 "qualified expression 4.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section4-5-1 "short-circuit control form 4.5 4.5.1") (lrm-section3-6-3 "string type 3.6.3") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section4-5-4 "unary adding operator 4.5 4.5.4") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section4-10 "universal type 4.10")))) (subsection (name lrm-section3-5-6) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.6: Real Types") (shortlabel "Section 3.5.6: Real Types") (xrefs ( (lrm-section4-6 "conversion 4.6") (lrm-section3-9 "elaboration 3.9") (lrm-section3-5-9 "fixed point constraint 3.5.9") (lrm-section3-5-7 "floating point constraint 3.5.7") (lrm-section4-2 "literal 4.2") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section3-3-3 "predefined operation 3.3.3") (lrm-section2-4 "real literal 2.4") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type definition 3.3.1") (lrm-section4-10 "universal type 4.10")))) (subsection (name lrm-section3-5-7) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.7: Floating Point Types") (shortlabel "Section 3.5.7: Floating Point Types") (xrefs ( (lrm-section3-3-1 "anonymous type 3.3.1") (lrm-section4-5 "arithmetic operator 3.5.5 4.5") (lrm-section2-4-2 "based literal 2.4.2") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3-2 "compatible 3.3.2") (lrm-section3-4 "derived type 3.4") (lrm-section2-1 "digit 2.1") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section3-5-6 "error bound 3.5.6") (lrm-section2-4-1 "exponent 2.4.1") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section3-5-6 "model number 3.5.6") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "predefined operator 4.5") (lrm-annex-c "predefined type C") (lrm-section3-5 "range constraint 3.5") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-5-6 "real type definition 3.5.6") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section4-4 "simple expression 4.4") (lrm-section4-9 "static expression 4.9") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section3-5-8) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.8: Operations of Floating Point Types") (shortlabel "Section 3.5.8: Operations of Floating Point Types") (xrefs ( (lrm-section4-5-6 "abs operator 4.5 4.5.6") (lrm-section4-5 "arithmetic operator 3.5.5 4.5") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section4-5-3 "binary adding operator 4.5 4.5.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3 "constraint 3.3") (lrm-section4-6 "conversion 4.6") (lrm-section2-1 "digit 2.1") (lrm-section4-5-6 "exponentiating operator 4.5 4.5.6") (lrm-section3-5-7 "floating point type 3.5.7") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section3-5-6 "model number 3.5.6") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section3-5 "numeric type 3.5") (lrm-section3-2 "object 3.2") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "predefined operator 4.5") (lrm-section4-7 "qualified expression 4.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section4-5-4 "unary adding operator 4.5 4.5.4") (lrm-section4-10 "universal type 4.10") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (subsection (name lrm-section3-5-9) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.9: Fixed Point Types") (shortlabel "Section 3.5.9: Fixed Point Types") (xrefs ( (lrm-section3-3-1 "anonymous type 3.3.1") (lrm-section4-5 "arithmetic operator 3.5.5 4.5") (lrm-section3-3 "base type 3.3") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3-2 "compatible 3.3.2") (lrm-section4-6 "conversion 4.6") (lrm-section3-9 "elaboration 3.9") (lrm-section3-5-6 "error bound 3.5.6") (lrm-section13-2 "length clause 13.2") (lrm-section3-5-6 "model number 3.5.6") (lrm-section3-5 "numeric type 3.5") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "predefined operator 4.5") (lrm-section3-5 "range constraint 3.5") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-5-6 "real type definition 3.5.6") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section4-4 "simple expression 4.4") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section3-5-10) (parent lrm-section3-5) (documentname lrm) (longlabel "Section 3.5.10: Operations of Fixed Point Types") (shortlabel "Section 3.5.10: Operations of Fixed Point Types") (xrefs ( (lrm-section4-5-6 "abs operator 4.5 4.5.6") (lrm-section4-5 "arithmetic operator 3.5.5 4.5") (lrm-section5-2 "assignment 5.2") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section4-5-3 "binary adding operator 4.5 4.5.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section4-6 "conversion 4.6") (lrm-section3-5-9 "delta 3.5.9") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section3-5-6 "model number 3.5.6") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section3-5 "numeric type 3.5") (lrm-section3-2 "object 3.2") (lrm-section3-3 "operation 3.3") (lrm-section4-7 "qualified expression 4.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section3-3 "subtype 3.3") (lrm-section4-5-4 "unary adding operator 4.5 4.5.4") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (section (name lrm-section3-6) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.6: Array Types") (shortlabel "Section 3.6: Array Types") (children (lrm-section3-6-1 lrm-section3-6-2 lrm-section3-6-3 )) (xrefs ( (lrm-section3-3-1 "anonymous type 3.3.1") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3 "component 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section3-5 "discrete type 3.5") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section1-6 "in some order 1.6") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section3-5 "range 3.5") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-1 "type definition 3.3.1") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section3-6-1) (parent lrm-section3-6) (documentname lrm) (longlabel "Section 3.6.1: Index Constraints and Discrete Ranges") (shortlabel "Section 3.6.1: Index Constraints and Discrete Ranges") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access type definition 3.8") (lrm-section3-8 "access value 3.8") (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array bound 3.6") (lrm-section3-6 "array component 3.6") (lrm-section3-6 "array type 3.6") (lrm-section3-6 "array type definition 3.6") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3-2 "compatible 3.3.2") (lrm-section3-7 "component declaration 3.7") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-6 "constrained array definition 3.6") (lrm-section3-6 "constrained array subtype 3.6") (lrm-section4-6 "conversion 4.6") (lrm-section3-8 "designate 3.8") (lrm-section3-8 "designated type 3.8") (lrm-section3-6 "discrete range 3.6") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry family declaration 9.5") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-5 "function 6.5") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-3 "generic formal parameter 12.1 12.3") (lrm-section12-1 "generic parameter 12.1") (lrm-section3-6 "index 3.6") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section3-6 "index subtype 3.6") (lrm-section3-2-1 "initial value 3.2.1") (lrm-section2-4 "integer literal 2.4") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section5-5 "iteration rule 5.5") (lrm-section12-1-1 "mode 12.1.1") (lrm-section4-1 "name 4.1") (lrm-section3-5 "null range 3.5") (lrm-section3-2 "object 3.2") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-annex-c "predefined type C") (lrm-section3-5 "range 3.5") (lrm-section3-7 "record component 3.7") (lrm-section8-5 "renaming declaration 8.5") (lrm-section6-1 "result subtype 6.1") (lrm-section3-3 "satisfy 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section4-6 "subtype conversion 4.6") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section3-3 "unconstrained subtype 3.3") (lrm-section4-10 "universal type 4.10") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section3-6-2) (parent lrm-section3-6) (documentname lrm) (longlabel "Section 3.6.2: Operations of Array Types") (shortlabel "Section 3.6.2: Operations of Array Types") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section4-5-3 "catenation operator 4.5 4.5.3") (lrm-section3-5-2 "character type 3.5.2") (lrm-section3-6 "constrained array subtype 3.6") (lrm-section4-6 "conversion 4.6") (lrm-section6-1 "designator 6.1") (lrm-section3-6 "dimension 3.6") (lrm-section3-6 "index 3.6") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-5-1 "logical operator 4.5 4.5.1") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section4-5-6 "not operator 4.5 4.5.6") (lrm-section3-5 "null range 3.5") (lrm-section3-2 "object 3.2") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "predefined operator 4.5") (lrm-section4-7 "qualified expression 4.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section4-1-2 "slice 4.1.2") (lrm-section4-9 "static expression 4.9") (lrm-section2-6 "string literal 2.6") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section4-10 "universal type 4.10") (lrm-section3-5-4 "universal_integer type 3.5.4")))) (subsection (name lrm-section3-6-3) (parent lrm-section3-6) (documentname lrm) (longlabel "Section 3.6.3: The Type String") (shortlabel "Section 3.6.3: The Type String") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section3-6 "array 3.6") (lrm-section4-5-3 "catenation operator 4.5 4.5.3") (lrm-section3-5-2 "character type 3.5.2") (lrm-section3-6 "component type (of an array) 3.6") (lrm-section3-6 "dimension 3.6") (lrm-section3-6 "index 3.6") (lrm-section4-5-2 "lexicographic order 4.5.2") (lrm-section4-3 "positional aggregate 4.3") (lrm-section4-5 "predefined operator 4.5") (lrm-annex-c "predefined type C") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section2-6 "string literal 2.6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3")))) (section (name lrm-section3-7) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.7: Record Types") (shortlabel "Section 3.7: Record Types") (children (lrm-section3-7-1 lrm-section3-7-2 lrm-section3-7-3 lrm-section3-7-4 )) (xrefs ( (lrm-section2-2 "assignment compound delimiter 2.2") (lrm-section3-3 "component 3.3") (lrm-section3-3 "composite value 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-7-1 "depend on a discriminant 3.7.1") (lrm-section3-3 "discriminant 3.3") (lrm-section3-7-1 "discriminant part 3.7 3.7.1") (lrm-section3-9 "elaboration 3.9") (lrm-section4-4 "expression 4.4") (lrm-section2-3 "identifier 2.3") (lrm-section3-2 "identifier list 3.2") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-7-3 "variant part 3.7.3")))) (subsection (name lrm-section3-7-1) (parent lrm-section3-7) (documentname lrm) (longlabel "Section 3.7.1: Discriminants") (shortlabel "Section 3.7.1: Discriminants") (xrefs ( (lrm-section5-2 "assignment 5.2") (lrm-section2-2 "assignment compound delimiter 2.2") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3 "component 3.3") (lrm-section3-7 "component declaration 3.7") (lrm-section3-7 "component of a record 3.7") (lrm-section3-1 "declaration 3.1") (lrm-section3-5 "discrete type 3.5") (lrm-section3-3 "discriminant 3.3") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-9 "elaboration 3.9") (lrm-section4-4 "expression 4.4") (lrm-section12-1 "generic formal type 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section3-2 "identifier list 3.2") (lrm-section3-8-1 "incomplete type declaration 3.8.1") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section7-4 "private type 7.4") (lrm-section7-4 "private type declaration 7.4") (lrm-section3-7 "record type 3.7") (lrm-section8-2 "scope 8.2") (lrm-section4-1 "simple name 4.1") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-7-3 "variant part 3.7.3")))) (subsection (name lrm-section3-7-2) (parent lrm-section3-7) (documentname lrm) (longlabel "Section 3.7.2: Discriminant Constraints") (shortlabel "Section 3.7.2: Discriminant Constraints") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access type definition 3.8") (lrm-section3-8 "access value 3.8") (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array type definition 3.6") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3-2 "compatible 3.3.2") (lrm-section3-3 "component 3.3") (lrm-section3-7 "component declaration 3.7") (lrm-section3-7 "component subtype indication 3.7") (lrm-section3-3 "composite value 3.3") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-3 "constrained subtype 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-7 "default expression for a discriminant 3.7") (lrm-section3-7-1 "depend on a discriminant 3.7.1") (lrm-section3-8 "designate 3.8") (lrm-section3-8 "designated type 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-3 "generic formal parameter 12.1 12.3") (lrm-section6-1 "mode in 6.1") (lrm-section6-1 "mode in out 6.1") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-section8-5 "renaming declaration 8.5") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "satisfy 3.3") (lrm-section4-1 "simple name 4.1") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section3-7-3) (parent lrm-section3-7) (documentname lrm) (longlabel "Section 3.7.3: Variant Parts") (shortlabel "Section 3.7.3: Variant Parts") (xrefs ( (lrm-section4-3-2 "array aggregate 4.3.2") (lrm-section3-3 "base type 3.3") (lrm-section3-3 "component 3.3") (lrm-section3-7 "component list 3.7") (lrm-section3-6 "discrete range 3.6") (lrm-section3-3 "discriminant 3.3") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section3-5 "null range 3.5") (lrm-section4-3-1 "record aggregate 4.3.1") (lrm-section3-5 "range 3.5") (lrm-section3-7 "record type 3.7") (lrm-section4-4 "simple expression 4.4") (lrm-section4-1 "simple name 4.1") (lrm-section4-9 "static discrete range 4.9") (lrm-section4-9 "static expression 4.9") (lrm-section4-9 "static subtype 4.9") (lrm-section3-3 "subtype 3.3")))) (subsection (name lrm-section3-7-4) (parent lrm-section3-7) (documentname lrm) (longlabel "Section 3.7.4: Operations of Record Types") (shortlabel "Section 3.7.4: Operations of Record Types") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-3 "aggregate 4.3") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section3-2-1 "constant 3.2.1") (lrm-section4-6 "conversion 4.6") (lrm-section3-4 "derived type 3.4") (lrm-section3-3 "discriminant 3.3") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-3 "generic formal parameter 12.1 12.3") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section6-1 "mode 6.1") (lrm-section3-2-1 "object 3.2.1") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "predefined operator 4.5") (lrm-annex-c "predefined type C") (lrm-section4-7 "qualified expression 4.7") (lrm-section3-7 "record type 3.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3")))) (section (name lrm-section3-8) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.8: Access Types") (shortlabel "Section 3.8: Access Types") (children (lrm-section3-8-1 lrm-section3-8-2 )) (xrefs ( (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-3 "constraint 3.3") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-9 "elaboration 3.9") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section3-6 "index specification 3.6") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-2 "literal 4.2") (lrm-section4-1 "name 4.1") (lrm-section3-2-1 "object 3.2.1") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "satisfy 3.3") (lrm-section4-1 "simple name 4.1") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section3-8-1) (parent lrm-section3-8) (documentname lrm) (longlabel "Section 3.8.1: Incomplete Type Declarations") (shortlabel "Section 3.8.1: Incomplete Type Declarations") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access type definition 3.8") (lrm-section3-3 "component 3.3") (lrm-section6-3-1 "conform 6.3.1") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative item 3.9") (lrm-section3-8 "designate 3.8") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section3-9 "elaboration 3.9") (lrm-section2-3 "identifier 2.3") (lrm-section4-1 "name 4.1") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section3-8-2) (parent lrm-section3-8) (documentname lrm) (longlabel "Section 3.8.2: Operations of Access Types") (shortlabel "Section 3.8.2: Operations of Access Types") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section4-1-4 "attribute designator 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-8 "collection 3.8") (lrm-section3-6 "constrained array subtype 3.6") (lrm-section4-6 "conversion 4.6") (lrm-section3-8 "designate 3.8") (lrm-section3-8 "designated subtype 3.8") (lrm-section3-8 "designated type 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section4-2 "literal 4.2") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section3-2-1 "object 3.2.1") (lrm-section3-3 "operation 3.3") (lrm-section7-4 "private type 7.4") (lrm-section4-7 "qualified expression 4.7") (lrm-section3-7 "record type 3.7") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-1-2 "slice 4.1.2") (lrm-section3-3 "subtype 3.3") (lrm-section9-1 "task type 9.1") (lrm-section3-3 "type 3.3")))) (section (name lrm-section3-9) (parent (lrm-chapter-3)) (documentname lrm) (longlabel "Section 3.9: Declarative Parts") (shortlabel "Section 3.9: Declarative Parts") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section4-1-4 "attribute designator 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-8 "collection 3.8") (lrm-section3-6 "constrained array subtype 3.6") (lrm-section4-6 "conversion 4.6") (lrm-section3-8 "designate 3.8") (lrm-section3-8 "designated subtype 3.8") (lrm-section3-8 "designated type 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section4-2 "literal 4.2") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section3-2-1 "object 3.2.1") (lrm-section3-3 "operation 3.3") (lrm-section7-4 "private type 7.4") (lrm-section4-7 "qualified expression 4.7") (lrm-section3-7 "record type 3.7") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-1-2 "slice 4.1.2") (lrm-section3-3 "subtype 3.3") (lrm-section9-1 "task type 9.1") (lrm-section3-3 "type 3.3")))) (chapter (name lrm-chapter-4) (parent (lrm)) (documentname lrm) (longlabel "Chapter 4: Names and Expressions") (shortlabel "Chapter 4: Names and Expressions") (children (lrm-section4-1 lrm-section4-2 lrm-section4-3 lrm-section4-4 lrm-section4-5 lrm-section4-6 lrm-section4-7 lrm-section4-8 lrm-section4-9 lrm-section4-10 ))) (section (name lrm-section4-1) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.1: Names") (shortlabel "Section 4.1: Names") (children (lrm-section4-1-1 lrm-section4-1-2 lrm-section4-1-3 lrm-section4-1-4 )) (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access value 3.8") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "belong to a type 3.3") (lrm-section2-5 "character literal 2.5") (lrm-section3-3 "component 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-8 "designate 3.8") (lrm-section3-8 "designated type 3.8") (lrm-section3-1 "entity 3.1") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-4 "function call 6.4") (lrm-section2-3 "identifier 2.3") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section6-1 "mode 6.1") (lrm-section3-8 "null access value 3.8") (lrm-section3-2-1 "object 3.2.1") (lrm-section6-1 "operator symbol 6.1") (lrm-chapter-11 "raising of exceptions 11") (lrm-section8-5 "renaming declarations 8.5") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-1-2 "slice 4.1.2") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section4-1-1) (parent lrm-section4-1) (documentname lrm) (longlabel "Section 4.1.1: Indexed Components") (shortlabel "Section 4.1.1: Indexed Components") (xrefs ( (lrm-section4-1 "appropriate for a type 4.1") (lrm-section3-6 "array type 3.6") (lrm-section3-3 "component 3.3") (lrm-section3-6 "component of an array 3.6") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-6 "dimension 3.6") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-4 "function call 6.4") (lrm-section1-6 "in some order 1.6") (lrm-section3-6 "index 3.6") (lrm-section4-1 "name 4.1") (lrm-section4-1 "prefix 4.1") (lrm-chapter-11 "raising of exceptions 11") (lrm-section6-5 "returned value 5.8 6.5") (lrm-section9-2 "task object 9.2")))) (subsection (name lrm-section4-1-2) (parent lrm-section4-1) (documentname lrm) (longlabel "Section 4.1.2: Slices") (shortlabel "Section 4.1.2: Slices") (xrefs ( (lrm-section4-1 "appropriate for a type 4.1") (lrm-section3-6 "array 3.6") (lrm-section3-6 "array type 3.6") (lrm-section3-8 "array value 3.8") (lrm-section3-3 "base type 3.3") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-6-1 "bound of a discrete range 3.6.1") (lrm-section3-3 "component 3.3") (lrm-section3-3 "component type 3.3") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-6 "dimension 3.6") (lrm-section3-6 "discrete range 3.6") (lrm-section4-5 "evaluation 4.5") (lrm-section3-6 "index 3.6") (lrm-section3-6 "index range 3.6") (lrm-section4-1 "name 4.1") (lrm-section3-6-1 "null array 3.6.1") (lrm-section3-5 "null range 3.5") (lrm-section4-1 "prefix 4.1") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-3 "type 3.3") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section4-1-3) (parent lrm-section4-1) (documentname lrm) (longlabel "Section 4.1.3: Selected Components") (shortlabel "Section 4.1.3: Selected Components") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access value 3.8") (lrm-section4-1 "appropriate for a type 4.1") (lrm-section5-6 "block statement 5.6") (lrm-section3-9 "body of a program unit 3.9") (lrm-section2-5 "character literal 2.5") (lrm-section3-7 "component of a record 3.7") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-8 "designate 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section3-1 "entity 3.1") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section6-4 "function call 6.4") (lrm-section3-6 "index 3.6") (lrm-section5-5 "loop statement 5.5") (lrm-section3-2-1 "object 3.2.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-section4-5 "operator 4.5") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-3 "overloading 8.3") (lrm-chapter-7 "package 7") (lrm-annex-c "predefined type C") (lrm-section4-1 "prefix 4.1") (lrm-section6-3 "procedure body 6.3") (lrm-chapter-6 "program unit 6") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-7 "record 3.7") (lrm-section3-7 "record component 3.7") (lrm-section8-5 "renaming declaration 8.5") (lrm-section2-9 "reserved word 2.9") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section10-2 "subunit 10.2") (lrm-chapter-9 "task 9") (lrm-section9-2 "task object 9.2") (lrm-chapter-9 "task unit 9") (lrm-section3-7-3 "variable 3.7.3") (lrm-section3-7-3 "variant 3.7.3") (lrm-section8-3 "visibility 8.3") (lrm-section3-7-3 "visible part 3.7.3")))) (subsection (name lrm-section4-1-4) (parent lrm-section4-1) (documentname lrm) (longlabel "Section 4.1.4: Attributes") (shortlabel "Section 4.1.4: Attributes") (xrefs ( (lrm-section4-1 "appropriate for a type 4.1") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-1 "declared entity 3.1") (lrm-section4-1 "name 4.1") (lrm-section4-1 "prefix 4.1") (lrm-section2-9 "reserved word 2.9") (lrm-section4-1 "simple name 4.1") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "type 3.3") (lrm-section4-10 "universal expression 4.10")))) (section (name lrm-section4-2) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.2: Literals") (shortlabel "Section 4.2: Literals") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section4-3 "aggregate 4.3") (lrm-section3-6 "array 3.6") (lrm-section3-6 "array bound 3.6") (lrm-section3-6 "array type 3.6") (lrm-section2-5 "character literal 2.5") (lrm-section3-5-2 "character type 3.5.2") (lrm-section3-3 "component type 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-8 "designate 3.8") (lrm-section3-6 "dimension 3.6") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section2-1 "graphic character 2.1") (lrm-section2-4 "integer literal 2.4") (lrm-section3-8 "null access value 3.8") (lrm-section3-8 "null literal 3.8") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-2-1 "object 3.2.1") (lrm-section2-4 "real literal 2.4") (lrm-section2-6 "string literal 2.6") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section4-3) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.3: Aggregates") (shortlabel "Section 4.3: Aggregates") (children (lrm-section4-3-1 lrm-section4-3-2 )) (xrefs ( (lrm-section4-3-2 "array aggregate 4.3.2") (lrm-section3-6 "array type 3.6") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-7-3 "choice 3.7.3") (lrm-section3-3 "component 3.3") (lrm-section3-3 "composite type 3.3") (lrm-section3-3 "composite value 3.3") (lrm-section3-6 "discrete range 3.6") (lrm-section4-4 "expression 4.4") (lrm-section3-6 "index 3.6") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-4 "primary 4.4") (lrm-section4-3-1 "record aggregate 4.3.1") (lrm-section3-7 "record type 3.7") (lrm-section4-4 "simple expression 4.4") (lrm-section4-1 "simple name 4.1") (lrm-section3-3 "type 3.3") (lrm-section3-7-3 "variant part 3.7.3")))) (subsection (name lrm-section4-3-1) (parent lrm-section4-3) (documentname lrm) (longlabel "Section 4.3.1: Record Aggregates") (shortlabel "Section 4.3.1: Record Aggregates") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section4-8 "allocator 4.8") (lrm-section3-7-3 "choice 3.7.3") (lrm-section4-3 "component association 4.3") (lrm-section3-7 "component name 3.7") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-7-1 "depend on a discriminant 3.7.1") (lrm-section3-3 "discriminant 3.3") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section4-5 "evaluate 4.5") (lrm-section4-4 "expression 4.4") (lrm-section1-6 "in some order 1.6") (lrm-chapter-10 "program 10") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-7 "record component 3.7") (lrm-section3-7 "record type 3.7") (lrm-section3-3 "satisfy 3.3") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3-2 "subtype 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-7-3 "variant part 3.7.3")))) (subsection (name lrm-section4-3-2) (parent lrm-section4-3) (documentname lrm) (longlabel "Section 4.3.2: Array Aggregates") (shortlabel "Section 4.3.2: Array Aggregates") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-3 "aggregate 4.3") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment compound delimiter 5.2") (lrm-section3-7-3 "choice 3.7.3") (lrm-section3-3 "component 3.3") (lrm-section4-3 "component association 4.3") (lrm-section3-3 "component type 3.3") (lrm-section3-6 "constrained array subtype 3.6") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-6 "dimension 3.6") (lrm-section4-5 "evaluate 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-5 "function 6.5") (lrm-section1-6 "in some order 1.6") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section3-6 "index range 3.6") (lrm-section3-6 "index subtype 3.6") (lrm-section3-6 "index type 3.6") (lrm-section4-3 "named component association 4.3") (lrm-section3-6-1 "null array 3.6.1") (lrm-section3-2 "object 3.2") (lrm-section4-3 "positional component association 4.3") (lrm-section4-7 "qualified expression 4.7") (lrm-chapter-11 "raising of exceptions 11") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "type 3.3")))) (section (name lrm-section4-4) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.4: Expressions") (shortlabel "Section 4.4: Expressions") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section4-8 "allocator 4.8") (lrm-section4-3-2 "array aggregate 4.3.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section4-5-3 "binary adding operator 4.5 4.5.3") (lrm-section8-7 "context of overload resolution 8.7") (lrm-section4-5-6 "exponentiating operator 4.5 4.5.6") (lrm-section6-4 "function call 6.4") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section4-1 "name 4.1") (lrm-section3-2 "named number 3.2") (lrm-section3-8 "null literal 3.8") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-2 "object 3.2") (lrm-section4-5 "operator 4.5") (lrm-section8-3 "overloading 8.3") (lrm-section6-7 "overloading an operator 6.7") (lrm-section4-7 "qualified expression 4.7") (lrm-section3-5 "range 3.5") (lrm-section2-4 "real literal 2.4") (lrm-section4-5-1 "relation 4.5.1") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section6-1 "result type 6.1") (lrm-section2-6 "string literal 2.6") (lrm-section3-3 "type 3.3") (lrm-section4-6 "type conversion 4.6") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section4-5-4 "unary adding operator 4.5 4.5.4") (lrm-section3-2-1 "variable 3.2.1")))) (section (name lrm-section4-5) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.5: Operators and Expression Evaluation") (shortlabel "Section 4.5: Operators and Expression Evaluation") (children (lrm-section4-5-1 lrm-section4-5-2 lrm-section4-5-3 lrm-section4-5-4 lrm-section4-5-5 lrm-section4-5-6 lrm-section4-5-7 )) (xrefs ( (lrm-section6-1 "designator 6.1") (lrm-section4-4 "expression 4.4") (lrm-section4-4 "factor 4.4") (lrm-section3-1 "implicit declaration 3.1") (lrm-section1-6 "in some order 1.6") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section4-5-2 "membership test 4.5.2") (lrm-section4-1 "name 4.1") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-chapter-11 "raising of an exception 11") (lrm-section3-5 "range 3.5") (lrm-section3-5-6 "real type 3.5.6") (lrm-section4-4 "relation 4.4") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section4-5-1 "short-circuit control form 4.5 4.5.1") (lrm-section4-4 "simple expression 4.4") (lrm-section4-4 "term 4.4") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (subsection (name lrm-section4-5-1) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.1: Logical Operators and Short-circuit Control Forms") (shortlabel "Section 4.5.1: Logical Operators and Short-circuit Control Forms") (xrefs ( (lrm-section3-6 "array type 3.6") (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section3-6-1 "bound of an index range 3.6.1") (lrm-section3-6 "component of an array 3.6") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-6 "dimension 3.6") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-section3-6 "index subtype 3.6") (lrm-section4-5-2 "matching components of arrays 4.5.2") (lrm-section3-6-1 "null array 3.6.1") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "operator 4.5") (lrm-section4-5 "predefined operator 4.5") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-5-3 "true boolean value 3.5.3") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section4-5-2) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.2: Relational Operators and Membership Tests") (shortlabel "Section 4.5.2: Relational Operators and Membership Tests") (xrefs ( (lrm-section3-8 "access value 3.8") (lrm-section3-6 "array type 3.6") (lrm-section3-3 "base type 3.3") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-5-3 "boolean predefined type 3.5.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-3 "component 3.3") (lrm-section3-7 "component identifier 3.7") (lrm-section3-3 "component type 3.3") (lrm-section3-3 "composite type 3.3") (lrm-section3-8 "designate 3.8") (lrm-section3-6 "dimension 3.6") (lrm-section3-5 "discrete type 3.5") (lrm-section4-5 "evaluation 4.5") (lrm-chapter-11 "exception 11") (lrm-section3-6 "index 3.6") (lrm-section3-6 "index range 3.6") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section3-8 "null access value 3.8") (lrm-section3-6-1 "null array 3.6.1") (lrm-section3-7 "null record 3.7") (lrm-section3-2-1 "object 3.2.1") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "operator 4.5") (lrm-section4-5 "predefined operator 4.5") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-5 "range 3.5") (lrm-section3-7 "record type 3.7") (lrm-section3-5 "scalar type 3.5") (lrm-section4-4 "simple expression 4.4") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-5-5 "successor 3.5.5") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section4-5-3) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.3: Binary Adding Operators") (shortlabel "Section 4.5.3: Binary Adding Operators") (xrefs ( (lrm-section3-6 "array type 3.6") (lrm-section2-5 "character literal 2.5") (lrm-section3-3 "component type 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-6 "dimension 3.6") (lrm-section3-6 "index subtype 3.6") (lrm-section3-6-2 "length of an array 3.6.2") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section3-6-1 "null array 3.6.1") (lrm-section3-5 "numeric type 3.5") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "operator 4.5") (lrm-section4-5 "predefined operator 4.5") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-6-1 "range of an index subtype 3.6.1") (lrm-section3-5-6 "real type 3.5.6") (lrm-section2-6 "string literal 2.6") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section4-5-4) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.4: Unary Adding Operators") (shortlabel "Section 4.5.4: Unary Adding Operators") (xrefs ( (lrm-section3-5 "numeric type 3.5") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "operator 4.5") (lrm-section4-5 "predefined operator 4.5") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section4-5-5) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.5: Multiplying Operators") (shortlabel "Section 4.5.5: Multiplying Operators") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section3-3 "base type 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-5-9 "delta of a fixed point type 3.5.9") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section3-5-7 "floating point type 3.5.7") (lrm-section12-1 "generic formal subprogram 12.1") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section3-5 "numeric type 3.5") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section4-5 "predefined operator 4.5") (lrm-chapter-11 "raising of exceptions 11") (lrm-section8-5 "renaming declaration 8.5") (lrm-section8-6 "standard predefined package 8.6") (lrm-section4-6 "type conversion 4.6")))) (subsection (name lrm-section4-5-6) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.6: Highest Precedence Operators") (shortlabel "Section 4.5.6: Highest Precedence Operators") (xrefs ( (lrm-section3-6 "array type 3.6") (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section3-6-1 "bound of an array 3.6.1") (lrm-section3-6 "component of an array 3.6") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-6 "dimensionality 3.6") (lrm-section3-5-9 "floating point type 3.5.9") (lrm-section3-6 "index 3.6") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section4-5-5 "multiplication operation 4.5.5") (lrm-section4-5 "predefined operator 4.5") (lrm-chapter-11 "raising of exceptions 11")))) (subsection (name lrm-section4-5-7) (parent lrm-section4-5) (documentname lrm) (longlabel "Section 4.5.7: Accuracy of Operations with Real Operands") (shortlabel "Section 4.5.7: Accuracy of Operations with Real Operands") (xrefs ( (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section3-5-6 "error bound 3.5.6") (lrm-section4-5-6 "exponentiation operation 4.5.6") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-section3-5-9 "floating point type 3.5.9") (lrm-section13-7-1 "machine_overflows attribute 13.7.1") (lrm-section4-5-2 "membership test 4.5.2") (lrm-section3-5-6 "model number 3.5.6") (lrm-section4-5-5 "multiplication operation 4.5.5") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section3-3-3 "predefined operation 3.3.3") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-5 "range 3.5") (lrm-section3-5-6 "real type 3.5.6") (lrm-section4-4 "relation 4.4") (lrm-section4-5 "relational operator 4.5.2 4.5") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section3-3 "subtype 3.3") (lrm-section3-5-3 "true boolean value 3.5.3") (lrm-section4-6 "type conversion 4.6") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section4-10 "universal expression 4.10")))) (section (name lrm-section4-6) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.6: Type Conversions") (shortlabel "Section 4.6: Type Conversions") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section3-6 "array type 3.6") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-3 "belong to a subtype 3.3") (lrm-section3-3 "component 3.3") (lrm-section3-6 "constrained array subtype 3.6") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-4 "derived type 3.4") (lrm-section3-6 "dimension 3.6") (lrm-section4-4 "expression 4.4") (lrm-section3-5-7 "floating point type 3.5.7") (lrm-section3-6 "index 3.6") (lrm-section3-6 "index subtype 3.6") (lrm-section3-6 "index type 3.6") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section4-5-2 "matching component 4.5.2") (lrm-section6-1 "mode 6.1") (lrm-section4-1 "name 4.1") (lrm-section3-2 "named number 3.2") (lrm-section3-6-1 "null array 3.6.1") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-5 "numeric type 3.5") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-5-6 "real type 3.5.6") (lrm-section13-1 "representation 13.1") (lrm-chapter-5"statement 5") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6") (lrm-section3-2-1 "variable 3.2.1")))) (section (name lrm-section4-7) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.7: Qualified Expressions") (shortlabel "Section 4.7: Qualified Expressions") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section3-6 "array 3.6") (lrm-section3-3 "base type 3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section8-7 "context of overload resolution 8.7") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section4-4 "expression 4.4") (lrm-section6-5 "function 6.5") (lrm-section5-5 "loop parameter 5.5") (lrm-section8-5 "overloading 8.5") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-3 "range 3.3") (lrm-section4-4 "relation 4.4") (lrm-chapter-6 "subprogram 6") (lrm-section6-4 "subprogram call 6.4") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (section (name lrm-section4-8) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.8: Allocators") (shortlabel "Section 4.8: Allocators") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access type definition 3.8") (lrm-section3-8 "access value 3.8") (lrm-section3-6 "array type 3.6") (lrm-section5-6 "block statement 5.6") (lrm-section3-6-1 "bound of an array 3.6.1") (lrm-section3-8 "collection 3.8") (lrm-section3-3 "constrained subtype 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section8-7 "context of overload resolution 8.7") (lrm-section3-4 "derived type 3.4") (lrm-section3-8 "designate 3.8") (lrm-section3-3 "discriminant 3.3") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-9 "elaboration 3.9") (lrm-section4-7 "evaluation of a qualified expression 4.7") (lrm-section12-1 "generic procedure 12.1") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section3-2-1 "initial value 3.2.1") (lrm-section3-2-1 "initialization 3.2.1") (lrm-section12-3 "instantiation 12.3") (lrm-section13-2 "length clause 13.2") (lrm-section10-1 "library unit 10.1") (lrm-section10-1 "main program 10.1") (lrm-section4-1 "name 4.1") (lrm-section3-2-1 "object 3.2.1") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-section2-8 "pragma 2.8") (lrm-chapter-6 "procedure 6") (lrm-section4-7 "qualified expression 4.7") (lrm-chapter-11 "raising of exceptions 11") (lrm-section13-1 "representation clause 13.1") (lrm-section4-1 "simple name 4.1") (lrm-section11-1 "storage_error exception 11.1") (lrm-section3-3 "subcomponent 3.3") (lrm-section6-3 "subprogram body 6.3") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section9-1 "task body 9.1") (lrm-section9-2 "task type 9.2") (lrm-section9-4 "terminated task 9.4") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-3 "type with discriminants 3.3")))) (section (name lrm-section4-9) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.9: Static Expressions and Static Subtypes") (shortlabel "Section 4.9: Static Expressions and Static Subtypes") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section2-5 "character literal 2.5") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-2-1 "constant declaration 3.2.1") (lrm-section3-6 "discrete range 3.6") (lrm-section3-5 "discrete type 3.5") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-chapter-11 "exception 11") (lrm-section4-4 "expression 4.4") (lrm-section6-5 "function 6.5") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section3-1 "implicit declaration 3.1") (lrm-section3-2-1 "initialize 3.2.1") (lrm-section3-5-6 "model number 3.5.6") (lrm-section3-2 "named number 3.2") (lrm-section2-4 "numeric literal 2.4") (lrm-section4-5 "predefined operator 4.5") (lrm-section4-7 "qualified expression 4.7") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-5 "range constraint 3.5") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section3-5 "scalar type 3.5") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (section (name lrm-section4-10) (parent (lrm-chapter-4)) (documentname lrm) (longlabel "Section 4.10: Universal Expressions") (shortlabel "Section 4.10: Universal Expressions") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section4-5 "evaluation of an expression 4.5") (lrm-section3-5-9 "floating point type 3.5.9") (lrm-section6-5 "function 6.5") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section3-3-3 "predefined operation 3.3.3") (lrm-section4-4 "primary 4.4") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-5-6 "safe number 3.5.6") (lrm-section13-7 "system.max_int 13.7") (lrm-section13-7 "system.min_int 13.7") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (chapter (name lrm-chapter-5) (parent (lrm)) (documentname lrm) (longlabel "Chapter 5: Statements") (shortlabel "Chapter 5: Statements") (children ( lrm-section5-1 lrm-section5-2 lrm-section5-3 lrm-section5-4 lrm-section5-5 lrm-section5-6 lrm-section5-7 lrm-section5-8 lrm-section5-9 )) (xrefs ( (lrm-section9-10 "abort statement 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section13-8 "code statement 13.8") (lrm-section9-6 "delay statement 9.6") (lrm-section9-5 "entry call statement 9.5") (lrm-section6-4 "procedure call statement 6.4") (lrm-section11-3 "raise statement 11.3") (lrm-section9-7 "select statement 9.7")))) (section (name lrm-section5-1) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.1: Simple and Compound Statements - Sequences of Statements") (shortlabel "Section 5.1: Simple and Compound Statements - Sequences of Statements") (xrefs ( (lrm-section9-10 "abort statement 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section5-2 "assignment statement 5.2") (lrm-section5-6 "block name 5.6") (lrm-section5-6 "block statement 5.6") (lrm-section5-4 "case statement 5.4") (lrm-section13-8 "code statement 13.8") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative part 3.9") (lrm-section9-6 "delay statement 9.6") (lrm-section9-5 "entry call statement 9.5") (lrm-chapter-11 "exception 11") (lrm-section5-7 "exit statement 5.7") (lrm-section12-1 "generic body 12.1") (lrm-chapter-12 "generic unit 12") (lrm-section5-9 "goto statement 5.9") (lrm-section8-3 "hiding 8.3") (lrm-section2-3 "identifier 2.3") (lrm-section5-3 "if statement 5.3") (lrm-section3-1 "implicit declaration 3.1") (lrm-section5-5 "loop name 5.5") (lrm-section5-5 "loop statement 5.5") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section6-4 "procedure call statement 6.4") (lrm-chapter-6 "program unit 6") (lrm-section11-3 "raise statement 11.3") (lrm-chapter-11 "raising of exceptions 11") (lrm-section5-8 "return statement 5.8") (lrm-section8-2 "scope 8.2") (lrm-section9-7 "select statement 9.7") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task unit 9.1") (lrm-section9-7-1 "terminate alternative 9.7.1") (lrm-section9-4 "terminated task 9.4")))) (section (name lrm-section5-2) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.2: Assignment Statement") (shortlabel "Section 5.2: Assignment Statement") (children (lrm-section5-2-1 )) (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array 3.6") (lrm-section5-2-1 "array assignment 5.2.1") (lrm-section3-7 "component 3.6 3.7") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-8 "designate 3.8") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section1-6 "erroneous 1.6") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-4 "function call 6.4") (lrm-section4-6 "implicit type conversion 4.6") (lrm-section4-1 "name 4.1") (lrm-section2-4 "numeric literal 2.4") (lrm-section3-2 "object 3.2") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section4-1-2 "slice 4.1.2") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "subtype 3.3") (lrm-section4-6 "subtype conversion 4.6") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section5-2-1) (parent lrm-section5-2) (documentname lrm) (longlabel "Section 5.2.1: Array Assignments") (shortlabel "Section 5.2.1: Array Assignments") (xrefs ( (lrm-section3-6 "array 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section4-5-2 "matching array components 4.5.2") (lrm-section4-1-2 "slice 4.1.2") (lrm-section4-6 "subtype conversion 4.6") (lrm-section3-3 "type 3.3") (lrm-section3-2-1 "variable 3.2.1")))) (section (name lrm-section5-3) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.3: If Statements") (shortlabel "Section 5.3: If Statements") (xrefs ( (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section5-1 "sequence of statements 5.1")))) (section (name lrm-section5-4) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.4: Case Statements") (shortlabel "Section 5.4: Case Statements") (xrefs ( (lrm-section3-3 "base type 3.3") (lrm-section3-7-3 "choice 3.7.3") (lrm-section8-7 "context of overload resolution 8.7") (lrm-section3-5 "discrete type 3.5") (lrm-section4-4 "expression 4.4") (lrm-section6-4 "function call 6.4") (lrm-section12-1 "generic formal type 12.1") (lrm-section4-6 "conversion 4.6") (lrm-section3-5 "discrete type 3.5") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section4-4 "expression 4.4") (lrm-section4-1 "name 4.1") (lrm-section3-2-1 "object 3.2.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section4-7 "qualified expression 4.7") (lrm-section5-1 "sequence of statements 5.1") (lrm-section4-9 "static discrete range 4.9") (lrm-section4-9 "static subtype 4.9") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section4-6 "type conversion 4.6") (lrm-section3-3-2 "type mark 3.3.2")))) (section (name lrm-section5-5) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.5: Loop Statements") (shortlabel "Section 5.5: Loop Statements") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section5-2 "assignment statement 5.2") (lrm-section3-3 "base type 3.3") (lrm-section3-5 "bound of a range 3.5") (lrm-section5-3 "condition 5.3") (lrm-section3-2-1 "constant 3.2.1") (lrm-section8-7 "context of overload resolution 8.7") (lrm-section4-6 "conversion 4.6") (lrm-section3-1 "declaration 3.1") (lrm-section3-6-1 "discrete range 3.6.1") (lrm-section3-1 "elaboration 3.1") (lrm-section9-5 "entry call statement 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section5-7 "exit statement 5.7") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-3 "generic instantiation 12.3") (lrm-section5-9 "goto statement 5.9") (lrm-section2-3 "identifier 2.3") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section3-5 "null range 3.5") (lrm-section3-2-1 "object 3.2.1") (lrm-section4-1 "prefix 4.1") (lrm-section6-4 "procedure call 6.4") (lrm-chapter-11 "raising of exceptions 11") (lrm-section2-9 "reserved word 2.9") (lrm-section5-8 "return statement 5.8") (lrm-section8-2 "scope 8.2") (lrm-section5-1 "sequence of statements 5.1") (lrm-section4-1 "simple name 4.1") (lrm-section9-7-1 "terminate alternative 9.7.1") (lrm-section3-5-4 "true boolean value 3.5.3 3.5.4") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section5-6) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.6: Block Statements") (shortlabel "Section 5.6: Block Statements") (xrefs ( (lrm-section3-9 "declarative part 3.9") (lrm-section9-4 "dependent task 9.4") (lrm-section11-2 "exception handler 11.2") (lrm-section5-7 "exit statement 5.7") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section5-9 "goto statement 5.9") (lrm-chapter-11 "raising of exceptions 11") (lrm-section5-8 "return statement 5.8") (lrm-section5-1 "sequence of statements 5.1") (lrm-section4-1 "simple name 4.1") (lrm-section9-2 "task object 9.2")))) (section (name lrm-section5-7) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.7: Exit Statements") (shortlabel "Section 5.7: Exit Statements") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section5-3 "condition 5.3") (lrm-section4-5 "evaluation 4.5") (lrm-section12-1 "generic body 12.1") (lrm-section5-5 "loop name 5.5") (lrm-section5-5 "loop statement 5.5") (lrm-section7-1 "package body 7.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section3-5-3 "true boolean value 3.5.3")))) (section (name lrm-section5-8) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.8: Return Statements") (shortlabel "Section 5.8: Return Statements") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-annex-a "attribute A") (lrm-section5-6 "block statement 5.6") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section4-4 "expression 4.4") (lrm-section6-3 "function body 6.3") (lrm-section6-4 "function call 6.4") (lrm-section12-1 "generic body 12.1") (lrm-section4-6 "implicit type conversion 4.6") (lrm-section3-2 "named number 3.2") (lrm-section2-4 "numeric literal 2.4") (lrm-section7-1 "package body 7.1") (lrm-section6-3 "procedure body 6.3") (lrm-section2-9 "reserved word 2.9") (lrm-section6-1 "result subtype 6.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3 "subtype 3.3") (lrm-section9-1 "task body 9.1") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (section (name lrm-section5-9) (parent (lrm-chapter-5)) (documentname lrm) (longlabel "Section 5.9: Goto Statements") (shortlabel "Section 5.9: Goto Statements") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section5-6 "block statement 5.6") (lrm-section5-4 "case statement 5.4") (lrm-section5-1 "compound statement 5.1") (lrm-section11-2 "exception handler 11.2") (lrm-section11-2 "frame 11.2") (lrm-section12-1 "generic body 12.1") (lrm-section5-3 "if statement 5.3") (lrm-section5-1 "label 5.1") (lrm-section7-1 "package body 7.1") (lrm-chapter-6 "program unit 6") (lrm-section9-7 "select statement 9.7") (lrm-section5-1 "sequence of statements 5.1") (lrm-section5-1 "statement 5.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section9-1 "task body 9.1") (lrm-section5-1 "transfer of control 5.1")))) (chapter (name lrm-chapter-6) (parent (lrm)) (documentname lrm) (longlabel "Chapter 6: Subprograms") (shortlabel "Chapter 6: Subprograms") (children ( lrm-section6-1 lrm-section6-2 lrm-section6-3 lrm-section6-4 lrm-section6-5 lrm-section6-6 lrm-section6-7 )) (xrefs ( (lrm-section6-5 "function 6.5") (lrm-section6-4 "function call 6.4") (lrm-chapter-12 "generic unit 12") (lrm-chapter-7 "package 7") (lrm-section6-1 "procedure 6.1") (lrm-section6-4 "procedure call 6.4") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4") (lrm-section6-1 "subprogram declaration 6.1") (lrm-chapter-9 "task unit 9")))) (section (name lrm-section6-1) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.1: Subprogram Declarations") (shortlabel "Section 6.1: Subprogram Declarations") (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "elaboration 3.9") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-2 "formal parameter 6.2") (lrm-section6-5 "function 6.5") (lrm-section2-3 "identifier 2.3") (lrm-section3-2 "identifier list 3.2") (lrm-section6-2 "mode 6.2") (lrm-section4-1 "name 4.1") (lrm-section3-9 "elaboration has no other effect 3.9") (lrm-section4-5 "operator 4.5") (lrm-section8-7 "overloading 6.6 8.7") (lrm-chapter-6 "procedure 6") (lrm-section2-6 "string literal 2.6") (lrm-section6-4 "subprogram call 6.4") (lrm-section3-3-2 "type mark 3.3.2")))) (section (name lrm-section6-2) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.2: Formal Parameter Modes") (shortlabel "Section 6.2: Formal Parameter Modes") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section3-6 "array type 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section3-6-1 "bound of an array 3.6.1") (lrm-section3-3 "constraint 3.3") (lrm-section3-7-1 "depend on a discriminant 3.7.1") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section9-5 "entry call statement 9.5") (lrm-section1-6 "erroneous 1.6") (lrm-section4-5 "evaluation 4.5") (lrm-chapter-11 "exception 11") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section8-1 "global 8.1") (lrm-section6-1 "mode 6.1") (lrm-section3-8 "null access value 3.8") (lrm-section3-2 "object 3.2") (lrm-section6-1 "parameter specification 6.1") (lrm-section7-4 "private type 7.4") (lrm-section3-7 "record type 3.7") (lrm-section3-5 "scalar type 3.5") (lrm-section3-3 "subcomponent 3.3") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call statement 6.4") (lrm-chapter-9 "task 9") (lrm-section9-2 "task type 9.2") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section3-7-1 "unconstrained type with discriminants 3.7.1") (lrm-section3-2-1 "unconstrained variable 3.2.1") (lrm-section3-2-1 "variable 3.2.1")))) (section (name lrm-section6-3) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.3: Subprogram Bodies") (shortlabel "Section 6.3: Subprogram Bodies") (children (lrm-section6-3-1 lrm-section6-3-2 )) (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section10-2 "body stub 10.2") (lrm-section6-3-1 "conform 6.3.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative part 3.9") (lrm-section8-1 "declarative region 8.1") (lrm-section6-1 "designator 6.1") (lrm-section3-9 "elaboration 3.9") (lrm-section3-1 "elaboration has no other effect 3.1") (lrm-chapter-11 "exception 11") (lrm-section11-2 "exception handler 11.2") (lrm-section6-1 "formal parameter 6.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-chapter-7 "package 7") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-4 "subprogram call 6.4") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section6-1 "subprogram specification 6.1") (lrm-section8-3 "visibility 8.3") (lrm-section7-2 "visible part 7.2")))) (subsection (name lrm-section6-3-1) (parent lrm-section6-3) (documentname lrm) (longlabel "Section 6.3.1: Conformance Rules") (shortlabel "Section 6.3.1: Conformance Rules") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4 6.4.1") (lrm-section1-6 "allow 1.6") (lrm-section2-7 "comment 2.7") (lrm-section3-1 "declaration 3.1") (lrm-section7-4-3 "deferred constant 7.4.3") (lrm-section8-3 "direct visibility 8.3") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section6-1 "formal part 6.1") (lrm-chapter-2 "lexical element 2") (lrm-section4-1 "name 4.1") (lrm-section2-4 "numeric literal 2.4") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section4-1 "prefix 4.1") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-1-3 "selector 4.1.3") (lrm-section4-1 "simple name 4.1") (lrm-section6-1 "subprogram specification 6.1") (lrm-section4-6 "type conversion 4.6") (lrm-section8-3 "visibility 8.3")))) (subsection (name lrm-section6-3-2) (parent lrm-section6-3) (documentname lrm) (longlabel "Section 6.3.2: Inline Expansion of Subprograms") (shortlabel "Section 6.3.2: Inline Expansion of Subprograms") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section10-1 "compilation 10.1") (lrm-section10-1 "compilation unit 10.1") (lrm-section3-9 "declarative item 3.9") (lrm-section3-9 "declarative part 3.9") (lrm-section12-1 "generic subprogram 12.1") (lrm-section12-1 "generic unit 12 12.1") (lrm-section12-3 "instantiation 12.3") (lrm-section10-1 "library unit 10.1") (lrm-section4-1 "name 4.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section7-1 "package specification 7.1") (lrm-section2-8 "pragma 2.8") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4")))) (section (name lrm-section6-4) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.4: Subprogram Calls") (shortlabel "Section 6.4: Subprogram Calls") (children (lrm-section6-4-1 lrm-section6-4-2 )) (xrefs ( (lrm-section6-1 "default expression for a formal parameter 6.1") (lrm-section1-6 "erroneous 1.6") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-1 "formal part 6.1") (lrm-section4-1 "name 4.1") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section6-4-1) (parent lrm-section6-4) (documentname lrm) (longlabel "Section 6.4.1: Parameter Associations") (shortlabel "Section 6.4.1: Parameter Associations") (xrefs ( (lrm-section6-4 "actual parameter 6.4") (lrm-section3-6 "array bound 3.6") (lrm-section3-6 "array type 3.6") (lrm-section6-4 "call of a subprogram 6.4") (lrm-section6-3-1 "conform 6.3.1") (lrm-section3-3 "constrained subtype 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section1-6 "erroneous 1.6") (lrm-section4-5 "evaluation 4.5") (lrm-section4-1 "evaluation of a name 4.1") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-1 "mode 6.1") (lrm-section4-1 "name 4.1") (lrm-section6-4 "parameter association 6.4") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section4-6 "type conversion 4.6") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section3-7-1 "unconstrained type with discriminants 3.7.1") (lrm-section3-2-1 "undefined value 3.2.1") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section6-4-2) (parent lrm-section6-4) (documentname lrm) (longlabel "Section 6.4.2: Default Parameters") (shortlabel "Section 6.4.2: Default Parameters") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section6-1 "default expression for a formal parameter 6.1") (lrm-section4-5 "evaluation 4.5") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-1 "mode 6.1") (lrm-section6-4 "named parameter association 6.4") (lrm-section6-4 "parameter association 6.4") (lrm-section6-1 "parameter specification 6.1") (lrm-section6-4 "positional parameter association 6.4") (lrm-section6-4 "subprogram call 6.4")))) (section (name lrm-section6-5) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.5: Function Subprograms") (shortlabel "Section 6.5: Function Subprograms") (xrefs ( (lrm-chapter-11 "exception 11") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-1 "function 6.1") (lrm-section6-3 "function body 6.3") (lrm-section6-4 "function call 6.4") (lrm-section6-1 "function specification 6.1") (lrm-section6-1 "mode 6.1") (lrm-section11-1 "program_error exception 11.1") (lrm-chapter-11 "raising of exceptions 11") (lrm-section5-8 "return statement 5.8") (lrm-chapter-5"statement 5")))) (section (name lrm-section6-6) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.6: Parameter and Result Type Profile - Overloading of Subprograms") (shortlabel "Section 6.6: Parameter and Result Type Profile - Overloading of Subprograms") (xrefs ( (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-3 "aggregate 4.3") (lrm-section3-3 "base type 3.3") (lrm-section6-1 "default expression for a formal parameter 6.1") (lrm-section9-5 "entry 9.5") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-5 "function 6.5") (lrm-section6-4 "function call 6.4") (lrm-section8-3 "hiding 8.3") (lrm-section2-3 "identifier 2.3") (lrm-section1-6 "illegal 1.6") (lrm-section4-2 "literal 4.2") (lrm-section6-1 "mode 6.1") (lrm-section6-4 "named parameter association 6.4") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 8.7") (lrm-chapter-7 "package 7") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section4-7 "qualified expression 4.7") (lrm-section8-5 "renaming declaration 8.5") (lrm-section6-1 "result subtype 6.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3")))) (section (name lrm-section6-7) (parent (lrm-chapter-6)) (documentname lrm) (longlabel "Section 6.7: Overloading of Operators") (shortlabel "Section 6.7: Overloading of Operators") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-5-3 "binary adding operator 4.5 4.5.3") (lrm-section3-5-3 "boolean predefined type 3.5.3") (lrm-section2-1 "character 2.1") (lrm-section4-5-2 "complementary result 4.5.2") (lrm-section3-1 "declaration 3.1") (lrm-section6-1 "default expression for a formal parameter 6.1") (lrm-section6-1 "designator 6.1") (lrm-section8-3 "directly visible 8.3") (lrm-section4-5 "equality operator 4.5") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-1 "function declaration 6.1") (lrm-section4-5-6 "highest precedence operator 4.5 4.5.6") (lrm-section3-1 "implicit declaration 3.1") (lrm-section4-5-2 "inequality operator 4.5.2") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-5-1 "logical operator 4.5 4.5.1") (lrm-section4-5-2 "membership test 4.5 4.5.2") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section4-5 "operator 4.5") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section4-5-2 "relational operator 4.5 4.5.2") (lrm-section4-5-1 "short-circuit control form 4.5 4.5.1") (lrm-section3-3-1 "type definition 3.3.1") (lrm-section4-5-4 "unary adding operator 4.5 4.5.4") (lrm-section8-3 "visible by selection 8.3")))) (chapter (name lrm-chapter-7) (parent (lrm)) (documentname lrm) (longlabel "Chapter 7: Packages") (shortlabel "Chapter 7: Packages") (children ( lrm-section7-1 lrm-section7-2 lrm-section7-3 lrm-section7-4 lrm-section7-5 lrm-section7-6 )) (xrefs ( (lrm-chapter-12 "generic unit 12") (lrm-chapter-6 "program unit 6") (lrm-chapter-6 "subprogram 6") (lrm-chapter-9 "task unit 9") (lrm-section3-3-1 "type declaration 3.3.1")))) (section (name lrm-section7-1) (parent (lrm-chapter-7)) (documentname lrm) (longlabel "Section 7.1: Package Structure") (shortlabel "Section 7.1: Package Structure") (xrefs ( (lrm-section3-9 "basic declarative item 3.9") (lrm-section10-2 "body stub 10.2") (lrm-section3-9 "declarative item 3.9") (lrm-section3-9 "declarative part 3.9") (lrm-section11-2 "exception handler 11.2") (lrm-section12-2 "generic body 12.2") (lrm-section12-1 "generic declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section10-1 "library unit 10.1") (lrm-section3-2 "object 3.2") (lrm-section7-3 "package body 7.3") (lrm-chapter-6 "program unit 6") (lrm-section3-9 "proper body 3.9") (lrm-section5-1 "sequence of statements 5.1") (lrm-section4-1 "simple name 4.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section10-2 "subunit 10.2") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task declaration 9.1") (lrm-section3-3 "type 3.3")))) (section (name lrm-section7-2) (parent (lrm-chapter-7)) (documentname lrm) (longlabel "Section 7.2: Package Specifications and Declarations") (shortlabel "Section 7.2: Package Specifications and Declarations") (xrefs ( (lrm-section3-9 "basic declarative item 3.9") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-9 "declarative item 3.9") (lrm-section8-3 "direct visibility 8.3") (lrm-section3-9 "elaboration 3.9") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section4-1 "name 4.1") (lrm-section3-2-2 "number declaration 3.2.2") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-chapter-7 "package 7") (lrm-section7-1 "package declaration 7.1") (lrm-section7-1 "package identifier 7.1") (lrm-section7-1 "package specification 7.1") (lrm-section8-2 "scope 8.2") (lrm-section4-1 "simple name 4.1") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section8-4 "use clause 8.4") (lrm-section3-2-1 "variable 3.2.1")))) (section (name lrm-section7-3) (parent (lrm-chapter-7)) (documentname lrm) (longlabel "Section 7.3: Package Bodies") (shortlabel "Section 7.3: Package Bodies") (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative part 3.9") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-chapter-11 "exception 11") (lrm-section11-2 "exception handler 11.2") (lrm-section4-1 "name 4.1") (lrm-section7-1 "package specification 7.1") (lrm-chapter-6 "program unit 6") (lrm-section11-1 "program_error exception 11.1") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-6 "subprogram 6") (lrm-section3-2-1 "variable 3.2.1") (lrm-section7-2 "visible part 7.2")))) (section (name lrm-section7-4) (parent (lrm-chapter-7)) (documentname lrm) (longlabel "Section 7.4: Private Type and Deferred Constant Declarations") (shortlabel "Section 7.4: Private Type and Deferred Constant Declarations") (children (lrm-section7-4-1 lrm-section7-4-2 lrm-section7-4-3 lrm-section7-4-4 )) (xrefs ( (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative item 3.9") (lrm-section7-4-3 "deferred constant 7.4.3") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section12-1 "generic formal part 12.1") (lrm-section12-1 "generic formal type 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section3-2 "identifier list 3.2") (lrm-section7-4-4 "limited type 7.4.4") (lrm-chapter-7 "package 7") (lrm-section7-4-1 "private type 7.4.1") (lrm-chapter-6 "program unit 6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section7-2 "visible part 7.2")))) (subsection (name lrm-section7-4-1) (parent lrm-section7-4) (documentname lrm) (longlabel "Section 7.4.1: Private Types") (shortlabel "Section 7.4.1: Private Types") (xrefs ( (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array type 3.6") (lrm-section6-3-1 "conform 6.3.1") (lrm-section3-9 "declarative item 3.9") (lrm-section7-4-3 "deferred constant declaration 7.4.3") (lrm-section3-4 "derived type 3.4") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry declaration 9.5") (lrm-section4-4 "expression 4.4") (lrm-section3-3-1 "full type declaration 3.3.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section2-3 "identifier 2.3") (lrm-section3-8-1 "incomplete type declaration 3.8.1") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section4-1 "name 4.1") (lrm-section3-3 "operation 3.3") (lrm-chapter-7 "package 7") (lrm-section7-1 "package specification 7.1") (lrm-section7-2 "private part 7.2") (lrm-section7-4 "private type 7.4") (lrm-section7-4 "private type declaration 7.4") (lrm-section3-7 "record type definition 3.7") (lrm-section13-1 "representation clause 13.1") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "subcomponent 3.3") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-3-1 "type definition 3.3.1") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section3-2-1 "variable 3.2.1") (lrm-section7-2 "visible part 7.2")))) (subsection (name lrm-section7-4-2) (parent lrm-section7-4) (documentname lrm) (longlabel "Section 7.4.2: Operations of a Private Type") (shortlabel "Section 7.4.2: Operations of a Private Type") (xrefs ( (lrm-section5-2 "assignment 5.2") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section3-3 "component 3.3") (lrm-section3-3 "composite type 3.3") (lrm-section4-6 "conversion 4.6") (lrm-section3-1 "declaration 3.1") (lrm-section8-1 "declarative region 8.1") (lrm-section3-4 "derived subprogram 3.4") (lrm-section3-4 "derived type 3.4") (lrm-section3-6 "dimension 3.6") (lrm-section3-3 "discriminant 3.3") (lrm-section4-5-2 "equality 4.5.2") (lrm-section7-4-1 "full type 7.4.1") (lrm-section3-3-1 "full type declaration 3.3.1") (lrm-section8-3 "hiding 8.3") (lrm-section8-2 "immediate scope 8.2") (lrm-section3-1 "implicit declaration 3.1") (lrm-section3-8-1 "incomplete type declaration 3.8.1") (lrm-section4-5 "membership test 4.5") (lrm-section3-3 "operation 3.3") (lrm-chapter-7 "package 7") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section8-6 "predefined function 8.6") (lrm-section4-5 "predefined operator 4.5") (lrm-section7-4 "private type 7.4") (lrm-section7-4 "private type declaration 7.4") (lrm-chapter-6 "program unit 6") (lrm-section4-7 "qualification 4.7") (lrm-section4-5 "relational operator 4.5") (lrm-section4-1-3 "selected component 4.1.3") (lrm-chapter-6 "subprogram 6") (lrm-section9-4 "task dependence 9.4") (lrm-section7-2 "visible part 7.2")))) (subsection (name lrm-section7-4-3) (parent lrm-section7-4) (documentname lrm) (longlabel "Section 7.4.3: Deferred Constants") (shortlabel "Section 7.4.3: Deferred Constants") (xrefs ( (lrm-section6-3-1 "conform 6.3.1") (lrm-section3-2-1 "constant declaration 3.2.1") (lrm-section3-9 "declarative item 3.9") (lrm-section3-7-1 "default expression for a discriminant 3.7.1") (lrm-section7-4 "deferred constant 7.4") (lrm-section7-4 "deferred constant declaration 7.4") (lrm-section3-1 "elaboration has no other effect 3.1") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-3 "generic formal parameter 12.1 12.3") (lrm-section2-3 "identifier 2.3") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-chapter-7 "package 7") (lrm-section7-1 "package specification 7.1") (lrm-section7-2 "private part 7.2") (lrm-section3-7 "record component 3.7") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section7-2 "visible part 7.2")))) (subsection (name lrm-section7-4-4) (parent lrm-section7-4) (documentname lrm) (longlabel "Section 7.4.4: Limited Types") (shortlabel "Section 7.4.4: Limited Types") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section4-8 "allocator 4.8") (lrm-section5-2 "assignment 5.2") (lrm-section4-5 "catenation operator 4.5") (lrm-section3-7 "component declaration 3.7") (lrm-section3-3 "component type 3.3") (lrm-section3-3 "composite type 3.3") (lrm-section3-7 "default expression for a discriminant 3.7") (lrm-section7-4-3 "deferred constant 7.4.3") (lrm-section3-4 "derived type 3.4") (lrm-section3-8 "designate 3.8") (lrm-section3-7-1 "discriminant specification 3.7.1") (lrm-section4-5-2 "equality 4.5.2") (lrm-section6-1 "formal parameter 6.1") (lrm-section7-4-1 "full type 7.4.1") (lrm-section3-3-1 "full type declaration 3.3.1") (lrm-section12-3 "generic formal parameter 12.1 12.3") (lrm-section3-1 "implicit declaration 3.1") (lrm-section3-2-1 "initial value 3.2.1") (lrm-section12-1-1 "mode 12.1.1") (lrm-section3-2 "object 3.2") (lrm-section3-3 "operation 3.3") (lrm-chapter-7 "package 7") (lrm-section4-5 "predefined operator 4.5") (lrm-section7-4 "private type 7.4") (lrm-section7-4 "private type declaration 7.4") (lrm-section3-7 "record component 3.7") (lrm-section3-7 "record type 3.7") (lrm-section4-5 "relational operator 4.5") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section9-2 "task type 9.1 9.2") (lrm-section3-3 "type 3.3")))) (section (name lrm-section7-5) (parent (lrm-chapter-7)) (documentname lrm) (longlabel "Section 7.5: Example of a Table Management Package") (shortlabel "Section 7.5: Example of a Table Management Package")) (section (name lrm-section7-6) (parent (lrm-chapter-7)) (documentname lrm) (longlabel "Section 7.6: Example of a Text Handling Package") (shortlabel "Section 7.6: Example of a Text Handling Package")) (chapter (name lrm-chapter-8) (parent (lrm)) (documentname lrm) (longlabel "Chapter 8: Visibility Rules") (shortlabel "Chapter 8: Visibility Rules") (children ( lrm-section8-1 lrm-section8-2 lrm-section8-3 lrm-section8-4 lrm-section8-5 lrm-section8-6 lrm-section8-7 )) (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section8-1 "declarative region 8.1") (lrm-section2-3 "identifier 2.3") (lrm-section8-2 "scope 8.2") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section8-1) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.1: Declarative Region") (shortlabel "Section 8.1: Declarative Region") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section3-1 "basic declaration 3.1") (lrm-section5-6 "block statement 5.6") (lrm-section10-2 "body stub 10.2") (lrm-section3-1 "declaration 3.1") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section3-7-1 "discriminant specification 3.7.1") (lrm-section9-5 "entry declaration 9.5") (lrm-section6-1 "formal part 6.1") (lrm-section12-2 "generic body 12.2") (lrm-section12-1 "generic declaration 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section3-1 "implicit declaration 3.1") (lrm-section3-8-1 "incomplete type declaration 3.8.1") (lrm-section10-1 "library unit 10.1") (lrm-section5-5 "loop statement 5.5") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package declaration 7.1") (lrm-section6-1 "parameter specification 6.1") (lrm-section7-4 "private type declaration 7.4") (lrm-section13-4 "record representation clause 13.4") (lrm-section3-7 "record type 3.7") (lrm-section8-5 "renaming declaration 8.5") (lrm-section8-6 "standard package 8.6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section10-2 "subunit 10.2") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task declaration 9.1") (lrm-chapter-9 "task unit 9")))) (section (name lrm-section8-2) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.2: Scope of Declarations") (shortlabel "Section 8.2: Scope of Declarations") (xrefs ( (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section10-2 "body stub 10.2") (lrm-section2-5 "character literal 2.5") (lrm-section3-7 "component declaration 3.7") (lrm-section3-1 "declaration 3.1") (lrm-section8-1 "declarative region 8.1") (lrm-section3-7-1 "discriminant specification 3.7.1") (lrm-section9-5 "entry declaration 9.5") (lrm-section8-1 "extends 8.1") (lrm-section12-1 "generic declaration 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section3-1 "implicit declaration 3.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section7-1 "package declaration 7.1") (lrm-section7-1 "package specification 7.1") (lrm-section6-1 "parameter specification 6.1") (lrm-section3-7 "record type 3.7") (lrm-section8-5 "renaming declaration 8.5") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section9-1 "task declaration 9.1") (lrm-chapter-9 "task unit 9") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section8-4 "use clause 8.4") (lrm-section8-3 "visibility 8.3") (lrm-section7-2 "visible part 7.2")))) (section (name lrm-section8-3) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.3: Visibility") (shortlabel "Section 8.3: Visibility") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section4-3 "aggregate 4.3") (lrm-section4-1 "appropriate for a type 4.1") (lrm-section2-8 "argument 2.8") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section2-5 "character literal 2.5") (lrm-section4-3 "component association 4.3") (lrm-section3-7 "component declaration 3.7") (lrm-section2-2 "compound delimiter 2.2") (lrm-section3-1 "declaration 3.1") (lrm-section8-1 "declarative region 8.1") (lrm-section3-8 "designate 3.8") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-7-1 "discriminant specification 3.7.1") (lrm-section9-5 "entry call 9.5") (lrm-section9-5 "entry declaration 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section3-5-1 "enumeration literal specification 3.5.1") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section8-1 "extends 8.1") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-3 "generic association 12.3") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic package 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-chapter-12 "generic unit 12") (lrm-section2-3 "identifier 2.3") (lrm-section8-2 "immediate scope 8.2") (lrm-section3-1 "implicit declaration 3.1") (lrm-section2-2 "lexical element 2.2") (lrm-section10-1 "library unit 10.1") (lrm-section3-2 "object 3.2") (lrm-section8-1 "occur immediately within 8.1") (lrm-section4-5 "operator 4.5") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-chapter-7 "package 7") (lrm-section6-2 "parameter 6.2") (lrm-section6-4 "parameter association 6.4") (lrm-section6-1 "parameter specification 6.1") (lrm-section2-8 "pragma 2.8") (lrm-chapter-6 "program unit 6") (lrm-section3-7 "record type 3.7") (lrm-section2-9 "reserved word 2.9") (lrm-section8-2 "scope 8.2") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-1-3 "selector 4.1.3") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-4 "subprogram call 6.4") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section6-1 "subprogram specification 6.1") (lrm-section9-1 "task type 9.1") (lrm-chapter-9 "task unit 9") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section8-4 "use clause 8.4") (lrm-section7-2 "visible part 7.2")))) (section (name lrm-section8-4) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.4: Use Clauses") (shortlabel "Section 8.4: Use Clauses") (xrefs ( (lrm-section10-1 "compilation unit 10.1") (lrm-section10-1 "context clause 10.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative item 3.9") (lrm-section8-1 "declarative region 8.1") (lrm-section8-3 "direct visibility 8.3") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section3-1 "elaboration has no other effect 3.1") (lrm-section3-5-1 "enumeration literal specification 3.5.1") (lrm-section8-1 "extends 8.1") (lrm-section8-3 "hiding 8.3") (lrm-section8-3 "homograph 8.3") (lrm-section2-3 "identifier 2.3") (lrm-section8-2 "immediate scope 8.2") (lrm-section4-1 "name 4.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-chapter-7 "package 7") (lrm-section8-2 "scope 8.2") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section7-2 "visible part 7.2")))) (section (name lrm-section8-5) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.5: Renaming Declarations") (shortlabel "Section 8.5: Renaming Declarations") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section9-7-2 "conditional entry call 9.7.2") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-3 "constrained subtype 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section6-1 "default expression 6.1") (lrm-section3-7-1 "depend on a discriminant 3.7.1") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry call 9.5") (lrm-section9-5 "entry call statement 9.5") (lrm-section9-5 "entry declaration 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section4-1 "evaluation of a name 4.1") (lrm-chapter-11 "exception 11") (lrm-section6-1 "formal parameter 6.1") (lrm-section6-5 "function 6.5") (lrm-section2-3 "identifier 2.3") (lrm-section1-6 "legal 1.6") (lrm-section6-1 "mode 6.1") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section3-2 "object declaration 3.2") (lrm-section6-7 "operator 6.7") (lrm-section6-7 "operator declaration 6.7") (lrm-section6-1 "operator symbol 6.1") (lrm-chapter-7 "package 7") (lrm-section6-2 "parameter 6.2") (lrm-section6-1 "parameter specification 6.1") (lrm-section6-1 "procedure 6.1") (lrm-section6-4 "procedure call statement 6.4") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section6-4 "subprogram call 6.4") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3-2 "subtype 3.3.2") (lrm-section9-2 "task object 9.2") (lrm-section9-7-3 "timed entry call 9.7.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-2-1 "variable 3.2.1") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section8-6) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.6: The Package Standard") (shortlabel "Section 8.6: The Package Standard") (xrefs ( (lrm-section10-1-1 "applicable with clause 10.1.1") (lrm-section5-6 "block name 5.6") (lrm-section5-6 "block statement 5.6") (lrm-section3-1 "declaration 3.1") (lrm-section8-1 "declarative region 8.1") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section8-3 "hiding 8.3") (lrm-section2-3 "identifier 2.3") (lrm-section3-1 "implicit declaration 3.1") (lrm-section10-1 "library unit 10.1") (lrm-section5-5 "loop statement 5.5") (lrm-section10-1 "main program 10.1") (lrm-section1-6 "must 1.6") (lrm-section4-1 "name 4.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-section6-7 "operator 6.7") (lrm-chapter-7 "package 7") (lrm-chapter-6 "program unit 6") (lrm-section10-1 "secondary unit 10.1") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type 3.3") (lrm-section8-3 "visibility 8.3") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section8-7) (parent (lrm-chapter-8)) (documentname lrm) (longlabel "Section 8.7: The Context of Overload Resolution") (shortlabel "Section 8.7: The Context of Overload Resolution") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section4-8 "allocator 4.8") (lrm-section4-4 "membership test 4.4") (lrm-section4-2 "null literal 4.2") (lrm-section2-4 "numeric literal 2.4") (lrm-section4-4 "short-circuit control form 4.4") (lrm-section4-2 "string literal 4.2")))) (chapter (name lrm-chapter-9) (parent (lrm)) (documentname lrm) (longlabel "Chapter 9: Tasks") (shortlabel "Chapter 9: Tasks") (children ( lrm-section9-1 lrm-section9-2 lrm-section9-3 lrm-section9-4 lrm-section9-5 lrm-section9-6 lrm-section9-7 lrm-section9-8 lrm-section9-9 lrm-section9-10 lrm-section9-11 lrm-section9-12 )) (xrefs ( (lrm-section9-10 "abort statement 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section9-6 "delay statement 9.6") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry call statement 9.5") (lrm-chapter-12 "generic unit 12") (lrm-chapter-7 "package 7") (lrm-section9-5 "parameter in an entry call 9.5") (lrm-chapter-6 "program unit 6") (lrm-section9-5 "rendezvous 9.5") (lrm-section9-7 "select statement 9.7") (lrm-chapter-6 "subprogram 6") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task specification 9.1")))) (section (name lrm-section9-1) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.1: Task Specifications and Task Bodies") (shortlabel "Section 9.1: Task Specifications and Task Bodies") (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative part 3.9") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry declaration 9.5") (lrm-section11-2 "exception handler 11.2") (lrm-section2-3 "identifier 2.3") (lrm-section10-1 "main program 10.1") (lrm-section3-2 "object 3.2") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-section13-1 "representation clause 13.1") (lrm-section2-9 "reserved word 2.9") (lrm-section5-1 "sequence of statements 5.1") (lrm-section4-1 "simple name 4.1") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1")))) (section (name lrm-section9-2) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.2: Task Types and Task Objects") (shortlabel "Section 9.2: Task Types and Task Objects") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section6-4-1 "actual parameter 6.4.1") (lrm-section4-8 "allocator 4.8") (lrm-section5-2 "assignment 5.2") (lrm-section3-7 "component declaration 3.7") (lrm-section3-3 "composite type 3.3") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-2-1 "constant declaration 3.2.1") (lrm-section3-3 "constraint 3.3") (lrm-section9-1 "designate 3.8 9.1") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry 9.5") (lrm-section4-5-2 "equality operator 4.5.2") (lrm-section6-2 "formal parameter 6.2") (lrm-section6-2 "formal parameter mode 6.2") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-3 "generic association 12.3") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section12-1-1 "generic formal parameter mode 12.1.1") (lrm-chapter-12 "generic unit 12") (lrm-section4-5-2 "inequality operator 4.5.2") (lrm-section3-2-1 "initialization 3.2.1") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section3-2 "object 3.2") (lrm-section3-2-1 "object declaration 3.2.1") (lrm-section6-4 "parameter association 6.4") (lrm-section7-2 "private part 7.2") (lrm-section7-4 "private type 7.4") (lrm-section2-9 "reserved word 2.9") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section9-1 "task body 9.1") (lrm-section3-3 "type 3.3")))) (section (name lrm-section9-3) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.3: Task Execution - Task Activation") (shortlabel "Section 9.3: Task Execution - Task Activation") (xrefs ( (lrm-section4-8 "allocator 4.8") (lrm-section9-4 "completed task 9.4") (lrm-section3-9 "declarative part 3.9") (lrm-section3-9 "elaboration 3.9") (lrm-section9-5 "entry 9.5") (lrm-chapter-11 "exception 11") (lrm-section11-4 "handling an exception 11.4") (lrm-section7-1 "package body 7.1") (lrm-chapter-9 "parallel execution 9") (lrm-chapter-5"statement 5") (lrm-section3-3 "subcomponent 3.3") (lrm-section9-1 "task body 9.1") (lrm-section9-2 "task object 9.2") (lrm-section9-4 "task termination 9.4") (lrm-section9-1 "task type 9.1") (lrm-section11-1 "tasking_error exception 11.1")))) (section (name lrm-section9-4) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.4: Task Dependence - Termination of Tasks") (shortlabel "Section 9.4: Task Dependence - Termination of Tasks") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section4-8 "allocator 4.8") (lrm-section5-6 "block statement 5.6") (lrm-section3-1 "declaration 3.1") (lrm-section9-1 "designate 3.8 9.1") (lrm-chapter-11 "exception 11") (lrm-section11-2 "exception handler 11.2") (lrm-section5-7 "exit statement 5.7") (lrm-section6-5 "function 6.5") (lrm-section5-9 "goto statement 5.9") (lrm-section10-1 "library unit 10.1") (lrm-section10-1 "main program 10.1") (lrm-section3-2 "object 3.2") (lrm-section9-7-1 "open alternative 9.7.1") (lrm-chapter-7 "package 7") (lrm-chapter-6 "program unit 6") (lrm-section8-5 "renaming declaration 8.5") (lrm-section5-8 "return statement 5.8") (lrm-section9-7-1 "selective wait 9.7.1") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-5"statement 5") (lrm-section3-3 "subcomponent 3.3") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4") (lrm-section9-1 "task body 9.1") (lrm-section9-2 "task object 9.2") (lrm-section9-7-1 "terminate alternative 9.7.1")))) (section (name lrm-section9-5) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.5: Entries, Entry Calls, and Accept Statements") (shortlabel "Section 9.5: Entries, Entry Calls, and Accept Statements") (xrefs ( (lrm-section9-10 "abnormal task 9.10") (lrm-section6-4 "actual parameter part 6.4") (lrm-section9-4 "completed task 9.4") (lrm-section9-7-2 "conditional entry call 9.7.2") (lrm-section6-3-1 "conformance rules 6.3.1") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section9-1 "designate 9.1") (lrm-section3-6-1 "discrete range 3.6.1") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal part 6.1") (lrm-section2-3 "identifier 2.3") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section8-7 "overloading 6.6 8.7") (lrm-chapter-9 "parallel execution 9") (lrm-section4-1 "prefix 4.1") (lrm-chapter-6 "procedure 6") (lrm-section6-4 "procedure call 6.4") (lrm-section8-5 "renaming declaration 8.5") (lrm-section5-8 "return statement 5.8") (lrm-section8-2 "scope 8.2") (lrm-section4-1-3 "selected component 4.1.3") (lrm-section4-1-3 "selector 4.1.3") (lrm-section5-1 "sequence of statements 5.1") (lrm-section4-4 "simple expression 4.4") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task specification 9.1") (lrm-section11-1 "tasking_error exception 11.1") (lrm-section9-7-3 "timed entry call 9.7.3")))) (section (name lrm-section9-6) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.6: Delay Statements, Duration, and Time") (shortlabel "Section 9.6: Delay Statements, Duration, and Time") (xrefs ( (lrm-section4-5 "adding operator 4.5") (lrm-annex-c "duration C") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section6-4 "function call 6.4") (lrm-section10-1 "library unit 10.1") (lrm-section4-5 "operator 4.5") (lrm-chapter-7 "package 7") (lrm-section7-4 "private type 7.4") (lrm-section4-5 "relational operator 4.5") (lrm-section4-4 "simple expression 4.4") (lrm-chapter-5"statement 5") (lrm-chapter-9 "task 9") (lrm-section3-3 "type 3.3")))) (section (name lrm-section9-7) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.7: Select Statements") (shortlabel "Section 9.7: Select Statements") (children (lrm-section9-7-1 lrm-section9-7-2 lrm-section9-7-3 )) (xrefs ( (lrm-section9-7-1 "selective wait 9.7.1") (lrm-section9-7-2 "conditional entry call 9.7.2") (lrm-section9-7-3 "timed entry call 9.7.3")))) (subsection (name lrm-section9-7-1) (parent lrm-section9-7) (documentname lrm) (longlabel "Section 9.7.1: Selective Waits") (shortlabel "Section 9.7.1: Selective Waits") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section5-3 "condition 5.3") (lrm-section3-1 "declaration 3.1") (lrm-section9-6 "delay expression 9.6") (lrm-section9-6 "delay statement 9.6") (lrm-section9-6 "duration 9.6") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry call 9.5") (lrm-section9-5 "entry index 9.5") (lrm-section11-1 "program_error exception 11.1") (lrm-section9-5 "queued entry call 9.5") (lrm-section9-5 "rendezvous 9.5") (lrm-section9-7 "select statement 9.7") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-9 "task 9")))) (subsection (name lrm-section9-7-2) (parent lrm-section9-7) (documentname lrm) (longlabel "Section 9.7.2: Conditional Entry Calls") (shortlabel "Section 9.7.2: Conditional Entry Calls") (xrefs ( (lrm-section9-10 "abnormal task 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section6-4 "actual parameter part 6.4") (lrm-section9-4 "completed task 9.4") (lrm-section9-5 "entry call statement 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section9-5 "entry index 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section9-7-1 "open alternative 9.7.1") (lrm-section9-5 "queued entry call 9.5") (lrm-section9-5 "rendezvous 9.5") (lrm-section9-7 "select statement 9.7") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-9 "task 9") (lrm-section11-1 "tasking_error exception 11.1")))) (subsection (name lrm-section9-7-3) (parent lrm-section9-7) (documentname lrm) (longlabel "Section 9.7.3: Timed Entry Calls") (shortlabel "Section 9.7.3: Timed Entry Calls") (xrefs ( (lrm-section9-10 "abnormal task 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section6-4 "actual parameter part 6.4") (lrm-section9-4 "completed task 9.4") (lrm-section9-7-2 "conditional entry call 9.7.2") (lrm-section9-6 "delay expression 9.6") (lrm-section9-6 "delay statement 9.6") (lrm-section9-6 "duration 9.6") (lrm-section9-5 "entry call statement 9.5") (lrm-section9-5 "entry family 9.5") (lrm-section9-5 "entry index 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section9-5 "rendezvous 9.5") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-9 "task 9") (lrm-section11-1 "tasking_error exception 11.1")))) (section (name lrm-section9-8) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.8: Priorities") (shortlabel "Section 9.8: Priorities") (xrefs ( (lrm-section3-9 "declarative part 3.9") (lrm-section9-5 "entry call statement 9.5") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section10-1 "main program 10.1") (lrm-section13-7 "package system 13.7") (lrm-section2-8 "pragma 2.8") (lrm-section9-5 "rendezvous 9.5") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "subtype 3.3") (lrm-chapter-9 "task 9") (lrm-section9-1 "task specification 9.1")))) (section (name lrm-section9-9) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.9: Task and Entry Attributes") (shortlabel "Section 9.9: Task and Entry Attributes") (xrefs ( (lrm-section9-10 "abnormal task 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-5-3 "boolean type 3.5.3") (lrm-section9-4 "completed task 9.4") (lrm-section9-1 "designate 9.1") (lrm-section9-5 "entry 9.5") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-section9-5 "queue of entry calls 9.5") (lrm-section13-7 "storage unit 13.7") (lrm-chapter-9 "task 9") (lrm-section9-2 "task object 9.2") (lrm-section9-1 "task type 9.1") (lrm-section9-4 "terminated task 9.4") (lrm-section9-7-3 "timed entry call 9.7.3") (lrm-section3-5-3 "true boolean value 3.5.3") (lrm-section3-5-4 "universal_integer type 3.5.4")))) (section (name lrm-section9-10) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.10: Abort Statements") (shortlabel "Section 9.10: Abort Statements") (xrefs ( (lrm-section11-5 "abnormal in rendezvous 11.5") (lrm-section9-5 "accept statement 9.5") (lrm-section9-3 "activation 9.3") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section9-9 "callable (predefined attribute) 9.9") (lrm-section9-7-2 "conditional entry call 9.7.2") (lrm-section9-6 "delay statement 9.6") (lrm-section9-4 "dependent task 9.4") (lrm-section9-5 "entry call statement 9.5") (lrm-section4-1 "evaluation of a name 4.1") (lrm-section11-2 "exception handler 11.2") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-section4-1 "name 4.1") (lrm-section9-5 "queue of entry calls 9.5") (lrm-section9-5 "rendezvous 9.5") (lrm-section9-7 "select statement 9.7") (lrm-chapter-5"statement 5") (lrm-chapter-9 "task 9") (lrm-section11-1 "tasking_error exception 11.1") (lrm-section9-4 "terminated task 9.4") (lrm-section9-7-3 "timed entry call 9.7.3")))) (section (name lrm-section9-11) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.11: Shared Variables") (shortlabel "Section 9.11: Shared Variables") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section9-3 "activation 9.3") (lrm-section5-2 "assignment 5.2") (lrm-section11-6 "canonical order 11.6") (lrm-section3-9 "declarative part 3.9") (lrm-section9-5 "entry call statement 9.5") (lrm-section1-6 "erroneous 1.6") (lrm-section8-1 "global 8.1") (lrm-section7-1 "package specification 7.1") (lrm-section2-8 "pragma 2.8") (lrm-section6-2 "read a value 6.2") (lrm-section9-5 "rendezvous 9.5") (lrm-section4-1 "simple name 3.1 4.1") (lrm-chapter-9 "task 9") (lrm-section3-3 "type 3.3") (lrm-section6-2 "update a value 6.2") (lrm-section3-2-1 "variable 3.2.1")))) (section (name lrm-section9-12) (parent (lrm-chapter-9)) (documentname lrm) (longlabel "Section 9.12: Example of Tasking") (shortlabel "Section 9.12: Example of Tasking")) (chapter (name lrm-chapter-10) (parent (lrm)) (documentname lrm) (longlabel "Chapter 10: Program Structure and Compilation Issues") (shortlabel "Chapter 10: Program Structure and Compilation Issues") (children ( lrm-section10-1 lrm-section10-2 lrm-section10-3 lrm-section10-4 lrm-section10-5 lrm-section10-6 )) (xrefs ( (lrm-section10-1 "compilation 10.1") (lrm-section10-1 "compilation unit 10.1") (lrm-section12-2 "generic body 12.2") (lrm-section12-1 "generic declaration 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package declaration 7.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section10-2 "subunit 10.2") (lrm-section9-1 "task body 9.1") (lrm-chapter-9 "task unit 9")))) (section (name lrm-section10-1) (parent (lrm-chapter-10)) (documentname lrm) (longlabel "Section 10.1: Compilation Units - Library Units") (shortlabel "Section 10.1: Compilation Units - Library Units") (children (lrm-section10-1-1 lrm-section10-1-2 )) (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section10-1-1 "context clause 10.1.1") (lrm-section3-1 "declaration 3.1") (lrm-section6-1 "designator 6.1") (lrm-section10-4 "environment 10.4") (lrm-section12-1 "generic declaration 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section8-3 "hiding 8.3") (lrm-section2-3 "identifier 2.3") (lrm-section10-5 "library unit 10.5") (lrm-section8-1 "local declaration 8.1") (lrm-section1-6 "must 1.6") (lrm-section4-1 "name 4.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-section4-5 "operator 4.5") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package declaration 7.1") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section2-8 "pragma 2.8") (lrm-section6-1 "procedure 6.1") (lrm-chapter-6 "program unit 6") (lrm-section3-9 "proper body 3.9") (lrm-section8-5 "renaming declaration 8.5") (lrm-section4-1 "simple name 4.1") (lrm-section8-6 "standard package 8.6") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section10-2 "subunit 10.2") (lrm-chapter-9 "task 9") (lrm-section8-3 "visibility 8.3")))) (subsection (name lrm-section10-1-1) (parent lrm-section10-1) (documentname lrm) (longlabel "Section 10.1.1: Context Clauses - With Clauses") (shortlabel "Section 10.1.1: Context Clauses - With Clauses") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section10-1 "compilation unit 10.1") (lrm-section8-3 "direct visibility 8.3") (lrm-section3-9 "elaboration 3.9") (lrm-section12-2 "generic body 12.2") (lrm-section12-1 "generic unit 12.1") (lrm-section8-3 "hiding 8.3") (lrm-section12-3 "instance 12.3") (lrm-section10-1 "library unit 10.1") (lrm-section10-1 "main program 10.1") (lrm-section1-6 "must 1.6") (lrm-section4-1 "name 4.1") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package declaration 7.1") (lrm-section6-1 "procedure 6.1") (lrm-chapter-6 "program unit 6") (lrm-section10-1 "secondary unit 10.1") (lrm-section4-1 "simple name 4.1") (lrm-section8-6 "standard predefined package 8.6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section10-2 "subunit 10.2") (lrm-section3-3 "type 3.3") (lrm-section8-4 "use clause 8.4") (lrm-section8-3 "visibility 8.3")))) (subsection (name lrm-section10-1-2) (parent lrm-section10-1) (documentname lrm) (longlabel "Section 10.1.2: Examples of Compilation Units") (shortlabel "Section 10.1.2: Examples of Compilation Units") (xrefs ( (lrm-section10-1 "compilation unit 10.1") (lrm-section3-1 "declaration 3.1") (lrm-section2-3 "identifier 2.3") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package specification 7.1") (lrm-chapter-10 "program 10") (lrm-section8-6 "standard package 8.6") (lrm-section8-4 "use clause 8.4") (lrm-section8-3 "visibility 8.3") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section10-2) (parent (lrm-chapter-10)) (documentname lrm) (longlabel "Section 10.2: Subunits of Compilation Units") (shortlabel "Section 10.2: Subunits of Compilation Units") (xrefs ( (lrm-section10-1 "compilation unit 10.1") (lrm-section6-3-1 "conform 6.3.1") (lrm-section10-1-1 "context clause 10.1.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative part 3.9") (lrm-section8-3 "direct visibility 8.3") (lrm-section3-9 "elaboration 3.9") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section12-2 "generic body 12.2") (lrm-chapter-12 "generic unit 12") (lrm-section8-3 "hidden declaration 8.3") (lrm-section2-3 "identifier 2.3") (lrm-section10-1 "library unit 10.1") (lrm-section8-1 "local declaration 8.1") (lrm-section4-1 "name 4.1") (lrm-section8-1 "occur immediately within 8.1") (lrm-section8-3 "overloading 8.3") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package specification 7.1") (lrm-chapter-10 "program 10") (lrm-chapter-6 "program unit 6") (lrm-section3-9 "proper body 3.9") (lrm-section8-5 "renaming declaration 8.5") (lrm-section10-1 "separate compilation 10.1") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram specification 6.1") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task unit 9.1") (lrm-section8-4 "use clause 8.4") (lrm-section8-3 "visibility 8.3") (lrm-section10-1-1 "with clause 10.1.1")))) (subsection (name lrm-section10-2-1) (parent (lrm-section10-2)) (documentname lrm) (longlabel "Section 10.2.1: Examples of Subunits") (shortlabel "Section 10.2.1: Examples of Subunits") (xrefs ( (lrm-section10-2 "body stub 10.2") (lrm-section10-1 "compilation unit 10.1") (lrm-section2-3 "identifier 2.3") (lrm-section8-1 "local declaration 8.1") (lrm-section3-2 "named number 3.2") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-chapter-6 "procedure 6") (lrm-section6-3 "procedure body 6.3") (lrm-section3-9 "proper body 3.9") (lrm-chapter-6 "subprogram 6") (lrm-section3-3 "type 3.3") (lrm-section3-2-1 "variable 3.2.1") (lrm-section8-3 "visibility 8.3") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section10-3) (parent (lrm-chapter-10)) (documentname lrm) (longlabel "Section 10.3: Order of Compilation") (shortlabel "Section 10.3: Order of Compilation") (xrefs ( (lrm-section10-1 "compilation 10.1") (lrm-section10-1 "compilation unit 10.1") (lrm-section10-1-1 "context clause 10.1.1") (lrm-section3-9 "elaboration 3.9") (lrm-section12-2 "generic body 12.2") (lrm-section12-1 "generic declaration 12.1") (lrm-chapter-12 "generic unit 12") (lrm-section10-1 "library unit 10.1") (lrm-section8-1 "local declaration 8.1") (lrm-section4-1 "name 4.1") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package specification 7.1") (lrm-section10-2 "parent unit 10.2") (lrm-section6-3-2 "pragma inline 6.3.2") (lrm-section6-1 "procedure 6.1") (lrm-section6-3 "procedure body 6.3") (lrm-section3-9 "proper body 3.9") (lrm-section10-1 "secondary unit 10.1") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-1 "subprogram declaration 6.1") (lrm-section6-1 "subprogram specification 6.1") (lrm-section10-2 "subunit 10.2") (lrm-section3-3 "type 3.3") (lrm-section3-2-1 "variable 3.2.1") (lrm-section8-3 "visibility 8.3") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section10-4) (parent (lrm-chapter-10)) (documentname lrm) (longlabel "Section 10.4: The Program Library") (shortlabel "Section 10.4: The Program Library") (xrefs ( (lrm-section10-1 "compilation unit 10.1") (lrm-section10-1-1 "context clause 10.1.1") (lrm-section10-3 "order of compilation 10.3") (lrm-section10-1 "program 10.1") (lrm-section10-1 "program library 10.1") (lrm-section10-2 "subunit 10.2") (lrm-section8-4 "use clause 8.4") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section10-5) (parent (lrm-chapter-10)) (documentname lrm) (longlabel "Section 10.5: Elaboration of Library Units") (shortlabel "Section 10.5: Elaboration of Library Units") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section2-8 "argument of a pragma 2.8") (lrm-section10-1 "compilation unit 10.1") (lrm-section10-1-1 "context clause 10.1.1") (lrm-section10-3 "dependence between compilation units 10.3") (lrm-section3-9 "elaboration 3.9") (lrm-section1-6 "illegal 1.6") (lrm-section1-6 "in some order 1.6") (lrm-section10-1 "library unit 10.1") (lrm-section4-1 "name 4.1") (lrm-section10-1 "main program 10.1") (lrm-section2-8 "pragma 2.8") (lrm-section10-1 "secondary unit 10.1") (lrm-section10-1 "separate compilation 10.1") (lrm-section4-1 "simple name 4.1") (lrm-section10-2 "subunit 10.2") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section10-6) (parent (lrm-chapter-10)) (documentname lrm) (longlabel "Section 10.6: Program Optimization") (shortlabel "Section 10.6: Program Optimization") (xrefs ( (lrm-section5-3 "condition 5.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "elaboration 3.9") (lrm-section4-5 "evaluation 4.5") (lrm-chapter-11 "exception 11") (lrm-section4-4 "expression 4.4") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-chapter-10 "program 10") (lrm-section11-3 "raising of exceptions 11.3") (lrm-chapter-5"statement 5") (lrm-section4-9 "static expression 4.9") (lrm-chapter-6 "subprogram 6")))) (chapter (name lrm-chapter-11) (parent (lrm)) (documentname lrm) (longlabel "Chapter 11: Exceptions") (shortlabel "Chapter 11: Exceptions") (children ( lrm-section11-1 lrm-section11-2 lrm-section11-3 lrm-section11-4 lrm-section11-5 lrm-section11-6 lrm-section11-7 )) (xrefs ( (lrm-section5-6 "block statement 5.6") (lrm-section1-6 "error situation 1.6") (lrm-section11-2 "exception handler 11.2") (lrm-section4-1 "name 4.1") (lrm-section7-1 "package body 7.1") (lrm-section11-4-2 "propagation of an exception 11.4.1 11.4.2") (lrm-section11-3 "raise statement 11.3") (lrm-section6-3 "subprogram body 6.3") (lrm-section9-1 "task body 9.1")))) (section (name lrm-section11-1) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.1: Exception Declarations") (shortlabel "Section 11.1: Exception Declarations")) (section (name lrm-section11-2) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.2: Exception Handlers") (shortlabel "Section 11.2: Exception Handlers") (xrefs ( (lrm-section5-6 "block statement 5.6") (lrm-section3-9 "declarative part 3.9") (lrm-chapter-11 "exception 11") (lrm-section11-4 "exception handling 11.4") (lrm-section6-3 "function body 6.3") (lrm-section12-2 "generic body 12.2") (lrm-section12-1 "generic unit 12.1") (lrm-section4-1 "name 4.1") (lrm-section7-1 "package body 7.1") (lrm-section11-3 "raise statement 11.3") (lrm-section5-8 "return statement 5.8") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-5"statement 5") (lrm-section6-3 "subprogram body 6.3") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task unit 9 9.1") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section11-3) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.3: Raise Statements") (shortlabel "Section 11.3: Raise Statements") (xrefs ( (lrm-chapter-11 "exception 11") (lrm-chapter-12 "generic unit 12") (lrm-section4-1 "name 4.1") (lrm-chapter-7 "package 7") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-6 "subprogram 6") (lrm-chapter-9 "task unit 9")))) (section (name lrm-section11-4) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.4: Exception Handling") (shortlabel "Section 11.4: Exception Handling") (children (lrm-section11-4-1 lrm-section11-4-2 )) (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-chapter-11 "exception 11") (lrm-section11-2 "exception handler 11.2") (lrm-section11-3 "raising of exceptions 11.3") (lrm-chapter-5"statement 5")))) (subsection (name lrm-section11-4-1) (parent lrm-section11-4) (documentname lrm) (longlabel "Section 11.4.1: Exceptions Raised During the Execution of Statements") (shortlabel "Section 11.4.1: Exceptions Raised During the Execution of Statements") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section5-6 "block statement 5.6") (lrm-section10-2 "body stub 10.2") (lrm-section9-4 "completion 9.4") (lrm-section3-9 "declarative item 3.9") (lrm-section3-9 "declarative part 3.9") (lrm-section9-4 "dependent task 9.4") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-chapter-11 "exception 11") (lrm-section11-2 "exception handler 11.2") (lrm-section11-2 "frame 11.2") (lrm-section12-3 "generic instantiation 12.3") (lrm-chapter-12 "generic unit 12") (lrm-section10-1 "library unit 10.1") (lrm-section10-1 "main program 10.1") (lrm-section11-1 "numeric_error exception 11.1") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section4-5 "predefined operator 4.5") (lrm-section6-1 "procedure 6.1") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-5"statement 5") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4") (lrm-section10-2 "subunit 10.2") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1")))) (subsection (name lrm-section11-4-2) (parent lrm-section11-4) (documentname lrm) (longlabel "Section 11.4.2: Exceptions Raised During the Elaboration of Declarations") (shortlabel "Section 11.4.2: Exceptions Raised During the Elaboration of Declarations") (xrefs ( (lrm-section9-3 "activation 9.3") (lrm-section5-6 "block statement 5.6") (lrm-section10-2 "body stub 10.2") (lrm-section9-4 "completed task 9.4") (lrm-section3-9 "declarative item 3.9") (lrm-section3-9 "declarative part 3.9") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-chapter-11 "exception 11") (lrm-section11-2 "frame 11.2") (lrm-section10-1 "library unit 10.1") (lrm-section10-1 "main program 10.1") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package declaration 7.1") (lrm-section7-1 "package specification 7.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4") (lrm-section10-2 "subunit 10.2") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task declaration 9.1") (lrm-section11-1 "tasking_error exception 11.1")))) (section (name lrm-section11-5) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.5: Exceptions Raised During Task Communication") (shortlabel "Section 11.5: Exceptions Raised During Task Communication") (xrefs ( (lrm-section9-10 "abnormal task 9.10") (lrm-section9-10 "abort statement 9.10") (lrm-section9-5 "accept statement 9.5") (lrm-section9-4 "completed task 9.4") (lrm-section9-5 "entry call 9.5") (lrm-chapter-11 "exception 11") (lrm-section11-2 "frame 11.2") (lrm-section9-5 "rendezvous 9.5") (lrm-chapter-9 "task 9") (lrm-section9-4 "task termination 9.4") (lrm-section11-1 "tasking_error exception 11.1")))) (section (name lrm-section11-6) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.6: Exceptions and Optimization") (shortlabel "Section 11.6: Exceptions and Optimization") (xrefs ( (lrm-section9-5 "accept statement 9.5") (lrm-section4-5-7 "accuracy of real operations 4.5.7") (lrm-section5-2 "assignment 5.2") (lrm-section3-3 "base type 3.3") (lrm-section3-3-3 "basic operation 3.3.3") (lrm-section4-6 "conversion 4.6") (lrm-chapter-11 "error situation 11") (lrm-chapter-11 "exception 11") (lrm-section11-2 "exception handler 11.2") (lrm-section11-2 "frame 11.2") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section4-5 "predefined operator 4.5") (lrm-section8-6 "predefined subprogram 8.6") (lrm-section11-4 "propagation of an exception 11.4") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-2-1 "undefined value 3.2.1")))) (section (name lrm-section11-7) (parent (lrm-chapter-11)) (documentname lrm) (longlabel "Section 11.7: Suppressing Checks") (shortlabel "Section 11.7: Suppressing Checks") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access value 3.8") (lrm-section9-3 "activation 9.3") (lrm-section4-3 "aggregate 4.3") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array 3.6") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section5-6 "block statement 5.6") (lrm-section3-8 "collection 3.8") (lrm-section3-3-2 "compatible 3.3.2") (lrm-section3-6 "component of an array 3.6") (lrm-section3-7 "component of a record 3.7") (lrm-section3-3 "composite type 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-9 "declarative part 3.9") (lrm-section3-8 "designate 3.8") (lrm-section3-6 "dimension 3.6") (lrm-section3-6 "discrete range 3.6") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section3-7-2 "discriminant constraint 3.7.2") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section1-6 "erroneous 1.6") (lrm-chapter-11 "error situation 11") (lrm-section4-1-3 "expanded name 4.1.3") (lrm-section11-1 "generic body 11.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-chapter-12 "generic unit 12") (lrm-section2-3 "identifier 2.3") (lrm-section3-6 "index 3.6") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section3-8 "null access value 3.8") (lrm-section3-5-10 "numeric operation 3.5.5 3.5.8 3.5.10") (lrm-section3-5 "numeric type 3.5") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section3-2 "object 3.2") (lrm-section3-3-3 "operation 3.3.3") (lrm-section7-1 "package body 7.1") (lrm-section7-1 "package specification 7.1") (lrm-section2-8 "pragma 2.8") (lrm-section11-1 "program_error exception 11.1") (lrm-chapter-6 "program unit 6") (lrm-section11-4 "propagation of an exception 11.4") (lrm-section3-5 "range constraint 3.5") (lrm-section3-7 "record type 3.7") (lrm-section4-1 "simple name 4.1") (lrm-section4-1-2 "slice 4.1.2") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4") (lrm-section3-3 "subtype 3.3") (lrm-section10-2 "subunit 10.2") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1") (lrm-section9-1 "task type 9.1") (lrm-chapter-9 "task unit 9") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (chapter (name lrm-chapter-12) (parent (lrm)) (documentname lrm) (longlabel "Chapter 12: Generic Units") (shortlabel "Chapter 12: Generic Units") (children ( lrm-section12-1 lrm-section12-2 lrm-section12-3 lrm-section12-4 )) (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-1 "generic declaration 12.1") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section12-1 "generic formal part 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic package 12.1") (lrm-section12-1 "generic subprogram 12.1") (lrm-section12-3 "instance 12.3") (lrm-chapter-7 "package 7") (lrm-chapter-6 "program unit 6") (lrm-chapter-6 "subprogram 6")))) (section (name lrm-section12-1) (parent (lrm-chapter-12)) (documentname lrm) (longlabel "Section 12.1: Generic Declarations") (shortlabel "Section 12.1: Generic Declarations") (children (lrm-section12-1-1 lrm-section12-1-2 lrm-section12-1-3 )) (xrefs ( (lrm-section3-8 "access type definition 3.8") (lrm-section3-6 "array type definition 3.6") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section6-1 "designator 6.1") (lrm-section3-1 "elaboration has no other effect 3.1") (lrm-section3-1 "entity 3.1") (lrm-section4-4 "expression 4.4") (lrm-section6-5 "function 6.5") (lrm-section12-3 "generic instantiation 12.3") (lrm-section2-3 "identifier 2.3") (lrm-section3-2 "identifier list 3.2") (lrm-section12-3 "instance 12.3") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section8-7 "overloading 6.6 8.7") (lrm-section7-1 "package specification 7.1") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section7-4 "private type definition 7.4") (lrm-section6-1 "procedure 6.1") (lrm-section2-9 "reserved word 2.9") (lrm-section4-9 "static expression 4.9") (lrm-chapter-6 "subprogram 6") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (subsection (name lrm-section12-1-1) (parent lrm-section12-1) (documentname lrm) (longlabel "Section 12.1.1: Generic Formal Objects") (shortlabel "Section 12.1.1: Generic Formal Objects") (xrefs ( (lrm-section3-3-1 "anonymous type 3.3.1") (lrm-section5-2 "assignment 5.2") (lrm-section3-3 "base type 3.3") (lrm-section3-2 "constant declaration 3.2") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-1 "generic formal object 12.1") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section6-1 "mode 6.1") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section4-1 "simple name 4.1") (lrm-section3-3 "subtype 3.3") (lrm-section3-3 "type declaration 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section12-1-2) (parent lrm-section12-1) (documentname lrm) (longlabel "Section 12.1.2: Generic Formal Types") (shortlabel "Section 12.1.2: Generic Formal Types") (xrefs ( (lrm-section3-8 "access type definition 3.8") (lrm-section4-8 "allocator 4.8") (lrm-section3-6 "array type definition 3.6") (lrm-section5-2 "assignment 5.2") (lrm-section12-2 "body of a generic unit 12.2") (lrm-section3-3 "class of type 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section12-1 "declaration of a generic unit 12.1") (lrm-section3-6 "discrete range 3.6") (lrm-section3-5 "discrete type 3.5") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section4-5-2 "equality 4.5.2") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section3-5-7 "floating point type 3.5.7") (lrm-section12-3 "generic actual type 12.3") (lrm-section12-1 "generic formal part 12.1") (lrm-section12-1-3 "generic formal subprogram 12.1.3") (lrm-section12-1 "generic formal type 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section12-1 "generic type definition 12.1") (lrm-section4-1-1 "indexed component 4.1.1") (lrm-section4-5-2 "inequality 4.5.2") (lrm-section12-3 "instantiation 12.3") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section7-4-4 "limited private type 7.4.4") (lrm-section12-3-5 "matching generic actual type 12.3.2 12.3.3 12.3.4 12.3.5") (lrm-section4-5-5 "multiplying operator 4.5 4.5.5") (lrm-section3-3 "operation 3.3") (lrm-section4-5 "operator 4.5") (lrm-section3-4 "parent type 3.4") (lrm-section7-4 "private type definition 7.4") (lrm-section3-5 "scalar type 3.5") (lrm-section4-1-2 "slice 4.1.2") (lrm-annex-c "standard package 8.6 C") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-5-9 "universal_fixed 3.5.9")))) (subsection (name lrm-section12-1-3) (parent lrm-section12-1) (documentname lrm) (longlabel "Section 12.1.3: Generic Formal Subprograms") (shortlabel "Section 12.1.3: Generic Formal Subprograms") (xrefs ( (lrm-section3-3-1 "anonymous type 3.3.1") (lrm-section3-3 "base type 3.3") (lrm-section12-1-2 "box delimiter 12.1.2") (lrm-section3-3 "constraint 3.3") (lrm-section6-1 "designator 6.1") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-1 "generic formal function 12.1") (lrm-section12-1 "generic formal subprogram 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section2-3 "identifier 2.3") (lrm-section12-3-6 "matching generic actual subprogram 12.3.6") (lrm-section6-1 "operator symbol 6.1") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section8-5 "renaming declaration 8.5") (lrm-section2-9 "reserved word 2.9") (lrm-section8-2 "scope 8.2") (lrm-chapter-6 "subprogram 6") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3-2 "subtype 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2")))) (section (name lrm-section12-2) (parent (lrm-chapter-12)) (documentname lrm) (longlabel "Section 12.2: Generic Bodies") (shortlabel "Section 12.2: Generic Bodies") (xrefs ( (lrm-section3-9 "body 3.9") (lrm-section3-9 "elaboration 3.9") (lrm-section12-1 "generic body 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic package 12.1") (lrm-section12-1 "generic subprogram 12.1") (lrm-section12-3 "instance 12.3") (lrm-section7-1 "package body 7.1") (lrm-chapter-7 "package 7") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3")))) (section (name lrm-section12-3) (parent (lrm-chapter-12)) (documentname lrm) (longlabel "Section 12.3: Generic Instantiation") (shortlabel "Section 12.3: Generic Instantiation") (children (lrm-section12-3-1 lrm-section12-3-2 lrm-section12-3-3 lrm-section12-3-4 lrm-section12-3-5 lrm-section12-3-6 )) (xrefs ( (lrm-section3-1 "declaration 3.1") (lrm-section6-1 "designator 6.1") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section3-9 "elaboration 3.1 3.9") (lrm-section3-1 "entity 3.1") (lrm-section9-5 "entry name 9.5") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section12-1 "generic formal object 12.1") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section12-1 "generic formal subprogram 12.1") (lrm-section12-1 "generic formal type 12.1") (lrm-section12-1 "generic parameter declaration 12.1") (lrm-section8-1 "global declaration 8.1") (lrm-section2-3 "identifier 2.3") (lrm-section3-1 "implicit declaration 3.1") (lrm-section8-1 "local declaration 8.1") (lrm-section12-1-1 "mode in 12.1.1") (lrm-section12-1-1 "mode in out 12.1.1") (lrm-section4-1 "name 4.1") (lrm-section3-3 "operation 3.3") (lrm-section6-1 "operator symbol 6.1") (lrm-section8-7 "overloading 6.6 8.7") (lrm-chapter-7 "package 7") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-4 "subprogram call 6.4") (lrm-section6-1 "subprogram name 6.1") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-2-1 "variable 3.2.1") (lrm-section8-3 "visibility 8.3")))) (subsection (name lrm-section12-3-1) (parent lrm-section12-3) (documentname lrm) (longlabel "Section 12.3.1: Matching Rules for Formal Objects") (shortlabel "Section 12.3.1: Matching Rules for Formal Objects") (xrefs ( (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section4-4 "expression 4.4") (lrm-section6-1 "formal parameter 6.1") (lrm-section12-3 "generic actual parameter 12.3") (lrm-section12-1-1 "generic formal object 12.1.1") (lrm-section12-1 "generic formal parameter 12.1") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic unit 12.1") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section12-1-1 "mode in 12.1.1") (lrm-section12-1-1 "mode in out 12.1.1") (lrm-section6-2 "mode out 6.2") (lrm-section4-1 "name 4.1") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-3 "satisfy 3.3") (lrm-section3-3 "subcomponent 3.3") (lrm-section3-3 "type 3.3") (lrm-section3-3-2 "type mark 3.3.2") (lrm-section3-2-1 "variable 3.2.1")))) (subsection (name lrm-section12-3-2) (parent lrm-section12-3) (documentname lrm) (longlabel "Section 12.3.2: Matching Rules for Formal Private Types") (shortlabel "Section 12.3.2: Matching Rules for Formal Private Types") (xrefs ( (lrm-section3-6 "array type 3.6") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-7-1 "default expression for a discriminant 3.7.1") (lrm-section3-4 "derived type 3.4") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section3-7-1 "discriminant part 3.7.1") (lrm-section3-9 "elaboration 3.9") (lrm-section12-3 "generic actual type 12.3") (lrm-section12-2 "generic body 12.2") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic specification 12.1") (lrm-section7-4-4 "limited type 7.4.4") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section4-1 "name 4.1") (lrm-section7-4 "private type 7.4") (lrm-chapter-11 "raising of exceptions 11") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype indication 3.3.2") (lrm-section3-3 "type 3.3") (lrm-section3-3 "type with discriminants 3.3") (lrm-section3-6 "unconstrained array type 3.6") (lrm-section3-3 "unconstrained subtype 3.3")))) (subsection (name lrm-section12-3-3) (parent lrm-section12-3) (documentname lrm) (longlabel "Section 12.3.3: Matching Rules for Formal Scalar Types") (shortlabel "Section 12.3.3: Matching Rules for Formal Scalar Types") (xrefs ( (lrm-section12-1-2 "box delimiter 12.1.2") (lrm-section3-5 "discrete type 3.5") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section3-5-7 "floating point type 3.5.7") (lrm-section12-3 "generic actual type 12.3") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section12-1 "generic type definition 12.1") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section3-5 "scalar type 3.5")))) (subsection (name lrm-section12-3-4) (parent lrm-section12-3) (documentname lrm) (longlabel "Section 12.3.4: Matching Rules for Formal Array Types") (shortlabel "Section 12.3.4: Matching Rules for Formal Array Types") (xrefs ( (lrm-section3-6 "array type definition 3.6") (lrm-section3-6 "component of an array 3.6") (lrm-section3-6 "constrained array type 3.6") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-9 "elaboration 3.9") (lrm-section12-1 "formal type 12.1") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section12-3 "generic instantiation 12.3") (lrm-section3-6 "index 3.6") (lrm-section3-6-1 "index constraint 3.6.1") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section11-3 "raise statement 11.3") (lrm-section3-3 "subtype 3.3") (lrm-section3-6 "unconstrained array type 3.6")))) (subsection (name lrm-section12-3-5) (parent lrm-section12-3) (documentname lrm) (longlabel "Section 12.3.5: Matching Rules for Formal Access Types") (shortlabel "Section 12.3.5: Matching Rules for Formal Access Types") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section3-8 "access type definition 3.8") (lrm-section3-3 "constraint 3.3") (lrm-section11-1 "constraint_error exception 11.1") (lrm-section3-8 "designate 3.8") (lrm-section3-9 "elaboration 3.9") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section3-2 "object 3.2") (lrm-section11-3 "raise statement 11.3") (lrm-section3-8 "value of access type 3.8")))) (subsection (name lrm-section12-3-6) (parent lrm-section12-3) (documentname lrm) (longlabel "Section 12.3.6: Matching Rules for Formal Subprograms") (shortlabel "Section 12.3.6: Matching Rules for Formal Subprograms") (xrefs ( (lrm-section4-1-4 "attribute 4.1.4") (lrm-section12-1-2 "box delimiter 12.1.2") (lrm-section6-1 "designator 6.1") (lrm-section9-5 "entry 9.5") (lrm-section6-5 "function 6.5") (lrm-section12-3 "generic actual type 12.3") (lrm-section12-1-3 "generic formal subprogram 12.1.3") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-3 "matching generic actual parameter 12.3") (lrm-section4-1 "name 4.1") (lrm-section6-3 "parameter and result type profile 6.3") (lrm-chapter-6 "subprogram 6") (lrm-section6-1 "subprogram specification 6.1") (lrm-section3-3 "subtype 3.3") (lrm-section8-3 "visibility 8.3")))) (section (name lrm-section12-4) (parent (lrm-chapter-12)) (documentname lrm) (longlabel "Section 12.4: Example of a Generic Package") (shortlabel "Section 12.4: Example of a Generic Package")) (chapter (name lrm-chapter-13) (parent (lrm)) (documentname lrm) (longlabel "Chapter 13: Representation Clauses and Implementation-Dependent Features") (shortlabel "Chapter 13: Representation Clauses and Implementation-Dependent Features") (children ( lrm-section13-1 lrm-section13-2 lrm-section13-3 lrm-section13-4 lrm-section13-5 lrm-section13-6 lrm-section13-7 lrm-section13-8 lrm-section13-9 lrm-section13-10 ))) (section (name lrm-section13-1) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.1: Representation Clauses") (shortlabel "Section 13.1: Representation Clauses") (xrefs ( (lrm-section13-5 "address clause 13.5") (lrm-section1-6 "allow 1.6") (lrm-section3-9 "body 3.9") (lrm-section3-3 "component 3.3") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative part 3.9") (lrm-section3-2-1 "default expression 3.2.1") (lrm-section7-4 "deferred constant declaration 7.4") (lrm-section3-4 "derivable subprogram 3.4") (lrm-section3-4 "derived type 3.4") (lrm-section3-1 "entity 3.1") (lrm-section9-5 "entry 9.5") (lrm-section13-3 "enumeration representation clause 13.3") (lrm-section4-4 "expression 4.4") (lrm-section12-1-2 "generic formal type 12.1.2") (lrm-section1-6 "illegal 1.6") (lrm-section13-2 "length clause 13.2") (lrm-section1-6 "must 1.6") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-section8-1 "occur immediately within 8.1") (lrm-chapter-7 "package 7") (lrm-section7-1 "package specification 7.1") (lrm-section3-4 "parent type 3.4") (lrm-section2-8 "pragma 2.8") (lrm-section13-4 "record representation clause 13.4") (lrm-section13-7-3 "representation attribute 13.7.2 13.7.3") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-6 "subprogram 6") (lrm-section3-3 "subtype 3.3") (lrm-section3-3-2 "subtype declaration 3.3.2") (lrm-section9-1 "task specification 9.1") (lrm-chapter-9 "task unit 9") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1")))) (section (name lrm-section13-2) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.2: Length Clauses") (shortlabel "Section 13.2: Length Clauses") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section4-8 "allocator 4.8") (lrm-section1-6 "allow 1.6") (lrm-section3-6 "array type 3.6") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-8 "collection 3.8") (lrm-section3-3 "composite type 3.3") (lrm-section3-3 "constraint 3.3") (lrm-section3-5-9 "delta of a fixed point type 3.5.9") (lrm-section3-4 "derived type 3.4") (lrm-section3-8 "designate 3.8") (lrm-section3-9 "elaboration 3.9") (lrm-section3-1 "entity 3.1") (lrm-section4-5 "evaluation 4.5") (lrm-section4-4 "expression 4.4") (lrm-section13-1 "first named subtype 13.1") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section3-6 "index subtype 3.6") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section1-6 "must 1.6") (lrm-section3-5 "numeric type 3.5") (lrm-section3-2 "object 3.2") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-7 "record type 3.7") (lrm-section3-5-10 "small of a fixed point type 3.5.10") (lrm-section4-9 "static constraint 4.9") (lrm-section4-9 "static expression 4.9") (lrm-section4-9 "static subtype 4.9") (lrm-section13-7 "storage unit 13.7") (lrm-section3-3 "subcomponent 3.3") (lrm-section13-7 "system package 13.7") (lrm-chapter-9 "task 9") (lrm-section9-3 "task activation 9.3") (lrm-section9-1 "task specification 9.1") (lrm-section9-2 "task type 9.2") (lrm-section3-3 "type 3.3") (lrm-section3-6 "unconstrained array type 3.6")))) (section (name lrm-section13-3) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.3: Enumeration Representation Clauses") (shortlabel "Section 13.3: Enumeration Representation Clauses") (xrefs ( (lrm-section4-3 "aggregate 4.3") (lrm-section4-3-2 "array aggregate 4.3.2") (lrm-section3-6 "array type 3.6") (lrm-section3-5-5 "attribute of an enumeration type 3.5.5") (lrm-section3-7-3 "choice 3.7.3") (lrm-section3-3 "component 3.3") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section6-5 "function 6.5") (lrm-section3-6 "index 3.6") (lrm-section3-6 "index subtype 3.6") (lrm-section4-2 "literal 4.2") (lrm-section3-5-1 "ordering relation of an enumeration type 3.5.1") (lrm-section13-1 "representation clause 13.1") (lrm-section4-1 "simple name 4.1") (lrm-section4-9 "static expression 4.9") (lrm-section3-3 "type 3.3") (lrm-section3-3-1 "type declaration 3.3.1") (lrm-section3-5-4 "universal_integer type 3.5.4")))) (section (name lrm-section13-4) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.4: Record Representation Clauses") (shortlabel "Section 13.4: Record Representation Clauses") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-3 "constraint 3.3") (lrm-section3-7-1 "discriminant 3.7.1") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section1-6 "must 1.6") (lrm-section3-2 "named number 3.2") (lrm-section3-5 "range 3.5") (lrm-section3-7 "record component 3.7") (lrm-section3-7 "record type 3.7") (lrm-section4-4 "simple expression 4.4") (lrm-section4-1 "simple name 4.1") (lrm-section4-9 "static constraint 4.9") (lrm-section4-9 "static expression 4.9") (lrm-section13-7 "storage unit 13.7") (lrm-section3-3 "subcomponent 3.3") (lrm-section13-7 "system package 13.7") (lrm-section3-7-3 "variant 3.7.3")))) (section (name lrm-section13-5) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.5: Address Clauses") (shortlabel "Section 13.5: Address Clauses") (children (lrm-section13-5-1 )) (xrefs ( (lrm-section13-7 "address predefined type 13.7") (lrm-section10-1-1 "apply 10.1.1") (lrm-section10-1 "compilation unit 10.1") (lrm-section3-2-1 "constant 3.2.1") (lrm-section3-1 "entity 3.1") (lrm-section9-5 "entry 9.5") (lrm-section1-6 "erroneous 1.6") (lrm-section4-4 "expression 4.4") (lrm-section10-1 "library unit 10.1") (lrm-section4-1 "name 4.1") (lrm-section3-2 "object 3.2") (lrm-chapter-7 "package 7") (lrm-section2-8 "pragma 2.8") (lrm-chapter-6 "program unit 6") (lrm-section2-9 "reserved word 2.9") (lrm-section4-4 "simple expression 4.4") (lrm-section4-1 "simple name 4.1") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section13-7 "system package 13.7") (lrm-section9-1 "task body 9.1") (lrm-section9-2 "task object 9.2") (lrm-chapter-9 "task unit 9") (lrm-section3-3 "type 3.3") (lrm-section3-2-1 "variable 3.2.1") (lrm-section10-1-1 "with clause 10.1.1")))) (subsection (name lrm-section13-5-1) (parent lrm-section13-5) (documentname lrm) (longlabel "Section 13.5.1: Interrupts") (shortlabel "Section 13.5.1: Interrupts") (xrefs ( (lrm-section9-7-1 "accept alternative 9.7.1") (lrm-section9-5 "accept statement 9.5") (lrm-section13-7 "address predefined type 13.7") (lrm-section1-6 "allow 1.6") (lrm-section9-7-2 "conditional entry call 9.7.2") (lrm-section9-5 "entry 9.5") (lrm-section9-5 "entry call 9.5") (lrm-section6-1 "mode 6.1") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section9-8 "priority of a task 9.8") (lrm-section9-7-1 "select alternative 9.7.1") (lrm-section9-7 "select statement 9.7") (lrm-section13-7 "system package 13.7") (lrm-chapter-9 "task 9") (lrm-section9-7-1 "terminate alternative 9.7.1") (lrm-section9-7-3 "timed entry call 9.7.3")))) (section (name lrm-section13-6) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.6: Change of Representation") (shortlabel "Section 13.6: Change of Representation") (xrefs ( (lrm-section5-2 "assignment 5.2") (lrm-section3-4 "derived type 3.4") (lrm-section3-3 "type 3.3") (lrm-section4-6 "type conversion 4.6") (lrm-section3-1 "type declaration 3.1") (lrm-section13-1 "representation clause 13.1")))) (section (name lrm-section13-7) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.7: The Package System") (shortlabel "Section 13.7: The Package System") (children (lrm-section13-7-1 lrm-section13-7-2 lrm-section13-7-3 )) (xrefs ( (lrm-section13-5 "address clause 13.5") (lrm-section10-1-1 "apply 10.1.1") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section10-1 "compilation unit 10.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-5-1 "enumeration literal 3.5.1") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-section2-3 "identifier 2.3") (lrm-section10-1 "library unit 10.1") (lrm-section1-6 "must 1.6") (lrm-section3-2 "named number 3.2") (lrm-section3-2-2 "number declaration 3.2.2") (lrm-section2-4 "numeric literal 2.4") (lrm-chapter-7 "package 7") (lrm-section7-1 "package specification 7.1") (lrm-section2-8 "pragma 2.8") (lrm-section10-1 "program library 10.1") (lrm-section3-3 "type 3.3") (lrm-section8-3 "visibility 8.3") (lrm-section7-2 "visible part 7.2") (lrm-section10-1-1 "with clause 10.1.1")))) (subsection (name lrm-section13-7-1) (parent lrm-section13-7) (documentname lrm) (longlabel "Section 13.7.1: System-Dependent Named Numbers") (shortlabel "Section 13.7.1: System-Dependent Named Numbers") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section3-5-9 "delta of a fixed point constraint 3.5.9") (lrm-section3-5-9 "fixed point constraint 3.5.9") (lrm-section3-5-7 "floating point constraint 3.5.7") (lrm-section3-5-4 "integer type 3.5.4") (lrm-section3-5-6 "model number 3.5.6") (lrm-section3-2 "named number 3.2") (lrm-chapter-7 "package 7") (lrm-section3-5 "range constraint 3.5") (lrm-section13-7 "system package 13.7") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4") (lrm-section3-5-6 "universal_real type 3.5.6")))) (subsection (name lrm-section13-7-2) (parent lrm-section13-7) (documentname lrm) (longlabel "Section 13.7.2: Representation Attributes") (shortlabel "Section 13.7.2: Representation Attributes") (xrefs ( (lrm-section3-8 "access subtype 3.8") (lrm-section3-8 "access type 3.8") (lrm-section9-3 "activation 9.3") (lrm-section6-2 "actual parameter 6.2") (lrm-section13-5 "address clause 13.5") (lrm-section13-7 "address predefined type 13.7") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-8 "collection 3.8") (lrm-section3-3 "component 3.3") (lrm-section9-5 "entry 9.5") (lrm-section6-2 "formal parameter 6.1 6.2") (lrm-section5-1 "label 5.1") (lrm-section3-2 "object 3.2") (lrm-chapter-7 "package 7") (lrm-section7-1 "package body 7.1") (lrm-section6-2 "parameter passing 6.2") (lrm-chapter-6 "program unit 6") (lrm-section3-7 "record object 3.7") (lrm-chapter-5"statement 5") (lrm-section13-7 "storage unit 13.7") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section3-3 "subtype 3.3") (lrm-section13-7 "system predefined package 13.7") (lrm-chapter-9 "task 9") (lrm-section9-1 "task body 9.1") (lrm-section9-2 "task object 9.2") (lrm-section9-2 "task type 9.2") (lrm-chapter-9 "task unit 9") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4")))) (subsection (name lrm-section13-7-3) (parent lrm-section13-7) (documentname lrm) (longlabel "Section 13.7.3: Representation Attributes of Real Types") (shortlabel "Section 13.7.3: Representation Attributes of Real Types") (xrefs ( (lrm-section4-5 "arithmetic operator 4.5") (lrm-section4-1-4 "attribute 4.1.4") (lrm-section3-3 "base type 3.3") (lrm-section3-5-3 "boolean predefined type 3.5.3") (lrm-section3-5-3 "false boolean value 3.5.3") (lrm-section3-5-9 "fixed point type 3.5.9") (lrm-section3-5-7 "floating point type 3.5.7") (lrm-section3-5-6 "model number 3.5.6") (lrm-section3-5 "numeric type 3.5") (lrm-section11-1 "numeric_error exception 11.1") (lrm-section3-3-3 "predefined operation 3.3.3") (lrm-section3-5-7 "radix 3.5.7") (lrm-section3-5-6 "real type 3.5.6") (lrm-section3-3 "subtype 3.3") (lrm-section3-5-3 "true boolean value 3.5.3") (lrm-section3-3 "type 3.3") (lrm-section3-5-4 "universal_integer type 3.5.4")))) (section (name lrm-section13-8) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.8: Machine Code Insertions") (shortlabel "Section 13.8: Machine Code Insertions") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section10-1-1 "apply 10.1.1") (lrm-section2-7 "comment 2.7") (lrm-section10-1 "compilation unit 10.1") (lrm-section3-9 "declarative item 3.9") (lrm-section11-2 "exception handler 11.2") (lrm-section6-3-2 "inline pragma 6.3.2") (lrm-section5-1 "labeled statement 5.1") (lrm-section10-1 "library unit 10.1") (lrm-chapter-7 "package 7") (lrm-section2-8 "pragma 2.8") (lrm-section6-1 "procedure 6 6.1") (lrm-section6-3 "procedure body 6.3") (lrm-section4-3-1 "record aggregate 4.3.1") (lrm-section3-7 "record type 3.7") (lrm-section5-1 "sequence of statements 5.1") (lrm-chapter-5"statement 5") (lrm-section4-9 "static expression 4.9") (lrm-section8-4 "use clause 8.4") (lrm-section10-1-1 "with clause 10.1.1")))) (section (name lrm-section13-9) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.9: Interface to Other Languages") (shortlabel "Section 13.9: Interface to Other Languages") (xrefs ( (lrm-section1-6 "allow 1.6") (lrm-section10-2 "body stub 10.2") (lrm-section10-1 "compilation unit 10.1") (lrm-section3-1 "declaration 3.1") (lrm-section3-9 "declarative item 3.9") (lrm-section3-9 "declarative part 3.9") (lrm-section6-5 "function result 6.5") (lrm-section10-1 "library unit 10.1") (lrm-section1-6 "must 1.6") (lrm-section4-1 "name 4.1") (lrm-section6-6 "overloaded subprogram 6.6") (lrm-section7-1 "package specification 7.1") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section2-8 "pragma 2.8") (lrm-chapter-6 "subprogram 6") (lrm-section6-3 "subprogram body 6.3") (lrm-section6-4 "subprogram call 6.4") (lrm-section6-1 "subprogram declaration 6.1")))) (section (name lrm-section13-10) (parent (lrm-chapter-13)) (documentname lrm) (longlabel "Section 13.10: Unchecked Programming") (shortlabel "Section 13.10: Unchecked Programming") (children (lrm-section13-10-1 lrm-section13-10-2 )) (xrefs ( (lrm-section12-1 "generic subprogram 12.1") (lrm-section10-1 "library unit 10.1") (lrm-section3-3 "type 3.3")))) (subsection (name lrm-section13-10-1) (parent lrm-section13-10) (documentname lrm) (longlabel "Section 13.10.1: Unchecked Storage Deallocation") (shortlabel "Section 13.10.1: Unchecked Storage Deallocation") (xrefs ( (lrm-section3-8 "access type 3.8") (lrm-section10-1-1 "apply 10.1.1") (lrm-section10-1 "compilation unit 10.1") (lrm-section9-1 "designate 3.8 9.1") (lrm-section1-6 "erroneous 1.6") (lrm-section12-3 "generic instantiation 12.3") (lrm-section12-1 "generic procedure 12.1") (lrm-chapter-12 "generic unit 12") (lrm-section10-1 "library unit 10.1") (lrm-section3-8 "null access value 3.8") (lrm-section3-2 "object 3.2") (lrm-chapter-6 "procedure 6") (lrm-section6-4 "procedure call 6.4") (lrm-section3-3 "subcomponent 3.3") (lrm-chapter-9 "task 9") (lrm-section9-2 "task object 9.2") (lrm-section8-3 "visibility 8.3") (lrm-section10-1-1 "with clause 10.1.1")))) (subsection (name lrm-section13-10-2) (parent lrm-section13-10) (documentname lrm) (longlabel "Section 13.10.2: Unchecked Type Conversions") (shortlabel "Section 13.10.2: Unchecked Type Conversions") (xrefs ( (lrm-section10-1-1 "apply 10.1.1") (lrm-section10-1 "compilation unit 10.1") (lrm-section1-6 "erroneous 1.6") (lrm-section12-1 "generic function 12.1") (lrm-section12-3 "instantiation 12.3") (lrm-section6-2 "parameter of a subprogram 6.2") (lrm-section3-3 "type 3.3") (lrm-section10-1-1 "with clause 10.1.1")))) (chapter (name lrm-chapter-14) (parent (lrm)) (documentname lrm) (longlabel "Chapter 14: Input-Output") (shortlabel "Chapter 14: Input-Output") (children ( lrm-section14-1 lrm-section14-2 lrm-section14-3 lrm-section14-4 lrm-section14-5 lrm-section14-6 lrm-section14-7 )) (xrefs ( (lrm-section14-2-4 "direct_io package 14.2 14.2.4") (lrm-section14-5 "io_exceptions package 14.5") (lrm-section14-6 "low_level_io package 14.6") (lrm-section14-2-2 "sequential_io package 14.2 14.2.2") (lrm-section14-3 "text_io package 14.3")))) (section (name lrm-section14-1) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.1: External Files and File Objects") (shortlabel "Section 14.1: External Files and File Objects") (xrefs ( (lrm-section14-2-1 "create procedure 14.2.1") (lrm-section14-2 "current index 14.2") (lrm-section14-2 "current size 14.2") (lrm-section14-2-1 "delete procedure 14.2.1") (lrm-section14-2 "direct access 14.2") (lrm-section14-2 "direct file procedure 14.2") (lrm-section14-2 "direct_io package 14.1 14.2") (lrm-section3-5-1 "enumeration type 3.5.1") (lrm-chapter-11 "exception 11") (lrm-section14-2-3 "file mode 14.2.3") (lrm-section12-3 "generic instantiation 12.3") (lrm-section14-2 "index 14.2") (lrm-section14-2-2 "input file 14.2.2") (lrm-section14-5 "io_exceptions package 14.5") (lrm-section14-1 "open file 14.1") (lrm-section14-2-1 "open procedure 14.2.1") (lrm-section14-2-2 "output file 14.2.2") (lrm-section14-2-4 "read procedure 14.2.4") (lrm-section14-2 "sequential access 14.2") (lrm-section14-2 "sequential file 14.2") (lrm-section14-2-2 "sequential input-output 14.2.2") (lrm-section14-2-2 "sequential_io package 14.2 14.2.2") (lrm-section3-6-3 "string 3.6.3") (lrm-section14-3 "text_io package 14.3") (lrm-section14-2-4 "write procedure 14.2.4")))) (section (name lrm-section14-2) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.2: Sequential and Direct Files") (shortlabel "Section 14.2: Sequential and Direct Files") (children (lrm-section14-2-1 lrm-section14-2-2 lrm-section14-2-3 lrm-section14-2-4 lrm-section14-2-5 )) (xrefs ( (lrm-section14-3 "count type 14.3") (lrm-section14-1 "file mode 14.1") (lrm-section14-1 "in_file 14.1") (lrm-section14-1 "out_file 14.1")))) (subsection (name lrm-section14-2-1) (parent lrm-section14-2) (documentname lrm) (longlabel "Section 14.2.1: File Management") (shortlabel "Section 14.2.1: File Management") (xrefs ( (lrm-section14-1 "current mode 14.1") (lrm-section14-1 "current size 14.1") (lrm-section14-1 "closed file 14.1") (lrm-section14-2 "direct access 14.2") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-1 "file_mode type 14.1") (lrm-section14-1 "file_type type 14.1") (lrm-section14-1 "form string 14.1") (lrm-section14-2-4 "inout_file 14.2.4") (lrm-section14-1 "mode 14.1") (lrm-section14-1 "name string 14.1") (lrm-section14-4 "name_error exception 14.4") (lrm-section14-1 "open file 14.1") (lrm-section14-1 "out_file 14.1") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-4 "use_error exception 14.4")))) (subsection (name lrm-section14-2-2) (parent lrm-section14-2) (documentname lrm) (longlabel "Section 14.2.2: Sequential Input-Output") (shortlabel "Section 14.2.2: Sequential Input-Output") (xrefs ( (lrm-section14-4 "data_error exception 14.4") (lrm-section14-1 "element 14.1") (lrm-section14-1 "element_type 14.1") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-1 "file mode 14.1") (lrm-section14-1 "file_type 14.1") (lrm-section14-1 "in_file 14.1") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-1 "out_file 14.1") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-4 "use_error exception 14.4")))) (subsection (name lrm-section14-2-3) (parent lrm-section14-2) (documentname lrm) (longlabel "Section 14.2.3: Specification of the Package Sequential_IO") (shortlabel "Section 14.2.3: Specification of the Package Sequential_IO") (xrefs ( (lrm-section14-2-1 "close procedure 14.2.1") (lrm-section14-2-1 "create procedure 14.2.1") (lrm-section14-4 "data_error exception 14.4") (lrm-section14-2-1 "delete procedure 14.2.1") (lrm-section14-4 "device_error exception 14.4") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-2-2 "end_of_file function 14.2.2") (lrm-section14-1 "file_mode 14.1") (lrm-section14-1 "file_type 14.1") (lrm-section14-2-1 "form function 14.2.1") (lrm-section14-1 "in_file 14.1") (lrm-section14-4 "io_exceptions 14.4") (lrm-section14-2-1 "is_open function 14.2.1") (lrm-section14-2-1 "mode function 14.2.1") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-2-1 "name function 14.2.1") (lrm-section14-4 "name_error exception 14.4") (lrm-section14-2-1 "open procedure 14.2.1") (lrm-section14-1 "out_file 14.1") (lrm-section14-2-2 "read procedure 14.2.2") (lrm-section14-2-1 "reset procedure 14.2.1") (lrm-section14-2-2 "sequential_io package 14.2 14.2.2") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-4 "use_error exception 14.4") (lrm-section14-2-2 "write procedure 14.2.2")))) (subsection (name lrm-section14-2-4) (parent lrm-section14-2) (documentname lrm) (longlabel "Section 14.2.4: Direct Input-Output") (shortlabel "Section 14.2.4: Direct Input-Output") (xrefs ( (lrm-section14-2 "count type 14.2") (lrm-section14-2 "current index 14.2") (lrm-section14-2 "current size 14.2") (lrm-section14-4 "data_error exception 14.4") (lrm-section14-1 "element 14.1") (lrm-section14-1 "element_type 14.1") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-1 "file mode 14.1") (lrm-section14-1 "file_type 14.1") (lrm-section14-1 "in_file 14.1") (lrm-section14-2 "index 14.2") (lrm-section14-1 "inout_file 14.1") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-1 "open file 14.1") (lrm-section14-3 "positive_count 14.3") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-4 "use_error exception 14.4")))) (subsection (name lrm-section14-2-5) (parent lrm-section14-2) (documentname lrm) (longlabel "Section 14.2.5: Specification of the Package Direct_IO") (shortlabel "Section 14.2.5: Specification of the Package Direct_IO") (xrefs ( (lrm-section14-2-1 "close procedure 14.2.1") (lrm-section14-2 "count type 14.2") (lrm-section14-2-1 "create procedure 14.2.1") (lrm-section14-4 "data_error exception 14.4") (lrm-section14-2-5 "default_mode 14.2.5") (lrm-section14-2-1 "delete procedure 14.2.1") (lrm-section14-4 "device_error exception 14.4") (lrm-section14-2-4 "element_type 14.2.4") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-2-4 "end_of_file function 14.2.4") (lrm-section14-2-5 "file_mode 14.2.5") (lrm-section14-2-4 "file_type 14.2.4") (lrm-section14-2-1 "form function 14.2.1") (lrm-section14-2-4 "in_file 14.2.4") (lrm-section14-2-4 "index function 14.2.4") (lrm-section14-2-1 "inout_file 14.2.4 14.2.1") (lrm-section14-4 "io_exceptions package 14.4") (lrm-section14-2-1 "is_open function 14.2.1") (lrm-section14-2-1 "mode function 14.2.1") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-2-1 "name function 14.2.1") (lrm-section14-4 "name_error exception 14.4") (lrm-section14-2-1 "open procedure 14.2.1") (lrm-section14-2-1 "out_file 14.2.1") (lrm-section14-2-4 "read procedure 14.2.4") (lrm-section14-2-4 "set_index procedure 14.2.4") (lrm-section14-2-4 "size function 14.2.4") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-4 "use_error exception 14.4") (lrm-section14-2-1 "write procedure 14.2.4 14.2.1")))) (section (name lrm-section14-3) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.3: Text Input-Output") (shortlabel "Section 14.3: Text Input-Output") (children (lrm-section14-3-1 lrm-section14-3-2 lrm-section14-3-3 lrm-section14-3-4 lrm-section14-3-5 lrm-section14-3-6 lrm-section14-3-7 lrm-section14-3-8 lrm-section14-3-9 lrm-section14-3-10 )) (xrefs ( (lrm-section14-3-10 "count type 14.3.10") (lrm-section14-3-2 "default current input file 14.3.2") (lrm-section14-3-2 "default current output file 14.3.2") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-1 "in_file 14.1") (lrm-section14-1 "out_file 14.1") (lrm-section14-3-5 "put procedure 14.3.5") (lrm-section14-2-2 "read 14.2.2") (lrm-section14-1 "sequential access 14.1") (lrm-section14-3-2 "standard input file 14.3.2") (lrm-section14-3-2 "standard output file 14.3.2")))) (subsection (name lrm-section14-3-1) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.1: File Management") (shortlabel "Section 14.3.1: File Management") (xrefs ( (lrm-section14-2-1 "create procedure 14.2.1") (lrm-section14-3 "current column number 14.3") (lrm-section14-3 "current default input file 14.3") (lrm-section14-3 "current line number 14.3") (lrm-section14-3 "current page number 14.3") (lrm-section14-3 "end_of_file 14.3") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-1 "file mode 14.1") (lrm-section14-3 "file terminator 14.3") (lrm-section14-1 "in_file 14.1") (lrm-section14-3 "line length 14.3") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-2-1 "open procedure 14.2.1") (lrm-section14-1 "out_file 14.1") (lrm-section14-3 "page length 14.3") (lrm-section14-2-1 "reset procedure 14.2.1")))) (subsection (name lrm-section14-3-2) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.2: Default Input and Output Files") (shortlabel "Section 14.3.2: Default Input and Output Files") (xrefs ( (lrm-section14-3 "current default file 14.3") (lrm-section14-3 "default file 14.3") (lrm-section14-1 "file_type 14.1") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-3-5 "put procedure 14.3.5") (lrm-section14-4 "status_error exception 14.4")))) (subsection (name lrm-section14-3-3) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.3: Specification of Line and Page Lengths") (shortlabel "Section 14.3.3: Specification of Line and Page Lengths") (xrefs ( (lrm-section14-3 "count type 14.3") (lrm-section14-3 "current default output file 14.3") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-1 "file_type 14.1") (lrm-section14-3 "line 14.3") (lrm-section14-3 "line length 14.3") (lrm-section14-3 "line terminator 14.3") (lrm-section14-3 "maximum line length 14.3") (lrm-section14-3 "maximum page length 14.3") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-1 "open file 14.1") (lrm-section14-1 "out_file 14.1") (lrm-section14-3 "page 14.3") (lrm-section14-3 "page length 14.3") (lrm-section14-3 "page terminator 14.3") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-3 "unbounded page length 14.3") (lrm-section14-4 "use_error exception 14.4")))) (subsection (name lrm-section14-3-4) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.4: Operations on Columns, Lines, and Pages") (shortlabel "Section 14.3.4: Operations on Columns, Lines, and Pages") (xrefs ( (lrm-section14-3 "current column number 14.3") (lrm-section14-3 "current default file 14.3") (lrm-section14-3 "current line number 14.3") (lrm-section14-3 "current page number 14.3") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-1 "file 14.1") (lrm-section14-3 "file terminator 14.3") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-1 "in_file 14.1") (lrm-section14-4 "layout_error exception 14.4") (lrm-section14-3 "line 14.3") (lrm-section14-3 "line number 14.3") (lrm-section14-3 "line terminator 14.3") (lrm-section14-3 "maximum page length 14.3") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-1 "open file 14.1") (lrm-section14-3 "page 14.3") (lrm-section14-3 "page length 14.3") (lrm-section14-3 "page terminator 14.3") (lrm-section14-3 "positive count 14.3") (lrm-section14-4 "status_error exception 14.4")))) (subsection (name lrm-section14-3-5) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.5: Get and Put Procedures") (shortlabel "Section 14.3.5: Get and Put Procedures") (xrefs ( (lrm-section14-3-9 "blank 14.3.9") (lrm-section14-3 "column number 14.3") (lrm-section14-3 "current default file 14.3") (lrm-section14-4 "data_error exception 14.4") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-1 "file 14.1") (lrm-section14-3-8 "fore 14.3.8") (lrm-section14-3-9 "get procedure 14.3.6 14.3.7 14.3.8 14.3.9") (lrm-section14-1 "in_file 14.1") (lrm-section14-4 "layout_error exception 14.4") (lrm-section14-1 "line number 14.1") (lrm-section14-1 "line terminator 14.1") (lrm-section14-3 "maximum line length 14.3") (lrm-section14-1 "mode 14.1") (lrm-section14-4 "mode_error exception 14.4") (lrm-section14-3-4 "new_file procedure 14.3.4") (lrm-section14-1 "out_file 14.1") (lrm-section14-1 "page number 14.1") (lrm-section14-1 "page terminator 14.1") (lrm-section14-3-9 "put procedure 14.3.6 14.3.7 14.3.8 14.3.9") (lrm-section14-3-9 "skipping 14.3.7 14.3.8 14.3.9") (lrm-section14-4 "status_error exception 14.4") (lrm-section14-3-9 "width 14.3.5 14.3.7 14.3.9")))) (subsection (name lrm-section14-3-6) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.6: Input-Output of Characters and Strings") (shortlabel "Section 14.3.6: Input-Output of Characters and Strings") (xrefs ( (lrm-section14-3 "current column number 14.3") (lrm-section14-4 "end_error exception 14.4") (lrm-section14-1 "file 14.1") (lrm-section14-3 "file terminator 14.3") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-3 "line 14.3") (lrm-section14-3 "line length 14.3") (lrm-section14-3-4 "new_line procedure 14.3.4") (lrm-section14-3 "page terminator 14.3") (lrm-section14-3-4 "put procedure 14.3.4") (lrm-section14-3-5 "skipping 14.3.5")))) (subsection (name lrm-section14-3-7) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.7: Input-Output for Integer Types") (shortlabel "Section 14.3.7: Input-Output for Integer Types") (xrefs ( (lrm-section2-4-2 "based literal 2.4.2") (lrm-section14-3-5 "blank 14.3.5") (lrm-section14-4 "data_error exception 14.4") (lrm-section2-4-1 "decimal literal 2.4.1") (lrm-section14-3-5 "field subtype 14.3.5") (lrm-section14-1 "file_type 14.1") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-3-10 "integer_io package 14.3.10") (lrm-section2-4 "integer literal 2.4") (lrm-section14-4 "layout_error exception 14.4") (lrm-section14-3 "line terminator 14.3") (lrm-section14-3-5 "put procedure 14.3.5") (lrm-section14-3-5 "skipping 14.3.5") (lrm-section14-3-5 "width 14.3.5")))) (subsection (name lrm-section14-3-8) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.8: Input-Output for Real Types") (shortlabel "Section 14.3.8: Input-Output for Real Types") (xrefs ( (lrm-section3-5-10 "aft attribute 3.5.10") (lrm-section2-4-2 "based literal 2.4.2") (lrm-section14-3-5 "blank 14.3.5") (lrm-section14-3-5 "data_error exception 14.3.5") (lrm-section2-4-1 "decimal literal 2.4.1") (lrm-section14-3-5 "field subtype 14.3.5") (lrm-section14-1 "file_type 14.1") (lrm-section14-3-10 "fixed_io package 14.3.10") (lrm-section14-3-10 "floating_io package 14.3.10") (lrm-section3-5-10 "fore attribute 3.5.10") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-3-5 "layout_error 14.3.5") (lrm-section14-3-5 "line terminator 14.3.5") (lrm-section14-3-5 "put procedure 14.3.5") (lrm-section2-4 "real literal 2.4") (lrm-section14-3-5 "skipping 14.3.5") (lrm-section14-3-5 "width 14.3.5")))) (subsection (name lrm-section14-3-9) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.9: Input-Output for Enumeration Types") (shortlabel "Section 14.3.9: Input-Output for Enumeration Types") (xrefs ( (lrm-section14-3-5 "blank 14.3.5") (lrm-section14-3-5 "data_error 14.3.5") (lrm-section14-3-10 "enumeration_io package 14.3.10") (lrm-section14-3-5 "field subtype 14.3.5") (lrm-section14-1 "file_type 14.1") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-3-5 "line terminator 14.3.5") (lrm-section14-3-5 "put procedure 14.3.5") (lrm-section14-3-5 "skipping 14.3.5") (lrm-section14-3-5 "width 14.3.5")))) (subsection (name lrm-section14-3-10) (parent lrm-section14-3) (documentname lrm) (longlabel "Section 14.3.10: Specification of the Package Text_IO") (shortlabel "Section 14.3.10: Specification of the Package Text_IO")) (section (name lrm-section14-4) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.4: Exceptions in Input-Output") (shortlabel "Section 14.4: Exceptions in Input-Output") (xrefs ( (lrm-section14-3-4 "col function 14.3.4") (lrm-section14-2-1 "create procedure 14.2.1") (lrm-section14-3-4 "end_of_line function 14.3.4") (lrm-section14-3-4 "end_of_page function 14.3.4") (lrm-section14-1 "external file 14.1") (lrm-section14-1 "file 14.1") (lrm-section14-1 "form string 14.1") (lrm-section14-3-5 "get procedure 14.3.5") (lrm-section14-1 "in_file 14.1") (lrm-section14-5 "io_exceptions package 14.5") (lrm-section14-3-4 "line function 14.3.4") (lrm-section14-3-4 "line_length function 14.3.4") (lrm-section14-1 "name string 14.1") (lrm-section14-3-4 "new_line procedure 14.3.4") (lrm-section14-3-4 "new_page procedure 14.3.4") (lrm-section14-2-1 "open procedure 14.2.1") (lrm-section14-1 "out_file 14.1") (lrm-section14-3-4 "page function 14.3.4") (lrm-section14-3-4 "page_length function 14.3.4") (lrm-section14-3-5 "put procedure 14.3.5") (lrm-section14-2-3 "read procedure 14.2.2 14.2.3") (lrm-section14-3-2 "set_input procedure 14.3.2") (lrm-section14-3-3 "set_line_length 14.3.3") (lrm-section14-3-3 "set_page_length 14.3.3") (lrm-section14-3-2 "set_output 14.3.2") (lrm-section14-3-4 "skip_line procedure 14.3.4") (lrm-section14-3-4 "skip_page procedure 14.3.4") (lrm-section14-3 "text_io package 14.3")))) (section (name lrm-section14-5) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.5: Specification of the Package IO_Exceptions") (shortlabel "Section 14.5: Specification of the Package IO_Exceptions")) (section (name lrm-section14-6) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.6: Low Level Input-Output") (shortlabel "Section 14.6: Low Level Input-Output")) (section (name lrm-section14-7) (parent (lrm-chapter-14)) (documentname lrm) (longlabel "Section 14.7: Example of Input-Output") (shortlabel "Section 14.7: Example of Input-Output")) (chapter (name lrm-annex-a) (documentname lrm) (longlabel "Annex A: Predefined Language Attributes") (shortlabel "Annex A: Predefined Language Attributes") (parent (lrm))) (chapter (name lrm-annex-b) (documentname lrm) (longlabel "Annex B: Predefined Language Pragmas") (shortlabel "Annex B: Predefined Language Pragmas") (parent (lrm))) (chapter (name lrm-annex-c) (documentname lrm) (longlabel "Annex C: Predefined Language Environment") (shortlabel "Annex C: Predefined Language Environment") (parent (lrm))) (chapter (name lrm-appendix-d) (documentname lrm) (longlabel "Appendix D : Glossary") (shortlabel "Appendix D : Glossary") (parent (lrm))) (chapter (name lrm-appendix-e) (documentname lrm) (longlabel "Appendix E: Syntax Summary") (shortlabel "Appendix E: Syntax Summary") (parent (lrm))) (chapter (name lrm-appendix-f) (documentname lrm) (longlabel "Appendix F: Implementation-Dependent Characteristics") (shortlabel "Appendix F: Implementation-Dependent Characteristics") (parent (lrm)))