GRAMMAR DIAGRAMS By Position in Book
|
3. Program Structure
|
translation unit
|
1
|
3.1
|
body
|
2
|
3.2
|
body element
|
3
|
3.2
|
declaration
|
4
|
3.3
|
immediate declaration
|
5
|
3.3
|
deferred declaration
|
6
|
3.3
|
compound declaration
|
7
|
3.3
|
assertion
|
8
|
3.4
|
imports
|
9
|
3.7
|
4. Types
|
type
|
10
|
4.1.5
|
type comparison
|
11
|
4.1.5
|
subtype
|
12
|
4.1.6
|
subtype comparison
|
13
|
4.1.6
|
range
|
14
|
4.1.7
|
variable declaration
|
15
|
4.2.1
|
constant declaration
|
16
|
4.2.1
|
abbreviation declaration
|
17
|
4.4.1
|
abbreviation invocation
|
18
|
4.4.1
|
type declaration
|
19
|
4.4.2
|
direct type declaration
|
20
|
4.4.2
|
user-defined type
|
21
|
4.4.2
|
user-defined subtype
|
22
|
4.4.2
|
indirect type declaration
|
23
|
4.4.3
|
allocation statement
|
24
|
4.4.3
|
attribute inquiry
|
25
|
4.5.3
|
5. Expressions
|
expression
|
26
|
5.2
|
primary
|
27
|
5.3
|
variable
|
28
|
5.3
|
constant
|
29
|
5.3
|
referencing form
|
30
|
5.3
|
constructor
|
31
|
5.6
|
record or union constructor
|
32
|
5.6
|
array constructor
|
33
|
5.6
|
set constructor
|
34
|
5.6
|
resolved constant
|
35
|
5.7
|
6. Statements
|
statement
|
36
|
6.
|
unlabeled statement
|
37
|
6.
|
simple statement
|
38
|
6.
|
compound statement
|
39
|
6.
|
assignment statement
|
40
|
6.1
|
begin statement
|
41
|
6.2
|
if statement
|
42
|
6.3
|
case statement
|
43
|
6.4
|
repeat statement
|
44
|
6.5
|
exit statement
|
45
|
6.6
|
return statement
|
46
|
6.7
|
goto statement
|
47
|
6.8
|
7. Procedures, Functions and Parameters
|
procedure declaration
|
48
|
7.1
|
procedure invocation statement
|
49
|
7.1
|
function declaration
|
50
|
7.2
|
function invocation primary
|
51
|
7.2
|
formal parameters
|
52
|
7.3
|
actual parameters
|
53
|
7.3
|
8. Capsules
|
capsule declaration
|
54
|
8.1
|
capsule invocation declaration
|
55
|
8.1
|
visible list
|
56
|
8.2
|
9. Exceptions
|
exception declaration
|
57
|
9.1
|
guard statement
|
58
|
9.2
|
raise statement
|
59
|
9.3
|
reraise statement
|
60
|
9.4
|
10. Multitasking
|
task declaration
|
61
|
10.1
|
task invocation statement
|
62
|
10.1
|
wait statement
|
63
|
10.5
|
waiting invocation
|
64
|
10.5
|
region statement
|
65
|
10.7
|
11. Overloading & Generics
|
formal translation time properties
|
66
|
11.1.2
|
actual translation time properties
|
67
|
11.1.2
|
translation time property
|
68
|
11.1.2
|
generic declaration
|
69
|
11.3
|
generic parameters
|
70
|
11.3
|
generic constraint
|
71
|
11.3
|
type generic constraint
|
72
|
11.3.1
|
subtype generic constraint
|
73
|
11.3.2
|
operation generic constraint
|
74
|
11.3.3
|
value generic constraint
|
75
|
11.3.4
|
needs
|
76
|
11.4
|
needed item
|
77
|
11.4
|
12. Machine-dependent Facilities
|
representational specification
|
78
|
12.2
|
representational item
|
79
|
12.2
|
location specification
|
80
|
12.3
|
13. Advanced Definitions
|
definable symbol
|
81
|
13.1
|
B. Pragmats
|
pragmats
|
82
|
B
|
pragmat
|
83
|
B
|