Ada LRM - Index E
Effect
[see: elaboration has no other effect]
ELABORATE (predefined pragma) 10.5 (10.5); B (B)
Elaborated 3.9 (3.9)
Elaboration 3.9 (3.9); 3.1 (3.1), 3.3 (3.3), D (D), 10.1 (10.1)
[see also: exception raised during..., order of elaboration]
optimized 10.6 (10.6)
Elaboration has no other effect 3.1 (3.1)
Elaboration of
an access type definition 3.8 (3.8)
an array type definition 3.6 (3.6)
a body stub 10.2 (10.2)
a component declaration 3.7 (3.7)
a component subtype definition 3.7 (3.7)
a constrained array definition 3.6 (3.6)
a declaration 3.1 (3.1)
a declarative item 3.9 (3.9)
a declarative part 3.9 (3.9)
a deferred constant declaration 7.4.3 (7.4.3)
a derived type definition 3.4 (3.4)
a discriminant constraint 3.7.2 (3.7.2)
a discriminant part 3.7.1 (3.7.1)
a discriminant specification 3.7.1 (3.7.1)
an entry declaration 9.5 (9.5)
an enumeration literal specification 3.5.1 (3.5.1)
an enumeration type definition 3.5.1 (3.5.1)
a fixed point type declaration 3.5.9 (3.5.9)
a floating point type declaration 3.5.7 (3.5.7)
a formal part 6.1 (6.1)
a full type declaration 3.3.1 (3.3.1)
a generic body 12.2 (12.2)
a generic declaration 12.1 (12.1)
a generic instantiation 12.3 (12.3)
an incomplete type declaration 3.8.1 (3.8.1)
an index constraint 3.6.1 (3.6.1)
an integer type definition 3.5.4 (3.5.4)
a library unit 10.5 (10.5)
a loop parameter specification 5.5 (5.5)
an object declaration 3.2.1 (3.2.1)
a package body 7.3 (7.3)
a package declaration 7.2 (7.2)
a parameter specification 6.1 (6.1)
a private type declaration 7.4.1 (7.4.1)
a range constraint 3.5 (3.5)
a real type definition 3.5.6 (3.5.6)
a record type definition 3.7 (3.7)
a renaming declaration 8.5 (8.5)
a representation clause 13.1 (13.1)
a subprogram body 6.3 (6.3)
a subprogram declaration 6.1 (6.1)
a subtype declaration 3.3.2 (3.3.2)
a subtype indication 3.3.2 (3.3.2)
a task body 9.1 (9.1)
a task declaration9.1 (9.1)
a task specification 9.1 (9.1)
a type declaration 3.3.1 (3.3.1), 3.8.1 (3.8.1), 7.4.1 (7.4.1)
a type definition 3.3.1 (3.3.1);
an unconstrained array definition 3.6 (3.6)
a use clause 8.4 (8.4)
Elaboration_check
[see: program_error exception, suppress]
Element in a file 14 (14), 14.1 (14.1); 14.2 (14.2)
in a direct access file 14.2.4 (14.2.4)
in a sequential access file 14.2.2 (14.2.2)
ELEMENT_TYPE (generic formal type of direct_io) 14.2.5 (14.2.5); 14.1 (14.1), 14.2.4 (14.2.4)
ELEMENT_TYPE (generic formal type of sequential_io) 14.2.3 (14.2.3); 14.1 (14.1), 14.2.2 (14.2.2)
Else part
of a conditional entry call 9.7.2 (9.7.2)
of an if statement 5.3 (5.3)
of a selective wait 9.7.1 (9.7.1); 11.1 (11.1)
EMAX (predefined attribute) 3.5.8 (3.5.8); A (A)
[see also: machine_emax]
Emin
[see: machine_emin]
Empty string literal 2.6 (2.6)
End of line 2.2 (2.2)
as a separator 2.2 (2.2)
due to a format effector 2.2 (2.2)
terminating a comment 2.7 (2.7)
END_ERROR (input-output exception) 14.4 (14.4); 14.2.2 (14.2.2), 14.2.3 (14.2.3), 14.2.4 (14.2.4), 14.2.5 (14.2.5),
14.3.4 (14.3.4), 14.3.5 (14.3.5), 14.3.6 (14.3.6), 14.3.10 (14.3.10), 14.5 (14.5)
END_OF_FILE (input-output function)
in an instance of direct_io 14.2.4 (14.2.4); 14.2.5 (14.2.5)
in an instance of sequential_io 14.2.2 (14.2.2); 14.2.3 (14.2.3)
in text_io 14.3.1 (14.3.1), 14.3.10 (14.3.10)
END_OF_LINE (text_io function) 14.3.4 (14.3.4); 14.3.10 (14.3.10)
raising an exception 14.4 (14.4)
END_OF_PAGE (text_io function) 14.3.4 (14.3.4); 14.3.10 (14.3.10), 14.4 (14.4)
Entry (of a task) 9.5 (9.5); 9 (9), 9.2 (9.2), D (D)
[see also: actual parameter, address attribute, attribute of...,
formal parameter, interrupt entry, overloading of..., parameter and
result type profile, parameter, subprogram]
declared by instantiation of a generic formal parameter 12.3 (12.3)
denoted by an indexed component 4.1.1 (4.1.1)
denoted by a selected component 4.1.3 (4.1.3)
name [see: name of an entry]
name starting with a prefix 4.1 (4.1)
of a derived task type 3.4 (3.4)
of a task designated by an object of a task type 9.5 (9.5)
renamed 8.5 (8.5)
subject to an address clause 13.5 (13.5), 13.5.1 (13.5.1)
subject to a representation clause 13.1 (13.1)
Entry call 9.5 (9.5); 9 (9), 9.7.1 (9.7.1), 9.7.2 (9.7.2), 9.7.3 (9.7.3)
[see also: actual parameter, conditional entry call, subprogram call,
timed entry call]
to an abnormal task 9.5 (9.5), 9.10 (9.10), 11.5 (11.5); 9.5 (9.5)
to communicate values 9.11 (9.11)
Entry call statement 9.5 (9.5)
[see also: accept statement, actual parameter, statement, task declaration,
task]
as a simple statement 5.1 (5.1)
in an abnormal task 9.10 (9.10)
in a conditional entry call 9.7.2 (9.7.2); 9.5 (9.5)
in a timed entry call 9.7.3 (9.7.3); 9.5 (9.5)
Entry declaration 9.5 (9.5)
[see also: elaboration of...]
as an overloaded declaration 8.3 (8.3)
as part of a basic declaration 3.1 (3.1)
cannot include a forcing occurrence 13.1 (13.1)
having an extended scope 8.2 (8.2)
in a task specification 9.1 (9.1)
including the name of a private type 7.4.1 (7.4.1)
visibility 8.3 (8.3)
Entry family 9.5 (9.5)
denoted by a selected component 4.1.3 (4.1.3)
name starting with a prefix 4.1 (4.1)
Entry index (in the name of an entry of a family) 9.5 (9.5)
for an open accept alternative 9.7.1 (9.7.1)
in a conditional entry call 9.7.2 (9.7.2)
in a timed entry call 9.7.3 (9.7.3)
Entry queue (of calls awaiting acceptance) 9.5 (9.5)
count of calls in the queue 9.9 (9.9)
due to queued interrupts 13.5.1 (13.5.1)
of an abnormal task 9.10 (9.10)
Enumeration literal 3.5.1 (3.5.1), 4.2 (4.2)
[see also: overloading of..., predefined function]
as an operation 3.3.3 (3.3.3)
as an operator 3.5.5 (3.5.5)
as result for image attribute 3.5.5 (3.5.5)
as the parameter for value attribute 3.5.5 (3.5.5)
implicitly declared 3.3.3 (3.3.3)
in a static expression 4.9 (4.9)
in pragma system_name 13.7 (13.7)
of a derived type 3.4 (3.4)
overloaded 8.3 (8.3)
renamed as a function 8.5 (8.5)
representation 13.3 (13.3)
Enumeration literal specification 3.5.1 (3.5.1)
as part of a basic declaration 3.1 (3.1)
made directly visible by a use clause 8.4 (8.4)
Enumeration representation clause 13.3 (13.3)
as a representation clause 13.1 (13.1)
Enumeration type 3.5.1 (3.5.1); 3.3 (3.3), 3.5 (3.5), D (D)
[see also: discrete type, scalar type]
as a character type 3.5.2 (3.5.2)
as a generic formal type 12.1.2 (12.1.2)
as a generic parameter 12.3.3 (12.3.3)
boolean 3.5.3 (3.5.3)
operation 3.5.5 (3.5.5)
subject to an attribute 3.5.5 (3.5.5)
Enumeration type definition 3.5.1 (3.5.1); 3.3.1 (3.3.1)
[see also: elaboration of...]
ENUMERATION_IO (text_io inner generic package) 14.3.9 (14.3.9); 14.3.10 (14.3.10)
Environment of a program 10.4 (10.4)
environment task calling the main program 10.1 (10.1)
EPSILON (predefined attribute) 3.5.8 (3.5.8); A (A)
Equal
character 2.1 (2.1)
delimiter 2.2 (2.2)
Equality operator 4.5 (4.5); 4.5.2 (4.5.2)
[see also: limited type, relational operator]
explicitly declared 4.5.2 (4.5.2), 6.7 (6.7); 7.4.4 (7.4.4)
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 limited type 4.5.2 (4.5.2), 7.4.4 (7.4.4)
for a real type 4.5.7 (4.5.7)
for a record type 3.7.4 (3.7.4)
Erroneous execution 1.6 (1.6)
[see also: program_error]
due to an access to a deallocated object 13.10.1 (13.10.1)
due to an unchecked conversion violating properties of objects of the
result type 13.10.2 (13.10.2)
due to assignment to a shared variable 9.11 (9.11)
due to changing of a discriminant value 5.2 (5.2), 6.2 (6.2)
due to independence on parameter-passing mechanism 6.2 (6.2)
due to multiple address clauses for overlaid entities 13.5 (13.5)
due to suppression of an exception check 11.7 (11.7)
due to use of an undefined value 3.2.1 (3.2.1)
Error bounds of a predefined operation of a real type 3.5.9 (3.5.9), 4.5.7 (4.5.7); 3.5.6 (3.5.6),
3.5.7 (3.5.7)
Error detected at
compilation time 1.6 (1.6)
run time 1.6 (1.6)
Error situation 1.6 (1.6), 11 (11), 11.1 (11.1); 11.6 (11.6)
Error that may not be detected 1.6 (1.6)
Evaluation (of an expression) 4.5 (4.5); D (D)
[see also: compile time evaluation, expression]
at compile time 4.9 (4.9), 10.6 (10.6)
of an actual parameter 6.4.1 (6.4.1)
of an aggregate 4.3 (4.3); 3.3.3 (3.3.3)
of an allocator 4.8 (4.8)
of an array aggregate 4.3.2 (4.3.2)
of a condition 5.3 (5.3), 5.5 (5.5), 5.7 (5.7), 9.7.1 (9.7.1)
of a default expression 3.7.2 (3.7.2)
of a default expression for a formal parameter 6.4.2 (6.4.2); 6.1 (6.1)
of a discrete range 3.5 (3.5); 9.5 (9.5)
of a discrete range used in an index constraint 3.6.1 (3.6.1)
of an entry index 9.5 (9.5)
of an expression in an assignment statement 5.2 (5.2)
of an expression in a constraint 3.3.2 (3.3.2)
of an expression in a generic actual parameter 12.3 (12.3)
of an indexed component 4.1.1 (4.1.1)
of an initial value [see: default expression]
of a literal 4.2 (4.2); 3.3.3 (3.3.3)
of a logical operation 4.5.1 (4.5.1)
of a name 4.1 (4.1); 4.1.1 (4.1.1), 4.1.2 (4.1.2), 4.1.3 (4.1.3), 4.1.4 (4.1.4)
of a name in an abort statement 9.10 (9.10)
of a name in a renaming declaration 8.5 (8.5)
of a name of a variable 5.2 (5.2), 6.4.1 (6.4.1), 12.3 (12.3)
of a primary 4.4 (4.4)
of a qualified expression 4.7 (4.7); 4.8 (4.8)
of a range 3.5 (3.5)
of a record aggregate 4.3.1 (4.3.1)
of a short circuit control form 4.5.1 (4.5.1)
of a static expresion 4.9 (4.9)
of a type conversion 4.6 (4.6)
of a universal expression 4.10 (4.10)
of the bounds of a loop parameter 5.5 (5.5)
of the conditions of a selective wait 9.7.1 (9.7.1)
Evaluation order
[see: order of evaluation]
Exception 11 (11); 1.6 (1.6), D (D)
[see also: constraint_error, numeric_error, predefined .., program_error,
raise statement, raising of .., storage_error, tasking_error, time_error]
as an entity 3.1 (3.1)
causing a loop to be exited 5.5 (5.5)
causing a transfer of control 5.1 (5.1)
due to an expression evaluated at compile time 10.6 (10.6)
implicitly declared in a generic instantiation 11.1 (11.1)
in input-output 14.4 (14.4); 14.5 (14.5)
renamed 8.5 (8.5)
suppress pragma 11.7 (11.7)
Exception choice 11.2 (11.2)
Exception declaration 11.1 (11.1); 11 (11)
as a basic declaration 3.1 (3.1)
Exception handler 11.2 (11.2); D (D)
in an abnormal task 9.10 (9.10)
in a block statement 5.6 (5.6)
in a package body 7.1 (7.1); 7.3 (7.3)
in a subprogram body 6.3 (6.3)
in a task body 9.1 (9.1)
including a raise statement 11.3 (11.3)
including the destination of a goto statement 5.9 (5.9)
including the name of an exception 11.1 (11.1)
not allowed in a code procedure body 13.8 (13.8)
raising an exception 11.4.1 (11.4.1)
selected to handle an exception 11.4.1 (11.4.1); 11.6 (11.6)
Exception handling 11.4 (11.4); 11.4.1 (11.4.1), 11.4.2 (11.4.2), 11.5 (11.5)
Exception propagation 11 (11)
delayed by a dependent task 11.4.1 (11.4.1)
from a declaration 11.4.2 (11.4.2)
from a predefined operation 11.6 (11.6)
from a statement 11.4.1 (11.4.1)
to a communicating task 11.5 (11.5)
Exception raised during execution or elaboration of
an accept statement 11.5 (11.5)
an allocator of a task 9.3 (9.3)
a conditional entry 9.7.2 (9.7.2)
a declaration 11.4.2 (11.4.2); 11.4 (11.4)
a declarative part that declares tasks 9.3 (9.3)
a generic instantiation 12.3.1 (12.3.1), 12.3.2 (12.3.2), 12.3.4 (12.3.4), 12.3 (12.3).
a selective wait 9.7.1 (9.7.1)
a subprogram call 6.3 (6.3); 6.2 (6.2), 6.5 (6.5)
a statement 11.4.1 (11.4.1); 11.4 (11.4)
a subprogram call 6.3 (6.3); 6.2 (6.2), 6.5 (6.5)
a task 11.5 (11.5)
task activation 9.3 (9.3)
a timed entry call 9.7.3 (9.7.3)
Exceptions and optimization 11.6 (11.6)
Exclamation character 2.1 (2.1)
replacing vertical bar 2.10 (2.10)
Exclusive disjunction
[see: logical operator]
Execution
[see: sequence of statements, statement, task body, task]
Exit statement 5.7 (5.7)
[see also: statement]
as a simple statement 5.1 (5.1)
causing a loop to be exited 5.5 (5.5)
causing a transfer of control 5.1 (5.1)
completing block statement execution 9.4 (9.4)
Expanded name 4.1.3 (4.1.3); D (D)
denoting a loop 5.5 (5.5)
in a static expression 4.9 (4.9)
of a parent unit 10.2 (10.2)
replacing a simple name 6.3.1 (6.3.1)
Explicit conversion 4.6 (4.6)
[see also: conversion operation, implicit conversion, subtype conversion,
type conversion]
from universal_fixed type 4.5.5 (4.5.5)
to a real type 4.5.7 (4.5.7)
Explicit declaration 3.1 (3.1); 4.1 (4.1)
[see also: declaration]
Explicit initialization
[see: allocator, object declaration, qualified expression]
Exponent of a floating point number 3.5.7 (3.5.7); 13.7.3 (13.7.3)
Exponent part
in output of real values 14.3.8 (14.3.8)
of a based literal 2.4.1 (2.4.1), 2.4.2 (2.4.2)
of a decimal literal 2.4.1 (2.4.1)
Exponentiating operator 4.5 (4.5); 4.5.6 (4.5.6)
[see also: highest precedence operator]
in a factor 4.4 (4.4)
overloaded 6.7 (6.7)
Exponentiation compound delimiter 2.2 (2.2)
[see also: double star compound delimiter]
Exponentiation operation 4.5.6 (4.5.6)
Expression 4.4 (4.4); D (D)
[see also: compile time evaluation, default expression, delay expression,
evaluation, qualified expression, simple expression, static expression,
universal type expression]
as an actual parameter 6.4 (6.4), 6.4.1 (6.4.1)
as a condition 5.3 (5.3)
as a generic actual parameter 12.3 (12.3); 12.3.1 (12.3.1)
as the argument of a pragma 2.8 (2.8)
in an actual parameter of a conditional entry call 9.7.2 (9.7.2)
in an actual parameter of an entry call statement 9.5 (9.5)
in an actual parameter of a timed entry call 9.7.3 (9.7.3)
in an allocator 4.8 (4.8)
in an assignment statement 5.2 (5.2)
in an attribute designator 4.1.4 (4.1.4)
in a case statement 5.4 (5.4)
in a choice in a case statement 5.4 (5.4)
in a component association 4.3 (4.3)
in a component declaration 3.7 (3.7)
in a constraint 3.3.2 (3.3.2)
in a conversion 4.6 (4.6)
in a discriminant association 3.7.2 (3.7.2)
in a discriminant specification 3.7.1 (3.7.1)
in a generic formal part 12.1 (12.1)
in an indexed component 4.1.1 (4.1.1)
in a length clause 13.2 (13.2)
in a name of a variable 5.2 (5.2), 6.4.1 (6.4.1), 12.3 (12.3)
in a number declaration 3.2 (3.2)
in an object declaration 3.2 (3.2), 3.2.1 (3.2.1)
in a parameter specification 6.1 (6.1)
in a primary 4.4 (4.4)
in a qualified expression 4.7 (4.7)
in a representation clause 13.1 (13.1)
in a return statement 5.8 (5.8)
in a specification of a derived subprogram 3.4 (3.4)
in a type conversion 8.7 (8.7)
including the name of a private type 7.4.1 (7.4.1)
specifying an entry in a family 4.1.1 (4.1.1)
specifying the value of an index 4.1.1 (4.1.1)
with a boolean result 4.5.1 (4.5.1), 4.5.2 (4.5.2), 4.5.6 (4.5.6)
Extended_digit in a based literal 2.4.2 (2.4.2)
External file 14.1 (14.1)
[see also: file]
