Ada '83 Language Reference Manual

Copyright 1980, 1982, 1983 owned by the United States Government. Direct reproduction and usage requests to the Ada Information Clearinghouse.


Ada LRM - Index I

Identifier 2.3 (2.3); 2.2 (2.2)
  [see also: direct visibility, loop parameter, name, overloading of...,
  scope of..., simple name, visibility]
     and an adjacent separator 2.2 (2.2)
     as an attribute designator 4.1.4 (4.1.4)
     as a designator 6.1 (6.1)
     as a reserved word 2.9 (2.9)
     as a simple name 4.1 (4.1)
     can be written in the basic character set 2.10 (2.10)
     denoting an object 3.2.1 (3.2.1)
     denoting a value 3.2.2 (3.2.2)
     in a deferred constant declaration 7.4.3 (7.4.3)
     in an entry declaration 9.5 (9.5)
     in an exception declaration 11.1 (11.1)
     in a generic instantiation 12.3 (12.3)
     in an incomplete type declaration 3.8.1 (3.8.1)
     in a number declaration 3.2.2 (3.2.2)
     in an object declaration 3.2 (3.2)
     in a package specification 7.1 (7.1)
     in a private type declaration 7.4 (7.4); 7.4.1 (7.4.1)
     in a renaming declaration 8.5 (8.5)
     in a subprogram specification 6.1 (6.1)
     in a task specification 9.1 (9.1)
     in a type declaration 3.3.1 (3.3.1); 7.4.1 (7.4.1)
     in its own declaration 8.3 (8.3)
     in pragma system_name 13.7 (13.7)
     of an argument of a pragma 2.8 (2.8)
     of an enumeration value 3.5.1 (3.5.1)
     of a formal parameter of a generic formal subprogram 12.1.3 (12.1.3)
     of a generic formal object 12.1 (12.1), 12.1.1 (12.1.1)
     of a generic formal subprogram 12.1 (12.1); 12.1.3 (12.1.3)
     of a generic formal type 12.1 (12.1); 12.1.2 (12.1.2)
     of a generic unit 12.1 (12.1)
     of a library unit 10.1 (10.1)
     of a pragma 2.8 (2.8)
     of a subprogram 6.1 (6.1)
     of a subtype 3.3.2 (3.3.2)
     of a subunit 10.2 (10.2)
     of homograph declarations 8.3 (8.3)
     overloaded 6.6 (6.6)
     versus simple name 3.1 (3.1) 

Identifier list 3.2 (3.2)              
     in a component declaration, 3.7 (3.7)
     in a deferred constant declaration 7.4 (7.4)
     in a discriminant specification 3.7.1 (3.7.1)
     in a generic parameter declaration for generic formal objects 12.1 (12.1)
     in a number declaration 3.2 (3.2)
     in an object declaration 3.2 (3.2)
     in a parameter specification 6.1 (6.1) 

Identity operation 4.5.4 (4.5.4) 

If statement 5.3 (5.3)
  [see also: statement]
     as a compound statement 5.1 (5.1) 

Illegal 1.6 (1.6)

IMAGE (predefined attribute) 3.5.5 (3.5.5); A (A) 

Immediate scope 8.2 (8.2); 8.3 (8.3) 

Immediately within (a declarative region) 
  [see: occur immediately within]

Implementation defined
  [see: system dependent]

Implementation defined pragma F (F)

Implementation dependent
  [see: system dependent] 

Implicit conversion 4.6 (4.6)
  [see also: conversion operation, explicit conversion, subtype conversion,
  type conversion]
     of an integer literal to an integer type 3.5.4 (3.5.4)
     of a real literal to a real type 3.5.6 (3.5.6) 
     of a universal expression 3.5.4 (3.5.4), 3.5.6 (3.5.6)
     of a universal real expression 4.5.7 (4.5.7)
     
Implicit declaration 3.1 (3.1); 4.1 (4.1)
  [see also: scope of...]
     by a type declaration 4.5 (4.5)
     hidden by an explicit declaration 8.3 (8.3)
     of a basic operation 3.1 (3.1), 3.3.3 (3.3.3)
     of a block name, loop name, or label 5.1 (5.1); 3.1 (3.1)
     of a derived subprogram 3.3.3 (3.3.3), 3.4 (3.4)
     of an enumeration literal 3.3.3 (3.3.3)
     of an equality operator 6.7 (6.7)
     of an exception due to an instantiation 11.1 (11.1)
     of a library unit 8.6 (8.6), 10.1 (10.1)
     of a predefined operator 4.5 (4.5)
     of universal_fixed operators 4.5.5 (4.5.5) 

