Index - Ada 95 Rationale

From OC Systems Wiki!
Jump to: navigation, search

The entries in this index refer to the section and not to the page number. In identifying an appropriate entry the reader is reminded that references into Chapter II (of part One) are likely to give a general introduction to a new feature, those into Chapter III (of part One) are likely to briefly summarize a feature in the context of the whole language, whereas those in Parts Two and Three (identified by chapters 1 to 13 and A to H respectively) will give further detail of specific aspects of a feature. Furthermore Appendix X concerns incompatibilities with Ada 83 and Appendix Y concerns changes since the Committee Draft and the Draft International Standard.

A

abort statement
9.5
preemptive D.6
with requeue 9.2
abstract types
sequences of 4.6.2
and private types 3.6.2
abstract types and subprograms II.3, 3.6.2
abstraction
multiple implementation 4.4.3
accept statement
exception handler 11.4
Access attribute
3.7.1
restrictions in generics 12.3, Y.1
restriction on components 3.7.1
access discriminants
3.4.1, 3.7.1
self referential 4.6.3
and finalization 7.4
class wide with tasking 9.6.1
access parameters
3.7.1, 6.1.2, 9.6.1
access types
3.7
to object II.6, 3.7.1
to subprogram II.5, 3.7.2
accessibility
of objects 3.7.1
of parameters 6.1.2
of subprograms 3.7.2
and type extension 12.5
accuracy
for real types G.4
for the Numerics packages G.4.3
active partition
See partition
active priority
See priority
Ada (predefined library package)
Ada.Characters A, A.1
Ada.Command_Line A, A.5
Ada.Numerics A
Ada.Strings A, A.2
Ada.Text_IO A, A.4.2, Y.2
Ada.Wide_Text_IO A, A.4.2
aliased
II.6, 3.7.1
Alignment attribute
13.1
array aggregates
3.5.1
with others 3.5.1, 6.1
array subtype conversion
II.12
assignment
dispatching 4.4.3
user-defined 7.4
asynchronous transfer of control
II.10, 9.4
with controlled types 9.4
ATC
II.10, 9.4
attributes
Alignment 13.1
Base II.12, 3.1.1, 3.3
Bit_Order 13.1
of floating point types G.2, G.4.1
Input A.4.1
Modulus 3.3.2
Normalize_Scalars H.1.2
Output A.4.1
Read A.4.1
Size 13.1
Tag 4.3, 4.5
Valid 13.3, H.1.1
Write A.4.1

B

barrier condition
II.9
barriers
9.1, 9.1.2
Base attribute
II.12, 3.1.1, 3.3
base priority
See priority
base range
3.3
Bit_Order attribute
13.1
bounded length strings
A.2.5
"Brown model" (for floating point accuracy)
G.4.1

C

C (the language)
B.2
categorization (of library units)
E.2
catenation
3.5.2
ceiling
See priority
Character
3.2, X.2
character handling
A.1
characters
in program text 2.2
Characters
II.13, Y.2
child unit
II.7
children, generic
II.8, 4.4.4, 10.1.3
class wide types
II.2, 4.2
initialization 4.3
classes
III.1.2, 3.1, 4.2
clocks
9.3, D.8
COBOL
edited output F.2.2
interface package B.3
command line
A.5, Y.2
Complex_IO
G.1.3
complex number arithmetic
G.1
concatenation
3.5.2
conformance
6.2
contract model
12.1
controlled types
7.4, Y.1
and ATC 9.4
storage pool 13.4
controlling operands
4.2, 4.5
results 4.2
conversion
3.8
tagged types 4.5
current error file
A.4.3

D

decimal arithmetic
F.1
decimal representation
F.1.4, B.3
decimal types
3.3.3, F.1.3
deferral of abort
9.2
deferred constants
7.2, 13.5
definite types
II.11, 12.1
delay statement
II.10, 9.3, D.9
derived types
3.1.2
Discrete_Random
A.3.2
discriminants
II.12, III.1.2, 3.4.1
protected types 9.1
tasks 9.6
access class wide and tasking 9.6.1
dispatch table
4.3
dispatching
II.2, III.1.4, 4.2, 4.5
equality 4.4.3
assignment 4.4.3
safety of 4.3
for tasks D.2
Distributed Systems Annex
E
dynamic binding
II.5, E.1, E.5.1

E

edited output
F.2, Y.3
elaboration order
10.3
entry barriers
9.1, 9.1.2
entry queueing
See queueing policy
equality
redefinition of II.12, 6.3
for tagged types 4.3
dispatching 4.4.3
errors
1.4
exception messages
11.2
exception occurrences
11.2,
extension aggregates
3.6.1, Y.1

F

File_Access (in Text_IO)
A.4.3
finalization
7.4
and access discriminants 7.4
fixed length strings
See string handling
fixed point
arithmetic and attributes G.4.2
operations 3.3.1
floating point
G.2
arithmetic and attributes G.4.1
Float_Random
A.3.2
Flush (in Text_IO)
A.4.2
Fortran
B.4
freezing
13.5
tagged types 13.5.1

G

generic body restrictions
Access attribute 12.3, Y.1
type extension 12.5
generic children
II.8, 4.4.4, 10.1.3
renaming 8.3
generic parameters
II.11
packages II.11, 12.6
access 12.3
derived untagged 12.4
tagged 12.5
indefinite X.4
Generic_Complex_Types
G.1.1
Generic_Complex_Elementary_-
Functions G.1.2
Generic_Elementary_Functions A.3.1
Base attribute 3.1.1
Get_Immediate (in Text_IO)
A.4.2

H

heterogeneous structures
4.4.1, 4.4.2
hierarchical library
II.7, III.3.6, 10.1

