Rationale for Ada 2012

John Barnes
Contents   Index   References   Search   Previous 

Index

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

A
Activation_Is_Complete function   6.4
Ada package   6.2
Ada Resource Association   1.1
Ada-Europe   1.1
Ada.Calendar package   6.6
Ada.Characters.Handling package   9.1.1
Ada.Containers package   8.2, 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 package   1.3.6, 7.3, 9.1.1
Ada.Directories.Hierarchical_File_Names package   1.3.6
Ada.Directories.Hierarchical_File_Names package   7.3
Ada.Dispatching package   1.3.4, 5.2, 9.1.1
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 package   1.3.4, 5.4, 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.Locales package   1.3.6, 7.4, 9.5
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.Tags package   6.6, 9.1.1
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
Address attribute   6.6
Algol 60   3.2, 4.2
Algol 68   3.2
aliased
   extended return object   4.6
aliased parameter   1.3.3, 4.2
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
aspect specification   2.2
Assert pragma   2.2
Assertion_Policy   1.3.1
   used   1.3.1
Assertion_Policy pragma   2.2, 2.3, 2.4, 2.5
Asynchronous aspect   2.2
Atomic aspect   2.2, 5.5
Atomic_Components aspect   2.2
Attach_Handler aspect   2.2
attribute
   Address   6.6
   First_Valid   2.5
   Has_Same_Storage   1.3.1, 2.7
   Last_Valid   2.5
   Max_Alignment_For_Allocation   6.4
   Max_Size_In_Storage_Elements   6.4
   Old   1.3.1, 2.3
   Overlaps_Storage   1.3.1, 2.7
   Result   1.3.1, 2.3

B
BOM   7.2
born obsolescent   2.2, 5.3
bounded container   8.2
bounded containers   1.3.6
Brukardt
   Randy   0.2, 1.1, 1.4
Burns
   Alan   0.2
Byte Order Mark   7.2

C
C   4.2
Capacity_Error   8.2
   raised   8.2
case expression   1.3.2, 3.3
case sensitivity
   of file names   7.3
case-insensitive string comparison   7.5
character set version   7.2
child node   8.4
class-wide invariant   2.4
class-wide postcondition   2.3
class-wide precondition   2.3
composibility of equality   6.6
conditional expression   1.3.2, 3.2
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
continue statement   6.2
contract   1.3.1
Controlled
   pragma   9.1.1
Controlled pragma   2.2
Convention aspect   2.2
Cousins
   Jeff   0.2
CPL   3.2
CPU
   aspect   5.3
   pragma   5.3
   subtype   5.3
CPU aspect   1.3.4, 2.2

D
Daylight Saving Time   6.6
deadline   1.3.4
default element subtype   6.3
default indexing function   6.3
default iterator function   6.3
default storage pool   1.3.5, 6.4
Default_Component_Value aspect   1.3.1, 2.6
Default_Iterator aspect   6.3
Default_Storage_Pool pragma   1.3.5, 6.4
Default_Value aspect   1.3.1, 2.6
delay statement   5.2
discriminant
   with a default   4.4
dispatching domain   1.3.4, 5.3, 9.5
Dispatching_Domain aspect   1.3.4, 2.2
domain
   dispatching   5.3
dynamic predicate   2.5
Dynamic_Predicate aspect   1.3.1, 2.5

E
EDF   1.3.4
EDF_Across_Priorities   5.2
Eiffel   2.1
Elaborate_Body aspect   2.2
Encode   7.2
environment variable   7.6
Environment_Task function   6.4
equality of records   6.6
execution time   5.4
existential quantifier   3.4
explicitly aliased parameter   4.2
Export aspect   2.2
expression function   1.3.2, 3.5
extended return object
   aliased   4.6
   constant   4.6
extended return statement   4.6
External_Name aspect   2.2

F
FIFO_Within_Priorities   5.2
Find_Token   1.3.6, 7.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
generalized iterator   6.3
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
group budget   5.3

H
Has_Same_Storage attribute   1.3.1, 2.7
holder container   1.3.6, 8.5

I
Ichbiah
   Jean   1.1
if expression   1.3.2, 3.2
immutably limited type   4.6
implicit conversion
   anonymous access   6.4
Implicit_Dereference aspect   6.3
Import aspect   2.2
in out parameter   1.3.3, 4.2
incompatibility   9.1
incomplete type   4.3
   as parameter type   4.3
   completed by private type   4.3
   generic formal   4.3
inconsistency   9.1
Independent aspect   2.2
Independent_Components aspect   2.2
indexable container type   6.3
Inline aspect   2.2
interface
   Forward_Iterator   6.3
   Reversible_Iterator   6.3
interface types   5.6
Interrupt handler
   execution time   5.4
Interrupt_Handler aspect   2.2
Interrupt_Priority aspect   2.2
invariant
   class-wide   2.4
   specific   2.4
Ironman   0.3, 4.2
Is_Abstract function   6.6
ISO 10646   7.2
iterable container type   6.3
Iterate function   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
label   6.2
language
   locale   7.4
Last_Valid attribute   2.5
leaf node   8.4
leap seconds   6.6
Leroy
   Pascal   1.1
Link_Name aspect   2.2
Liskov Substitution Principle   2.3
List pragma   2.2
locale   1.3.6, 7.4
LSP   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
Moore
   Jim   1.1