Implicit initialization of an object
  [see: allocator, default initial value] 

Implicit representation clause
     for a derived type 3.4 (3.4) 

In membership test
  [see: membership test]

In mode
  [see: mode in] 

In out mode
  [see: mode in out] 

IN_FILE (input-output file_mode enumeration literal) 14.1 (14.1)

Inclusive disjunction
  [see: logical operator] 

Incompatibility (of constraints)
  [see: compatibility] 

Incomplete type 3.8.1 (3.8.1)
   corresponding full type declaration 3.3.1 (3.3.1) 

Incomplete type declaration 3.8.1 (3.8.1); 3.3.1 (3.3.1), 7.4.1 (7.4.1)
     as a portion of a declarative region 8.1 (8.1) 

Incorrect order dependence 1.6 (1.6)
  [see also: program error]
     assignment statement 5.2 (5.2)
     bounds of a range constraint 3.5 (3.5)
     component association of an array aggregate 4.3.2 (4.3.2)
     component association of a record aggregate 4.3.1 (4.3.1)
     component subtype indication 3.6 (3.6)
     default expression for a component 3.2.1 (3.2.1)
     default expression for a discriminant 3.2.1 (3.2.1)
     expression 4.5 (4.5)
     index constraint 3.6 (3.6) 
     library unit 10.5 (10.5)
     parameter association 6.4 (6.4)
     prefix and discrete range of a slice 4.1.2 (4.1.2)

Index 3.6 (3.6); D (D)
  [see also: array, discrete type, entry index] 

INDEX (input-output function)
     in an instance of direct_io 14.2.4 (14.2.4); 14.2.5 (14.2.5) 

Index constraint 3.6 (3.6), 3.6.1 (3.6.1); D (D)
  [see also: dependence on a discriminant]
     ignored due to index_check suppression 11.7 (11.7)
     in an allocator 4.8 (4.8)
     in a constrained array definition 3.6 (3.6)
     in a subtype indication 3.3.2 (3.3.2)
     on an access type 3.8 (3.8)
     violated 11.1 (11.1) 

Index of an element in a direct access file 14.2 (14.2); 14.2.4 (14.2.4)

Index range 3.6 (3.6)
     matching 4.5.2 (4.5.2) 

Index subtype 3.6 (3.6) 

Index subtype definition 3.6 (3.6)  

Index type
     of a choice in an array aggregate 4.3.2 (4.3.2)
     of a generic formal array type 12.3.4 (12.3.4) 

Index_check
  [see: constraint_error, suppress] 

Indexed component 4.1.1 (4.1.1); 3.6 (3.6), D (D)
     as a basic operation 3.3.3 (3.3.3); 3.3 (3.3), 3.6.2 (3.6.2), 3.8.2 (3.8.2)
     as a name 4.1 (4.1)
     as the name of an entry 9.5 (9.5)
     of a value of a generic formal array type 12.1.2 (12.1.2)

Indication
  [see: subtype indication] 

Inequality compound delimiter 2.2 (2.2) 

Inequality operation 4.5 (4.5); 4.5.2 (4.5.2)
  [see also: limited type, relational operator]
     cannot be explicitly declared 6.7 (6.7)
     for an access type 3.8.2 (3.8.2)
     for an array type 3.6.2 (3.6.2)
     for a generic formal type 12.1.2 (12.1.2)
     for a real type 4.5.7 (4.5.7)
     for a real type 4.5.7 (4.5.7)
     not available for a limited type 7.4.4 (7.4.4) 
                                   
