Rationale Update for Ada 2012

John Barnes
Contents   Index   References   Previous 

Index

Entries in this index reference chapter numbers and not page numbers.

A
abort completion point   5
accessibility checks   8
Ada Resource Association   1
Ada-Europe   1
All_Calls_Remote   7
anonymous access type   6
aspect
   All_Calls_Remote   7
   Constant_Indexing   2
   CPU   5
   Default_Component_Value   3
   Default_Iterator   6
   Default_Value   3, 4
   Discard_Names   6
   Exclusive_Functions   5
   Interrupt_Priority   5
   Predicate_Failure   2
   Priority   5
   Pure   2
   Storage_Pool   6
   Storage_Size   6
   stream-oriented   7
asynchronous transfer of control   5
attribute
   Has_Same_Storage   2
   Old   2

B
Brukardt
   Randy   1, 9
by-copy parameter   4

C
check
   accessibility   8
   tampering   8
Constant_Indexing   2
container
   indefinite   8
   tree   8
contract aspect   2
convention C   7
Cousins
   Jeff   9
CPU aspect   5
Create
   dispatching domain   5

D
declarative region   4
default storage pool   6
Default_Component_Value   3
Default_Iterator   6
Default_Value   3, 4
Direct_IO   7
Discard_Names   6
dispatching domain   5
dynamic predicate   7

E
equality   4
Exclusive_Functions aspect   5
expression function   3, 4

F
flush   7

G
generalized iterator   6
Get_CPU_Set   5

H
Has_Same_Storage   2

I
incomplete view   4
indefinite container   8
Interrupt_Priority   5
invariant   2

L
Leroy
   Pascal   1
Locales   7
   Country_Code   7
   Language_Code   7

M
membership test   3
multiway tree   8

N
non-overridable
   aspect   6
null procedure   3

O
Old attribute   2
overlong encoding   7

P
package
   Direct_IO   7
   Locales   7
   Sequential_IO   7
   Stream_IO   7
partial view   4
Ploedereder
   Erhard   1
postcondition   2
precondition   2
predicate   2
Predicate_Failure   2
Priority   5
pure package   2, 6

R
raise expression   3
Ravenscar profile   5
record equality   4
reenterant   5
restriction
   No_Dynamic_CPU_Assignment   5
   No_Tasks_Unassigned_To_CPU   5
root node   8

S
Schonberg
   Ed   1
Sequential_IO   7
Shared_Passive   6
storage pool   6
   default   6
Storage_Pool   6
Storage_Size   6
stream-oriented aspects   7
Stream_IO   7
subpool   6
synchronous barrier   5

T
tampering checks   8
Tokar
   Joyce   1, 9
tree
   root node   8
type invariant   2

Contents   Index   References   Previous 
© 2016 John Barnes Informatics.