Rationale for Ada 2012
Index
Entries in this index reference section numbers and
not page numbers.
A
Activation_Is_Complete function
6.4
Ada Resource Association
1.1
Ada.Characters.Handling package
9.1.1
Ada.Containers.Bounded_Doubly_Linked_Lists package
8.2
Ada.Containers.Bounded_Hashed_Maps package
8.2
Ada.Containers.Bounded_Hashed_Sets package
8.2
Ada.Containers.Bounded_Multiway_Trees package
1.3.6,
8.4
Ada.Containers.Bounded_Ordered_Maps package
8.2
Ada.Containers.Bounded_Ordered_Sets package
8.2
Ada.Containers.Bounded_Priority_Queues package
8.6
Ada.Containers.Bounded_Synchronized_Queues package
8.6
Ada.Containers.Bounded_Vectors package
8.2
Ada.Containers.Generic_Array_Sort procedure
8.7
Ada.Containers.Generic_Sort procedure
8.7
Ada.Containers.Indefinite_Holders package
1.3.6
Ada.Containers.Indefinite_Holders package
8.5
Ada.Containers.Indefinite_Multiway_Trees package
1.3.6
Ada.Containers.Indefinite_Multiway_Trees package
8.4
Ada.Containers.Multiway_Trees package
1.3.6
Ada.Containers.Multiway_Trees package
8.4
Ada.Containers.Synchronized_Queue_Interfaces package
1.3.6
Ada.Containers.Synchronized_Queue_Interfaces package
8.6
Ada.Containers.Unbounded_Priority_Queues package
8.6
Ada.Containers.Unbounded_Synchronized_Queues package
1.3.6
Ada.Containers.Unbounded_Synchronized_Queues package
8.6
Ada.Containers.Vectors package
9.1.1
Ada.Directories.Hierarchical_File_Names package
1.3.6
Ada.Directories.Hierarchical_File_Names package
7.3
Ada.Dispatching.EDF package
5.2
Ada.Dispatching.Non_Preemptive package
1.3.4
Ada.Dispatching.Non_Preemptive package
5.2
Ada.Environment_Variables package
7.6,
9.1.1
Ada.Execution_Time.Group_Budgets package
5.3
Ada.Execution_Time.Interrupts package
1.3.4,
5.4
Ada.Iterator_Interfaces generic package
6.3,
8.3
Ada.Streams.Stream_IO package
7.6
Ada.Strings.Bounded package
9.1.1
Ada.Strings.Fixed package
9.1.1
Ada.Strings.Hash function
7.5
Ada.Strings.Hash_Case_Insensitive function
7.5
Ada.Strings.Less_Case_Insensitive function
7.5
Ada.Strings.Unbounded package
9.1.1
Ada.Strings.UTF_Encoding package
1.3.6,
7.2
Ada.Strings.UTF_Encoding.Conversions package
1.3.6
Ada.Strings.UTF_Encoding.Conversions package
7.2
Ada.Strings.UTF_Encoding.Strings package
1.3.6
Ada.Strings.UTF_Encoding.Strings package
7.2
Ada.Strings.UTF_Encoding.Wide_Strings package
1.3.6
Ada.Strings.UTF_Encoding.Wide_Strings package
7.2
Ada.Strings.UTF_Encoding.Wide_Wide_Strings package
1.3.6
Ada.Strings.UTF_Encoding.Wide_Wide_Strings package
7.2
Ada.Synchronous_Barriers package
1.3.4,
5.2
Ada.Synchronous_Task_Control package
5.2
Ada.Synchronous_Task_Control.EDF package
1.3.4,
5.2
Ada.Task_Identification package
6.4,
9.1.1
Ada.Unchecked_Deallocate_Subpool procedure
6.4
Ada.Wide_Characters package
7.2
Ada.Wide_Characters.Handling package
1.3.6,
7.2
Ada.Wide_Wide_Characters package
7.2
Ada.Wide_Wide_Characters.Handling package
1.3.6
aliased
extended return object
4.6
anonymous access type
6.4
array component iterator
6.3
aspect
Asynchronous
2.2
Atomic
2.2,
5.5
Atomic_Components
2.2
Attach_Handler
2.2
Constant_Indexing
6.3
Convention
2.2
CPU
1.3.4,
2.2,
5.3
Default_Component_Value
1.3.1,
2.6
Default_Iterator
6.3
Default_Value
1.3.1,
2.6
Dispatching_Domain
1.3.4,
2.2
Dynamic_Predicate
1.3.1,
2.5
Elaborate_Body
2.2
Export
2.2
External_Name
2.2
Implicit_Dereference
6.3
Import
2.2
Independent
2.2
Independent_Components
2.2
Inline
2.2
Interrupt_Handler
2.2
Interrupt_Priority
2.2
Link_Name
2.2
No_Return
2.2
Pack
2.2
Post
1.3.1,
2.3
Post'Class
1.3.1,
2.3
Pre
1.3.1,
2.3
Pre'Class
1.3.1,
2.3
Predicate_Failure
9.5
Preelaborate
2.2
Priority
2.2
Pure
2.2
Relative_Deadline
2.2
Static_Predicate
1.3.1,
2.5
Storage_Size
2.2
Synchronization
1.3.4,
5.6
Type_Invariant
1.3.1,
2.4
Type_Invariant'Class
1.3.1,
2.4
Unchecked_Union
2.2
Variable_Indexing
6.3
Volatile
2.2,
5.5
Volatile_Components
2.2
Atomic_Components aspect
2.2
Attach_Handler aspect
2.2
B
C
case sensitivity
of file names
7.3
case-insensitive string comparison
7.5
character set version
7.2
class-wide postcondition
2.3
class-wide precondition
2.3
composibility of equality
6.6
constant
extended return object
4.6
Constant_Indexing aspect
6.3
Constant_Reference function
8.3
container
bounded
8.2
holder
8.5
multiway tree
8.4
queue
8.6
container element iterator
6.3
D
default element subtype
6.3
default indexing function
6.3
default iterator function
6.3
Default_Component_Value aspect
1.3.1,
2.6
Default_Iterator aspect
6.3
discriminant
with a default
4.4
E
EDF_Across_Priorities
5.2
Elaborate_Body aspect
2.2
Environment_Task function
6.4
existential quantifier
3.4
explicitly aliased parameter
4.2
extended return object
aliased
4.6
constant
4.6
extended return statement
4.6
F
FIFO_Within_Priorities
5.2
First_Valid attribute
2.5
formal incomplete type
4.3
Forward_Iterator interface
6.3
freezing
a profile
4.3
a profile with a formal incomplete parameter
4.3
a subprogram
4.3
actual types of an instance
4.3
function
Activation_Is_Complete
6.4
Ada.Strings.Hash
7.5
Ada.Strings.Hash_Case_Insensitive
7.5
Ada.Strings.Less_Case_Insensitive
7.5
Environment_Task
6.4
Is_Abstract
6.6
Iterate
6.3
function result
having an incomplete type
4.3
G
generic formal incomplete type
4.3
generic formal subprogram
6.6
generic package
Ada.Iterator_Interfaces
6.3,
8.3
Green
Programming Language
0.3,
4.2
H
I
immutably limited type
4.6
implicit conversion
anonymous access
6.4
Implicit_Dereference aspect
6.3
incomplete type
4.3
as parameter type
4.3
completed by private type
4.3
generic formal
4.3
Independent_Components aspect
2.2
indexable container type
6.3
interface
Forward_Iterator
6.3
Reversible_Iterator
6.3
Interrupt handler
execution time
5.4
Interrupt_Handler aspect
2.2
Interrupt_Priority aspect
2.2
invariant
class-wide
2.4
specific
2.4
iterable container type
6.3
iterator
array component
6.3
container
1.3.6
container element
6.3
generalized
6.3
Iterator_Interfaces generic package
6.3,
8.3
K
known to denote the same object
4.2
known to refer to the same object
4.2
L
Liskov Substitution Principle
2.3
M
Mart¡nez
Patricia L¢pez
0.2
Max_Alignment_For_Allocation attribute
6.4
Max_Size_In_Storage_Elements attribute
6.4
Membership test
3.6
of an access type
6.4
mode
function parameters
4.2
Multiprocessors package
1.3.4
multiway tree container
1.3.6
multiway tree containers
8.4
N
No_Access_Parameter_Allocators restriction
1.3.5,
6.4,
6.5
No_Implementation_Aspect_Specifications restriction
1.3.5,
6.5
No_Implementation_Extensions profile
1.3.5,
6.5
No_Implementation_Identifiers restriction
1.3.5,
6.5
No_Implementation_Units restriction
1.3.5,
6.5
No_Relative_Delay restriction
9.2.1
No_Specification_of_Aspect restriction
1.3.5,
6.5
No_Standard_Allocators_After_Elaboration restriction
1.3.5
No_Standard_Allocators_After_Elaboration restriction
6.4,
6.5
No_Use_Of_Attribute restriction
6.5
No_Use_Of_Pragma restriction
6.5
Non_Preemptive_FIFO_Within_Priorities
5.2
O
order of evaluation
unspecified
4.2
P
package
Ada
6.2
Ada.Calendar
6.6
Ada.Characters.Handling
9.1.1
Ada.Containers
8.2,
9.1.1
Ada.Containers.Bounded_Doubly_Linked_Lists
8.2
Ada.Containers.Bounded_Hashed_Maps
8.2
Ada.Containers.Bounded_Hashed_Sets
8.2
Ada.Containers.Bounded_Multiway_Trees
1.3.6
Ada.Containers.Bounded_Multiway_Trees
8.4
Ada.Containers.Bounded_Ordered_Maps
8.2
Ada.Containers.Bounded_Ordered_Sets
8.2
Ada.Containers.Bounded_Priority_Queues
8.6
Ada.Containers.Bounded_Synchronized_Queues
8.6
Ada.Containers.Bounded_Vectors
8.2
Ada.Containers.Indefinite_Holders
1.3.6
Ada.Containers.Indefinite_Holders
8.5
Ada.Containers.Indefinite_Multiway_Trees
1.3.6
Ada.Containers.Indefinite_Multiway_Trees
8.4
Ada.Containers.Multiway_Trees
1.3.6
Ada.Containers.Multiway_Trees
8.4
Ada.Containers.Synchronized_Queue_Interfaces
1.3.6
Ada.Containers.Synchronized_Queue_Interfaces
8.6
Ada.Containers.Unbounded_Priority_Queues
8.6
Ada.Containers.Unbounded_Synchronized_Queues
1.3.6
Ada.Containers.Unbounded_Synchronized_Queues
8.6
Ada.Containers.Vectors
9.1.1
Ada.Directories
1.3.6,
7.3,
9.1.1
Ada.Directories.Hierarchical_File_Names
1.3.6
Ada.Directories.Hierarchical_File_Names
7.3
Ada.Dispatching
1.3.4,
5.2,
9.1.1
Ada.Dispatching.EDF
5.2
Ada.Dispatching.Non_Preemptive
1.3.4
Ada.Dispatching.Non_Preemptive
5.2
Ada.Environment_Variables
7.6,
9.1.1
Ada.Execution_Time
1.3.4,
5.4,
9.1.1
Ada.Execution_Time.Group_Budgets
5.3
Ada.Execution_Time.Interrupts
1.3.4,
5.4
Ada.Iterator_Interfaces generic
6.3,
8.3
Ada.Locales
1.3.6,
7.4,
9.5
Ada.Streams.Stream_IO
7.6
Ada.Strings.Bounded
9.1.1
Ada.Strings.Fixed
9.1.1
Ada.Strings.Unbounded
9.1.1
Ada.Strings.UTF_Encoding
1.3.6,
7.2
Ada.Strings.UTF_Encoding.Conversions
1.3.6
Ada.Strings.UTF_Encoding.Conversions
7.2
Ada.Strings.UTF_Encoding.Strings
1.3.6
Ada.Strings.UTF_Encoding.Strings
7.2
Ada.Strings.UTF_Encoding.Wide_Strings
1.3.6
Ada.Strings.UTF_Encoding.Wide_Strings
7.2
Ada.Strings.UTF_Encoding.Wide_Wide_Strings
1.3.6
Ada.Strings.UTF_Encoding.Wide_Wide_Strings
7.2
Ada.Synchronous_Barriers
1.3.4,
5.2
Ada.Synchronous_Task_Control
5.2
Ada.Synchronous_Task_Control.EDF
1.3.4,
5.2
Ada.Tags
6.6,
9.1.1
Ada.Task_Identification
6.4,
9.1.1
Ada.Wide_Characters
7.2
Ada.Wide_Characters.Handling
1.3.6,
7.2
Ada.Wide_Wide_Characters
7.2
Ada.Wide_Wide_Characters.Handling
1.3.6
System.Multiprocessors
1.3.4,
5.3
System.Multiprocessors.Dispatching_Domains
1.3.4,
5.3
System.Multiprocessors.Dispatching_Domains
9.5
System.Storage_Pools.Subpools
6.4
predicate
dynamic
2.5
static
2.5
Predicate_Failure aspect
9.5
Preelaborable_Initialization pragma
2.2
procedure
Ada.Containers.Generic_Array_Sort
8.7
Ada.Containers.Generic_Sort
8.7
Ada.Unchecked_Deallocate_Subpool
6.4
profile
No_Implementation_Extensions
1.3.5,
6.5
Q
Query_Element procedure
8.3
R
Relative_Deadline aspect
2.2
Replace_Element procedure
8.3
restriction
No_Access_Parameter_Allocators
1.3.5,
6.4,
6.5
No_Anonymous_Allocators
1.3.5,
6.4,
6.5
No_Coextensions
1.3.5,
6.4,
6.5
No_Implementation_Aspect_Specifications
1.3.5,
6.5
No_Implementation_Identifiers
1.3.5,
6.5
No_Implementation_Units
1.3.5,
6.5
No_Relative_Delay
9.2.1
No_Specification_of_Aspect
1.3.5
No_Specification_Of_Aspect
6.5
No_Standard_Allocators_After_Elaboration
1.3.5
No_Standard_Allocators_After_Elaboration
6.4,
6.5
No_Use_Of_Attribute
6.5
No_Use_Of_Pragma
6.5
Reversible_Iterator interface
6.3
Round_Robin_Within_Priorities
5.2
S
specific postcondition
2.3
specific precondition
2.3
stand-alone object
of an anonymous access type
6.4
static conditional expression
3.2
synchronized interface
5.6
synchronous barrier
1.3.4
System.Multiprocessors package
1.3.4,
5.3
System.Multiprocessors.Dispatching_Domains package
1.3.4,
5.3
System.Multiprocessors.Dispatching_Domains package
9.5
System.Storage_Pools.Subpools package
6.4
T
task
priority
5.2
scheduling
5.2
Task_Dispatching_Policy
5.2
Task_Identification package
6.4
Term=[country],Sec=[locale]
7.4
U
Unchecked_Union aspect
2.2
Update_Element procedure
8.3
V
Value
environment variables
7.6
Variable_Indexing aspect
6.3
variadic C conventions
9.5
Volatile_Components aspect
2.2
Y
Yield_To_Higher procedure
1.3.4
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by: