Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Overview of Ada 2022
Jeff Cousins
Contents   Index   Search   Previous 

Index

Entries in this index reference section numbers and not page numbers.
19th IRTAW   6

A
Ada Rapporteur Group   1
Address_to_Access_Conversions   7.9
Admission_Policy pragma   6.6
agggregate
   delta   3.4
aggregate
   array   4.7, 7.4
   container   4.5
Aggregate aspect   4.5
aggregate association   3.4
aggregate choices   3.4
aggregate discriminant   7.6
aggregate index   7.4
AI12-0009-1   4.4
AI12-0020-1   7.1
AI12-0021-1   5.1
AI12-0058-1   7.2
AI12-0059-1   7.3
AI12-0061-1   2.5, 4.5, 4.7, 7.4
AI12-0064-2   2.3, 3.3, 3.8, 4.2
AI12-0075-1   7.5
AI12-0079-3   2, 2.4, 3.3, 4.2
AI12-0086-1   7.6
AI12-0111-1   4.1
AI12-0112-1   2.3, 2.4, 3.3, 4.2, 4.5
AI12-0119-1   2.1
AI12-0124-1   7.1
AI12-0125-3   7.7
AI12-0127-1   3.4
AI12-0128-1   6.2
AI12-0139-1   6
AI12-0156-1   4.3
AI12-0164-1   6.3
AI12-0174-1   7.8
AI12-0175-1   7.9
AI12-0179-1   3.3
AI12-0187-1   3.5
AI12-0188-1   4.4
AI12-0189-1   4.2, 4.4
AI12-0201-1   7, 7.10
AI12-0205-1   3.9
AI12-0208-1   7.11
AI12-0212-1   2.5, 4.5, 4.7, 7.1
AI12-0220-1   3.7
AI12-0226-1   7, 7.12
AI12-0230-1   6, 6.4
AI12-0234-1   6, 6.5
AI12-0236-1   3.6
AI12-0237-1   7.13
AI12-0241-1   2.3
AI12-0242-1   2.5
AI12-0249-1   7.11
AI12-0250-1   4.6
AI12-0251-1   2.6
AI12-0254-1   4.8
AI12-0262-1   2.5
AI12-0265-1   3.8, 3.10
AI12-0266-1   2.1, 4.9
AI12-0267-1   2.2
AI12-0269-1   3.11
AI12-0272-1   3.8
AI12-0275-1   7.12
AI12-0276-1   6, 6.6
AI12-0279-1   6, 6.7
AI12-0280-2   3.7
AI12-0281-1   6, 6.8
AI12-0282-1   3.8, 6, 6.9
AI12-0285-1   3.5
AI12-0286-1   4.4
AI12-0290-1   6.10
AI12-0291-1   6.10
AI12-0295-1   7.11
AI12-0298-1   2.2
AI12-0302-1   2.4
AI12-0304-1   7.1
AI12-0319-1   2.3
AI12-0321-1   6.5
AI12-0325-1   7.11
AI12-0326-2   4.4
AI12-0339-1   4.5
AI12-0340-1   7.1
AI12-0342-1   7.11
AI12-0344-1   2.2, 4.4
AI12-0350-1   4.8
AI12-0362-1   7.14
AI12-0363-1   6.11
AI12-0364-1   6.5
AI12-0366-1   7.11
AI12-0368-1   3.6
AI12-0369-1   6.10
AI12-0374-2   2.3, 3.8
AI12-0375-1   2.4
AI12-0380-1   2.3, 2.4
AI12-0383-1   7.12
AI12-0385-1   7.5
AI12-0391-1   4.5
AI12-0394-1   7.11
AI12-0400-1   4.5
AI12-0401-1   7.12
Allows_Exit aspect   4.2, 4.4
Append   4.5
Append_Vector   4.5
ARG   1
array aggregate   4.7, 7.4
aspect
   Aggregate   4.5
   Allows_Exit   4.2, 4.4
   Atomic   3.8, 6.2, 6.11
   Atomic_Components   3.8
   CPU   6.8
   Default_Initial_Condition   3.8, 3.10
   Dispatching   2.3
   Full_Access_Only   6.11
   Global   2.4, 3.3, 4.2
   Independent   3.8
   Independent_Components   3.8
   Integer_Literal   7.11
   Max_Entry_Queue_Length   6.3
   No_Return   3.11
   Nonblocking   2.3, 3.3, 3.8, 4.2, 6.1
   Parallel_Calls   2.2, 4.4
   Post   3.7, 3.8
   Pre   3.7, 3.8
   Preelaborate   7.9
   Real_Literal   7.11
   Stable_Properties   3.5
   Static   7.5
   String_Literal   7.11
   Use_Formal   2.3
   Volatile   3.8
   Volatile_Components   3.8
   Yield   6.7
association
   aggregate   3.4
Atomic aspect   3.8, 6.2, 6.11
Atomic_Components aspect   3.8
Atomic_Operations package   6.5
attribute
   Ceiling   7.14
   Enum_Rep   7.13
   Enum_Val   7.13
   Floor   7.14
   Image   7.1
   Object_Size   7.3
   Old   3.7
   Parallel_Reduce   2.5
   Reduce   2.5
   rounding   7.14

B
Barnes
   John   1
Big_Integers package   7.11
Big_Numbers package   7.11
Big_Reals package   7.11
Brukardt
   Randy   1