Initial value (of an object) 3.2.1 (3.2.1)
  [see also: allocator, composite type, default expression, default initial
  value, default initialization]
     in an allocator 4.8 (4.8); 3.8 (3.8), 7.4.4 (7.4.4)
     of an array object 3.6.1 (3.6.1)
     of a constant 3.2.1 (3.2.1)
     of a constant in a static expression 4.9 (4.9)
     of a discriminant of a formal parameter 6.2 (6.2)
     of a discriminant of an object 3.7.2 (3.7.2) 
     of a limited private type object 7.4.4 (7.4.4)
     of an object declared in a package 7.1 (7.1)
     of an out mode formal parameter 6.2 (6.2)
     of a record object 3.7.2 (3.7.2) 

Initialization
  [see: assignment, default expression, default
        initialization, initial value] 

INLINE (predefined pragma) 6.3.2 (6.3.2); B (B)
     creating recompilation dependence 10.3 (10.3) 

INOUT_FILE (input-output file_mode enumeration literal) 14.1 (14.1)

Input-output 14 (14)
  [see also: direct_io, io_exceptions, low_level_io, sequential_io, text_io]
     at device level 14.6 (14.6)
     exceptions 14.4 (14.4); 14.5 (14.5)
     with a direct access file 14.2.4 (14.2.4)
     with a sequential file 14.2.2 (14.2.2)
     with a text file 14.3 (14.3) 

Instance
  [see: generic instance] 

Instantiation
  [see: generic instantiation] 

INTEGER (predefined type) 3.5.4 (3.5.4); C (C)
     as base type of a loop parameter 5.5 (5.5)
     as default type for the bounds of a discrete range 3.6.1 (3.6.1); 9.5 (9.5)

Integer literal 2.4 (2.4)
  [see also: based integer literal, universal_integer type]
     as a bound of a discrete range 9.5 (9.5)
     as a universal integer literal 3.5.4 (3.5.4)
     in based notation 2.4.2 (2.4.2)
     in decimal notation 2.4.1 (2.4.1) 

Integer part
     as a base of a based literal 2.4.2 (2.4.2)
     of a decimal literal 2.4.1 (2.4.1) 

Integer predefined type 3.5.4 (3.5.4)
  [see also: INTEGER, LONG_INTEGER, SHORT_INTEGER] 

Integer subtype
  [see: priority]
     due to an integer type definition 3.5.4 (3.5.4) 

Integer type 3.5.4 (3.5.4); 3.3 (3.3), 3.5 (3.5), D (D)
  [see also: discrete type, numeric type, predefined type, scalar type,
  system.max_int, system.min_int, universal_integer type]
     as a generic formal type 12.1.2 (12.1.2)
     as a generic parameter 12.3.3 (12.3.3)
     operation 3.5.5 (3.5.5); 4.5.3 (4.5.3), 4.5.4 (4.5.4), 4.5.5 (4.5.5), 4.5.6 (4.5.6)
     result of a conversion from a numeric type 4.6 (4.6)
     result of an operation out of range of the type 4.5 (4.5)

Integer type declaration
  [see: integer type definition]     

Integer type definition 3.5.4 (3.5.4); 3.3.1 (3.3.1)
  [see also: elaboration of...] 

INTEGER_IO (text_io inner generic package) 14.3.6 (14.3.6); 14.3.10 (14.3.10)

INTERFACE (predefined pragma) 13.9 (13.9); B (B) 

Interface to other languages 13.9 (13.9)

Interrupt 13.5 (13.5) 

Interrupt entry 13.5.1 (13.5.1)
  [see also: address attribute] 

Interrupt queue
  [see: entry queue] 

IO_EXCEPTIONS (predefined input-output package) 14.4 (14.4); C (C), 14 (14), 14.1 (14.1), 14.2.3 (14.2.3),
14.2.5 (14.2.5), 14.3.10 (14.3.10), C (C)
     specification 14.5 (14.5)

IS_OPEN (input-output function)
     in an instance of direct_io 14.2.1 (14.2.1); 14.2.5 (14.2.5)
     in an instance of sequential_io 14.2.1 (14.2.1), 14.2.3 (14.2.3)
     in text_io 14.2.1 (14.2.1); 14.3.10 (14.3.10)

ISO (international organization for standardization) 2.1 (2.1) 

ISO seven bit coded character set 2.1 (2.1)

Item
  [see: basic declarative item, later declarative item] 

Iteration scheme 5.5 (5.5)
  [see also: discrete type]    


[Ada Information Clearinghouse]

Address any questions or comments to adainfo@sw-eng.falls-church.va.us.