multiple inheritance   2.3
multiprocessor   5.3
Multiprocessors package   1.3.4
multiway tree container   1.3.6
multiway tree containers   8.4
mutable   4.4

N
No_Access_Parameter_Allocators restriction   1.3.5, 6.4, 6.5
No_Anonymous_Allocators restriction   1.3.5, 6.4, 6.5
No_Coextensions 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_Return aspect   2.2
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
node
   child   8.4
   leaf   8.4
   root   8.4
   tree   8.4
nominal subtype   6.6
Non_Preemptive_FIFO_Within_Priorities   5.2

O
Old attribute   1.3.1, 2.3
Optimize pragma   2.2
order of evaluation
   unspecified   4.2
Overlaps_Storage attribute   1.3.1, 2.7

P
Pack aspect   2.2
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
package use clause   4.5
Page pragma   2.2
parameter
   aliased   1.3.3, 4.2
   in out   1.3.3, 4.2
   of an incomplete type   4.3
Pascal   3.2
Pinho
   Luis Miguel   0.2
Ploedereder
   Erhard   1.1
pool
   default   1.3.5, 6.4
Post aspect   1.3.1, 2.3
Post'Class aspect   1.3.1, 2.3
postcondition   1.3.1
   class-wide   2.3
   specific   2.3
pragma
   Assert   2.2
   Assertion_Policy   2.2, 2.3, 2.4, 2.5
   Controlled   2.2
   CPU   5.3
   Default_Storage_Pool   1.3.5, 6.4
   List   2.2
   Optimize   2.2
   Page   2.2
   Preelaborable_Initialization   2.2
   Profile   6.5
   Restrictions   2.2, 6.5
   Suppress   2.2
   Unsuppress   2.2
pragma Controlled   9.1.1
Pre aspect   1.3.1, 2.3
Pre'Class aspect   1.3.1, 2.3
precondition   1.3.1
   class-wide   2.3
   specific   2.3
predicate
   dynamic   2.5
   static   2.5
Predicate_Failure aspect   9.5
Preelaborable_Initialization pragma   2.2
Preelaborate aspect   2.2
Preliminary Ada   0.3, 4.2
Preliminary Green   0.3, 4.2
primitive operations   4.5
priority   5.2
Priority aspect   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
Profile pragma   6.5
Pure aspect   2.2

Q
qualified expression   3.7
quantified expression   1.3.2, 3.4, 6.3
Query_Element procedure   8.3
queue container   8.6
queue containers   1.3.6

R
raise expression   9.5
Ravenscar profile   1.3.4
Reference function   8.3
reference type   6.3
relation   9.5
Relative_Deadline aspect   2.2
renaming of entry   5.6
Replace_Element procedure   8.3
requeue   5.6
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
Restrictions pragma   2.2, 6.5
Result attribute   1.3.1, 2.3
Reversible_Iterator interface   6.3
root directory   7.3
root node   8.4
Round_Robin_Within_Priorities   5.2

S
scheduling   5.2
Schonberg
   Ed   0.2, 1.1, 1.4
scope
   of revision   1.2
shared variable   5.5
sorting   1.3.6
SPARK   2.1, 9.4.3
specific invariant   2.4
specific postcondition   2.3
specific precondition   2.3
squirreling rename   9.1.2
stand-alone object
   of an anonymous access type   6.4
static conditional expression   3.2
static predicate   2.5
Static_Predicate aspect   1.3.1, 2.5
Steelman   0.3, 4.2
storage pool   1.3.5, 6.4
Storage_Size aspect   2.2
subpool   1.3.5
   of a storage pool   6.4
subtype
   CPU   5.3
subtype predicate   1.3.1, 2.5
Suppress pragma   2.2
suspension object   1.3.4, 5.2
Synchronization aspect   1.3.4, 5.6
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
Taft
   Tucker   0.2, 1.1, 1.4
Taft amendment type   4.3
Tags package   6.6
task
   priority   5.2
   scheduling   5.2
task execution time   5.4
Task_Dispatching_Policy   5.2
Task_Identification package   6.4
Term=[country],Sec=[locale]   7.4
time zone   6.6
Tokar
   Joyce   0.2, 1.1
tree container   1.3.6
tree node   8.4
type invariant   1.3.1
   class-wide   2.4
   specific   2.4
Type_Invariant aspect   1.3.1, 2.4
Type_Invariant'Class aspect   1.3.1, 2.4

U
Unchecked_Union aspect   2.2
universal quantifier   3.4
Unsuppress pragma   2.2
Update_Element procedure   8.3
use all type clause   1.3.3, 4.5
use clause
   package   4.5
use type clause   4.5
UTC_Offset   6.6
UTF-16   7.2
UTF-16 encoding   1.3.6
UTF-16BE   7.2
UTF-16LE   7.2
UTF-8   7.2
UTF-8 encoding   1.3.6

V
Value
   environment variables   7.6
Vardanega
   Tullio   0.1, 0.2
Variable_Indexing aspect   6.3
variadic C conventions   9.5
volatile   5.5
Volatile aspect   2.2, 5.5
Volatile_Components aspect   2.2

Y
Yield   5.2
Yield procedure   1.3.4
Yield_To_Higher   5.2
Yield_To_Higher procedure   1.3.4

Contents   Index   References   Search   Previous 
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by:
The Ada Resource Association:

    ARA
  AdaCore:


    AdaCore
and   Ada-Europe:

Ada-Europe