I

indefinite generic parameters
X.4
indefinite types
II.11, 12.1
initialization 3.4
Information Systems Annex F

initialization of indefinite types

3.4
Input attribute
A.4.1
input-output
III.7.1, A.4
Interfaces
3.3
C B.2
COBOL B.3
Fortran B.4
interfacing to other languages
B, C.1
interrupt handling
C.3
intrinsic subprograms
C.1
iterators
3.7.1, 4.4.4

L

Latin-1
A.1
library package bodies
II.12, 10.4, X.3
limited types
III.1.2, 7.3
access discriminants 3.4.1
localization (of edited output)
F.2
locks
9.1.1, 9.1.2
and interrupt handling C.3.1
logical operations
on modular types 3.3.2
Look_Ahead (in Text_IO)
A.4.1

M

membership tests
for tagged types 4.3
"mixin" inheritance
4.6.2
mode change
II.10
modular types
3.3.2, Y.1
Modulus attribute
3.3.2
multiple inheritance
4.6

N

Normalize_Scalars attribute
H.1.2
normal value (for a scalar object)
H.1.2
numeric packages
II.12
numeric types
III.1.2, 3.3
accuracy G.4
unconstrained, and assignment G.3
See also: fixed point, floating point
Numeric_Error
11.1, X.5
Numerics Annex
G

O

objects
3.1
OOP, background
4.1, 4.7
order of declarations
3.10
out parameters
II.12, 6.1.1
Output attribute
A.4.1

P

parameters, of subprograms
6.1
access 6.1.2
in out 6.1.2
out 6.1.1
partitions
III.3.7, 10.2, E.1
post-compilation partitioning E.5
partition communictaion subsystem (PCS)
E.7
passive partition
See partition
polymorphism
III.1.2
pragmas
2.3
All_Calls_Remote E.2
Asynchronous E.4.1
Atomic C.5
Convention B.1
Elaborate_All 10.3
Elaborate_Body 10.3
Import and Export B.1, Y.2
Inspection_Point H.2.2
Preelaborate 10.3
Priority 9.6
Pure 10.3
Reviewable H.2.1
Restrictions 13.6, D.7, H, H.1.2, H.3
Storage_Size 9.6, Y.1
Volatile C.5
predefined library
II.12, A
preelaboration
10.3, C.4
preference control
II.9, 9.2.1
preference rule
8.4
primitive function attributes (of floating point types)
G.2.3
primitive operations
II.1, III.1.3, 4.2, 4.3
private 7.1.1
of untagged generic paramters 12.4
of tagged generic parameters 12.5
priority
D.1
ceiling locking D.3
ceiling priorities and interrupt handling C.3.1
dynamic priority D.5
priority inversion
D.3.1
private children
II.8, 10.1.1
private extensions
7.1
and visibility 7.1
private operations
7.1.1
private types
7.1
program libraries
10.1.5
program text
2.2
protected operations
9.1
as interrupt handlers C.3.1
protected types
II.9, III.4.3, 9.1
efficiency 9.1.3
public children
II.7, 10.1.1

Q

queueing policy
D.4

R

random numbers
A.3.2, Y.2
Read attribute
A.4.1
Real-Time Systems Annex
D
record aggregates
3.6.1
redispatching 4.5
remote call interface (RCI)
E.1
remote subprogram calls (RPC)
E.4
renaming
8.3
of class wide objects 4.5
of subprogram bodies 6.2, 8.3
of generic units 8.3
of generic children 8.3
of library units 10.1.2
requeue
II.9, 9.2
with abort 9.2
requirements
I.2
reserved words
2.1, X.1
restrictions
See pragma Restrictions
results of functions
6.1
as objects 7.3
root types
3.3, 8.4
rounding
II.12, X.6.1

S

Safety and Security Annex
H
scheduling policy
D.2
self referential structure
4.6.3
semaphores
II.1.9, 9.1, 9.1.3
shared variables
C.5
shift operations
on modular types 3.3.2
signed zeros
G.2.2
Size atttribute
13.1
sliding
II.12, 3.5.1
of parameters and results 6.1
specialized needs annexes
overview II.14
requirements for I.2
static expression
II.12, 3.9
static subtype matching
3.9, 12.7
storage elements
13.2
storage pools
13.4
stream input-output
A.4.1
string handling
A.2
subsystem construction
10.1.4
subunits
10.5
syntax
1.3
Systems Programming Annex
C

T

tag
II.1, 4.3
Tag attribute
4.3, 4.5
tagged types
II.1, III.3.3, 4
task priorities
See priority
tasks
III.4
asynchronous control D.11
attributes C.6.2
and discriminants 9.6
identification C.6.1
optimizations D.12
restrictions D.7
synchronous control D.10
Text_IO
See Ada.Text_IO
time
D.8
Time_Span (in Ada.Real_Time)
D.8.5
type classification
III.1.2
type conversion
3.8
tagged types 4.5
type extension
II.4, 3.6
types and subtypes
3.1

U

unbounded length strings
A.2.6
Unchecked_Access attribute
3.7.1, 6.1.2
underlines
Y.1
understandable program execution
H.1
universal types
3.1.1
unsigned types
3.3.2
up-level (non-local) references
3.7.2, 3.10
use type clause
II.12, 8.2

V

Valid attribute
13.3, H.1.1
views
III.1.2, 3.1
conversion 4.5
visibility
8.1
character literals 8.1
child units II.8, 10.1.1
subunits 8.1

W

Wide_Character
3.2, A.1
Wide_String
3.2, A.2.4, A.2.7
Write attribute
A.4.1

Laurent Guerby Ada 95 Rationale