C
Ceiling attribute   7.14
choices
   aggregate   3.4
chunk   2.6
compare and swap   6.5
Conflict_Check_Policy pragma   2.2
constrained subtypes   3
container aggregate   4.5
containers   1
contracts   1
CPU aspect   6.8

D
deadline floor protocol   6.4
declare expression   3.6
default
   generic formal type   3.9
Default_Initial_Condition aspect   3.8, 3.10
delta aggregate   3.4
Detect_Blocking pragma   2.3
discriminant   7.6
Dispatching aspect   2.3

E
earliest deadline first   6.4
Enum_Rep attribute   7.13
Enum_Val attribute   7.13
Exchange package   6.5
expression function   7.5

F
filter   4.6
Floor attribute   7.14
Fortran   7.2
Full_Access_Only aspect   6.11
function
   stable property   3.5

G
generic contract model   3
Global aspect   2.4, 3.3, 4.2

H
handle   2.4

I
Image attribute   7.1
Independent aspect   3.8
Independent_Components aspect   3.8
Insert_Vector   4.5
Instructions to the ARG   1
Integer_Arithmetic package   6.5
Integer_Literal aspect   7.11
interface
   parallel iterator   2.1
IRTAW   1, 6
ISO/IEC JTC1 Working Group   1
iterator
   array aggregate   4.7
   container aggregate   4.5
iterator filter   4.6

L
literal value   7.11
lock-free   6.5
loop body as anonymous procedure   4.4

M
map-reduce   2.5
Max_Entry_Queue_Length aspect   6.3
Max_Protected_Entries restriction   6.10
maximum callers   6.3
Modular_Arithmetic package   6.5
multi-core processor   1

N
named container aggregates   4.5
named number   7.11
No_Dependence restriction   6.10
No_Exceptions restriction   4.4
No_Hidden_Indirect_Globals restriction   2.4
No_Implicit_Heap_Allocations restriction   6.10
No_Relative_Delay restriction   6.10
No_Return aspect   3.11
No_Unspecified_Globals restriction   2.4
Nonblocking aspect   2.3, 3.3, 3.8, 4.2, 6.1
numeric literal   7.11

O
object renaming   7.12
Object_Size attribute   7.3
Old attribute   3.7
OpenMP   2

P
package
   Address_to_Access_Conversions   7.9
   Atomic_Operations   6.5
   Big_Integers   7.11
   Big_Numbers   7.11
   Big_Reals   7.11
   Exchange   6.5
   Integer_Arithmetic   6.5
   Modular_Arithmetic   6.5
   Storage_Elements   7.9
   Test_and_Set   6.5
   Text_Buffer   7.1
   Wide_Command_Line   5.1
   Wide_Directories   5.1
   Wide_Environment_Variables   5.1
parallel iterator   2.1
parallel loop   2.1
Parallel_Calls aspect   2.2, 4.4
Parallel_Reduce attribute   2.5
parameter modes   3
positional container aggregate   4.5
Post aspect   3.7, 3.8
postconditions   3
pragma
   Admission_Policy   6.6
   Conflict_Check_Policy   2.2
   Detect_Blocking   2.3
Pre aspect   3.7, 3.8
preconditions   3
preelaborable package   7.9
Preelaborate aspect   7.9
Prepend_Vector   4.5
procedure
   Append   4.5
   Append_Vector   4.5
   Insert_Vector   4.5
   Prepend_Vector   4.5
Pure_Barriers restriction   6.10

R
Real_Literal aspect   7.11
Reduce attribute   2.5
renaming
   object   7.12
restriction
   Max_Protected_Entries   6.10
   No_Dependence   6.10
   No_Exceptions   4.4
   No_Hidden_Indirect_Globals   2.4
   No_Implicit_Heap_Allocations   6.10
   No_Relative_Delay   6.10
   No_Unspecified_Globals   2.4
   Pure_Barriers   6.10
   Simple_Barriers   6.10
rounding attribute   7.14

S
side effects   2.4
Simple_Barriers restriction   6.10
SPARK   2.4
spin lock   6.5
square brackets   4.5
stable container   4.1
stable property   3.5
stable property function   3.5
Stable_Properties aspect   3.5
Static aspect   7.5
static function   7.5
static string type   7.10
Storage_Elements   7.9
string literal   7.11
String_Literal aspect   7.11
subtype predicates   3
 
@ symbol   7.7

T
Taft
   Tucker   1
Target name symbol   7.7
Term=[for loop],Sec=[parallel]   2.1
test and set   6.5
Test_and_Set package   6.5
Text_Buffer package   7.1
type
   Big_Integer   7.11
   Big_Real   7.11
type invariants   3

U
Unchecked_Conversion   7.9
Unchecked_Union   7.8
Unicode   1
unspecified
   globals   2.4
Use_Formal aspect   2.3
user-defined literal   7.11

V
Volatile aspect   3.8
Volatile_Components aspect   3.8

W
WG 9   1
Wide_Command_Line package   5.1
Wide_Directories package   5.1
Wide_Environment_Variables package   5.1
Wide_File_Names subpackage   5.1
Wide_Wide_File_Names subpackage   5.1
working group   1

Y
Yield aspect   6.7

Contents   Index   Search   Previous 
© 2021, 2022 Jeff Cousins