|
SITE INDEX
|
|
A,
B,
C,
D,
E,
F,
G,
H,
I,
J,
K,
L,
M,
N,
O,
P,
Q,
R,
S,
T,
U,
V,
W,
X,
Y,
Z
|
Blue links go to the RED Reference Manual.
Red links go to the
RED Rationale
X
"Str:" goes to Strawman; "W:" goes to Woodenman; "T:" goes to Tinman;
"I:" goes to Ironman; "Ste:" goes to SteelmanX
|
- #
- as a definable symbol 13.1 2.2.8
- for type and subtype resolution 5.7
- user-defined13.5
- & C.3 C.4 2.2.7
- ** C.3 C.4
- * C.3 C.4
- + C.3 C.4
- - C.3 C.4
- ..
- case range value label 6.4
- ENUM 4.3 C.2
- INT 4.3 C.3
- range 4.1.7
- .ALL 4.4.2
- accessing dynamic variables 4.4.3
- automatically defined for user-defined type 4.4.2 4.4.3
- .TAG
- See also TAG
- / C.4 2.2.7
- ;
- as a terminator 3.2
- <
C.2
C.3
C.4
C.8
C.9
2.2.7
- =
C.1
C.2
C.3
C.4
C.5
C.6
C.7
C.8
C.9
C.10
C.11
W:B.2.b
- abbreviation invocation 4.4.1
- abbreviation Glossary 3.3.2
- declaration 4.4.1
- invocation 4.4.1
- local definitions 7.3
- overloading 11.
- abnormal function 7.2.1 Glossary
- ABS C.3 C.4
- abstract data type 5.1.3
- ACT 10.1 10.2 Glossary
- assignment and equality 14.5.1
- built-in and user-defined 14.5.2
- states 14.2.1
- activation 10.1 Glossary
- creation of 10.1
- termination by exception 14.5.2
- activation variable 7.1.3
- See also task declaration
- activation clock 10.4 Glossary
- ACTIVE 14.2.1 C.10
- actual generic property 11.1.2
- See also generic property
- actual interface 11.1
- pragmats for B.
- See also formal interface
- actual parameters 7.3 Glossary
- used to resolve subtype of formal parameters 4.1.1
- See also formal parameters
- actual signature 11.1.1
- See also formal signature
- actual translation time property 11. 11.1.2
- use of CONST and READONLY formal parmaters 7.3
- aliasing 5.3 I:7I Ste:7I
- detecting 5.3.3
- creating 5.3.2
- ALL
- exporting and exposing ALL 8.2
- importing ALL 3.7
- See also .ALL
- allocation property 4.4.3
- allocation statement 4.4.3 Glossary 3.7.3
- side-effects from 7.2.1
- AND C.1 C.9 2.2.7
- approximate arithmetic Ste:3-1D - 3-1E
- arithmetic operators 5.2
T:V.B.4
- array constructor 5.6
- ARRAY 4.3 C.7 3.6.1
W:B.1.g
T:V.A.6
I:3.3.1
- constructor 5.6
- dimension inquiry 4.5.1
- ASCII C.15 2.1 2.2.4
- 95 character set 2.1 2.1
- corresponding enum literals 2.3.8
- assembly language
- See also foreign code
- assertion 3.4
Str:I.f.4
W:B.g
T:VI.A.5
I:10F
Ste:7I
- placement in body 3.2
- See also type inquiry and subtype inquiry
- assignable type 4.3 Glossary
- ACT C.10
- ARRAY C.7
- BOOL C.1
- constructors for 5.6
- ENUM C.2
- FLOAT C.4
- INT C.3
- MAILBOX C.11
- RECORD C.5
- required for messages 10.3
- SET C.9
- STRING C.8
- UNION C.6
- See also assignment and non assignable type
- assignment statement 6.1
- assignment
W:B.2.a
T:V.B.1
- as a definable symbol 13.1
- assignable type 4.3
- automatically defined for user-defined type 4.4.2 4.4.3
- choice of symbol 2.2.7
- CONST and OUT parameters 7.3
- initialization 4.2.1
- of mailboxes 14.1.3
- sharing assignment for indirect types 4.4.3
- user-defined 13.2 5.1.3 9.1.1
- associativity 5.2
- attribute Glossary
- inquiry 4.5.3
- available names 3.5 Glossary
- begin statement 6.2
- binding Glossary
- See also formal parameters
- block
- See also begin statement
- body element 3.2
- body 3.2 Glossary
- local definitions 3.3 4.2.1
6. 9.1
- BOOL 4.3 C.1 3.4.1
T:V.B.6
I:3.2.1
Ste:3-2C
- expression used in assert statement 3.4
- expression used in if statement 6.3
- expression used in WHILE form of repeat statement 6.5
- literal 2.3.9
- used as genereic parameter and as element in interface 11.3.4
- used in manifest expressions 5.5
- call by reference W:B.8.c
- call by value W:B.8.c
- capsule invocation declaration 8.1
- capsule 6.
- as separate translation unit 3.1
- configuration 12.1
- declaration 8.1
- local definitions 7.3
- overloading 11.
- returning from 6.7
- separate translation of 8.1
- uses of 4.4 8.
8.2
- case statement 6.4 4.3.2
W:B.7.c
- conditional translation 5.5
- user-defined types in 13.6
- character set 2.1 2.1 2.2.8
3.5.4
Str:I.D.3
W:B.1.f
W:B.10.c
T:V.A.5
T:V.H.3
I:2A
I:3.2.1.D
Ste:2A
- 95 to 55 conversion 2.3.1
2.3.3 2.3.4
2.3.6 2.3.7
2.3.8
- clock 10.4 Ste:9E
- CLOSE A.1 C.14 10.3
- CLOSED
- pragmat B.
- closed scope 3.5 Glossary
- abbreviation declaration 4.4.1
- capsule declaration 8.1
- deferred declaration 3.3
- function declaration 7.2
- task declaration 10.1
- type declaration 4.4.2
- CNVT (conversion) A.3
- comment 2.4.1 2.2.6
Str:I.F.5
W:B.10.g
T:V.H.7
I:2.3.I
Ste:2I
- common data pools 8.1
- compile time variable T:V.I.3
- complete transparency problem 3.3.3
- complete opacity problem 3.3.3
- component selection 4.3 5.3 3.6.3
I:3-3B
- automatically defined for user-defined type 4.4.2 4.4.3
- compool 6.1.5
W:B.c
- composite types
I:3-3C
I:3.3
Ste:3.3
- compound declaration 3.3 Glossary
- capsule declaration 8.1
- function declaration 7.2
- procedure declaration 7.1
- task declaration 10.1
- See also body
- compound statement 6. Glossary
- begin statement 6.2
- case statement 6.4
- guard statement 9.2
- if statement 6.3
- local definitions 6.
- repeat statement 6.5
- reraise statement 9.4
- See also body
- concatenation 5.2
- See also ampersand
- conditional control
T:V.G.3
I:6C
Ste:6C
- conditional message passing 14.1.2
- conditional translation 5.5 Glossary
T:V.I.4
- COND_LOCK 14.4.3 C.13
- COND_RECEIVE 14.1.2 C.11
- COND_SEND 14.1.2 C.11
- configuration capsule 12.1
- conflicting definitions 3.5 11.1 11.3 Glossary
- conjunction
- See also AND
- CONST binding 7.3
- restriction 4.1.1 4.1.2 7.2.1 13.2 13.3
- constant declaration 4.2.1
- pragmats for B.
- constant 4.2 4.2.1 5.3 Glossary
W:B.3
T:V.D
I:5A
Ste:5A
- as data item for 5.1
- manifest expression 5.5
W:B.6.d
I:4E
- specifying a subtype for 4.1.1
- underlying constant of user-defined type 4.4.2
- constraint property 4.1 4.1.2 8.2.3
- constructor 5.4 5.6 5.3 Glossary 3.3.4
- user-defined 5.7 13.5
- control structures T:V.G
- copy semantics 5.1.3
- CREATE 10.1
- scheduling of 14.2.3
- critical activation 14.2.2
- critical areas 14.2.2
- CRITICAL 10.1
- pragmat for B.
- dangerous sharing 10.6 Glossary
- pragmat for B.
- data item 4.1 4.2 Glossary
- DATA_LOCK 10.7 14.4.2 C.12
- debugging W:F.
- deadlock 7.2.4
- deallocation 3.7.3
- declaration 3.3 Glossary
- See also deferred declaration immediate declaration
- default W:A.c
W:A.d
W:B.4.a
T:V.E.3
T:V.I.1
- deferred declaration 3.3 Glossary
- abbreviation 4.4.1
- abbreviation declaration 4.4.1
- capsule declaration 8.1
- formal interface 11.1
- function declaration 7.2
- generic replication of 11.3
- overloading 11.
- placement in body 3.2
- pragmat for B.
- procedure declaration 7.1
- task declaration 10.1
- type declaration 4.4.2
- deferred unit 3.3 Glossary
- forward reference to 3.6
- definable symbol 13.1
- defined variable 4.2
- as data item 5.1
- definition 3.5 Glossary
- declaration 3.3
- formal parameter 7.3
- generic parameter 11.3
- goto label 6.
- index of a repeat statement 6.5
- matching identifier 6.
- result variable 7.2.1
- delay 7.2.3
- DELAY_UNTIL C.10 Glossary
- DELAY_UNTIL_INACTIVE C.10
- dereference 3.7.3
- See also indirect type declaration
- direct type declaration 4.4.2
- disjunction
- See also OR
- distributed computing 7.2.5
- DIV C.3 2.2.7
- dope vector. avoiding 3.1.2
- dot selection 5.3 Glossary
- as a definable symbol 13.1
- user-defined 13.4
- dynamic variable 4.4.3 Glossary
I:3.3.3
- as data item 5.1
- See also indirect type declaration
- elaboration 3.1 Glossary
- empty body 3.2
- EMPTY 14.1.1
- EMPTY_SLOTS 14.1.1 C.11
- encapsulated definitions
I:3.5
Ste:3.5
- See also capsule
- end-of-line 2.2.8
- ENUM 4.1 C.2 3.5
I:3.2
Ste:3.2
- components of text files A.1
- expression used in components of text files A.3
- expression used in FOR form of repeat statement 6.5
- literal 2.3.7 2.2.4
- used as generic parameter and as element in interface 11.3.4
- used in manifest expressions 5.5
- used in strings 2.3.8
- enumeration elements 3.5.2
- environment specifications6.1.5
- EOF A.2 C.14
- equality
- of indirect types 4.4.2
- of mailboxes 14.1.3
- of subtypes 4.1.6 4.5.1
- of types 4.1.5 4.5.2
- See also =
- equivalence of types
3.2
T:V.B.2
- error
- See also exception translator warnings
- exception declaration 9.1
- exception 9.1 D. Glossary 7.1
- X_SUBTYPE 4.4.3
- X_ASSERT 3.4
- X_CASE 6.4
- X_EMPTY_MAILBOX 10.5 C.11
- X_EOF C.14
- X_FILE C.14
- X_FILENAME C.14
- X_FILEPOS C.14
- X_FORMAT A.3
- X_FREE 4.4.3 12.2
- X_INIT 4.2.1 7.2
- X_LOCK C.12
- X_MAXRANGE C.3
- X_NEG_EXP C.3
- X_NOFILE C.14
- X_OVERFLOW C.3 C.4
- X_RANGE C.2 C.3 C.4 C.6
- X_SUBSCRIPT C.7 C.8
- X_SUBTYPE 7.3 11.3.2
- X_TAG C.6
- X_UNHANDLED 9.3
- X_ZERO_DIVIDE C.3 C.4
- exception handling 7.1
Str:V
W:B.7.g
T:V.G.7
I:10
Ste:10.
- EXCESS_LOCKS 14.4.2 C.12
- exclusive disjunction
- See also XOR
- exit statement 6.6 4.3.4
- See also matching identifiers
- explicit overloading 11.2 Glossary
- exports 8.2 Glossary
- hiding representation 4.4.2 4.4.3
- See also capsule declaration
- EXPOSE 8. Glossary
- expression 5.2 4.1
W:B.6
T:V.C
T:V.C.4
I:4.
Ste:4.
- attribute inquiry 4.5.3
- exceptions raised by 9.3
- See also manifest expression operator symbols
- extended name equivalence 3.2.5
- extensible W:A.a
- EXTERMINATE C.10 Glossary 7.1.3
- ignored in critical areas 14.2.2
- external capsules 8.1 Glossary
- FILE A.1 C.14 Glossary
- file processing A.2
- file names 10.2
- text files A.3
- variable 10.2
- FILE_RENAME A.2
- finalization
- automatic for new types 13.3
- user-defined 9.2
- FIXED point 4.3 A.
7.4.4
W:B.1.d
T:V.A.4
I:3.1.2
Ste:3.1F - 3.1H
- FLOAT 4.3 C.4 3.4.3
I:3.1.1
- conversions to/from text files A.3
- literal 2.3.6 2.2.1
- used as generic parameter and as element in interface 11.3.4
- used in manifest expressions 5.5
- FLOOR C.4
- flow diagrams 1.6.1 1.6.2 Glossary
- for form of repeat statement 6.5
- for variable
- See also repeat index
- foreign code 12.4 6.2.5
Str:I.F.3
I:11E
Ste:11.E
- formal interface 11.
- pragmats for B.
- representation restrictions 12.2
- formal parameters 7.3 Glossary
Ste:7F
- binding classes 5.1
- CONST 7.3
- OUT 7.3
- READONLY 7.3
- specifying a type or subtype for 4.1.1
- VAR 7.3
- See also aliasing
- formal signature 11.
- formal translation time property 11. 11.1.2
- FORMAT A.3
- forward reference 3.6
- FREE 4.4.3
- FULL 14.1.1
- FULL_SLOTS C.11
- See also side effects
- function declaration Ste:7D
- function invocation primary 7.2
- actual signature 11.1.1
- function result variable
- See also result variable
- function
I:7.1
Ste:7
- as generic parameter and as element in interface 11.3.3
- as needed name 11.4
- declaration name 7.2
- formal signature 11.1.1
- local definitions 7.2 7.3
- overloading 11.
- returning from 6.7
- scope Ste:7C
- garbage collection 4.4.3
- generated set 11.3 Glossary
- generic constraint 11.3 Glossary
- generic declaration 11.3
I:12D
Ste:12D
- local definitions 11.3
- generic overloading 11.3 Glossary
- generic parameters 11.3 Glossary
- formal generic parameter uses in pattern declaration 11.3.4
- local definitions 11.4
- generic routines6.2.5generic property 11.1.2
- global translate6.2.5
- goto label 6. Glossary
- goto statement 6.8 4.3.4
W:B.7.b
T:V.G.2
Ste:6G
- See also goto label
- guard statement 9.2
- guarded body 9.2 Glossary
- handler 9.2 Glossary
- handling an exception 9. 9.3 Glossary 7.1.2
- high level I/O A.
I:8B
Ste:8B
- I/O conversions A.3
- I/O formatting A.3
- I/O 9.6
- high-level A. Ste:8B
- low-level 14.6
- side-effects from 7.2.1
- identifier 2.3.4 2.2.3
T:V.H.4
I:2.1
- as a name 3.5
- if statement 6.3 4.3.2
- conditional translation 5.5
- IFLOAT C.3
- immediate declaration 3.3 Glossary
- capsule declaration 8.
- capsule invocation declaration 8.1
- constant declaration 4.2.1
- exception declaration 9.1
- placement in body 3.2
- variable declaration 4.2.1
- interrupt 14.1.4
- imports 3.7 Glossary
- See also capsule declaration
function declaration
procedure declaration
task declaration
- IN C.9
- index variable Glossary
- See also repeat index
- INDEXOF 4.5.1 C.7
- indirect modification of variables treated as constants 4.2
- indirect type declaration 4.4.3 Glossary
3.7
W:B.1.c
T:V.D.6
Ste:3-3I
- infix operator 5.2 Glossary
- inheritance 11.1
- initialization Glossary
I:5E
- automatic for new types 13.3
- automatic initialization for files A.1
- automatic initialization for indirect variables 4.4.3
- automatic initialization for multitasking types
10.1
10.3
10.4
10.7
- optional for variables 4.2.1
- optional for constants 4.2.1
- user-defined 9.2
- See also assignment
- inline routine 6.1.5
- inquiry Glossary
- input binding class 5.1.1 Ste:7F
- input-output binding class 5.1.6 Ste:7F
- instantiation 8.2.6
- INT 4.3 C.3 3.4.2
I:3.1.2
- expression used in FOR form of repeat statement 6.5
- literal 2.3.6
- used as generic parameter and as element in interface 11.3.4
- used in manifest expressions 5.5
- integer literal 2.2.1
- iterative control
T:V.G.4
I:6E
Ste:6E
- See also repeat
- interface 11. 11.1 Glossary
- matching rules 11.1
- See also actual interface
formal interface
generic property
signature
- interrupt 14.1.4
- intersection of sets
- See also AND
- invocation
- actual interface 11.1
- of abbreviation 4.4.1
- of capsule 3.1 8.
- of function 7.2
- of procedure 7.1
- of task 10.1
- of type 4.4.2
- pragmats for B.
- terminated by exception 9. 9.3
- kernel W:A.b
- known in a scope 3.5 Glossary
- label
- See also goto label matching identifiers
- LATCH 14.4.3 C.13
- library 6.1.5
Str:I.F.3
Str:IV
W:A.d
W:C.
T:V.F.4-V.F.8
T:VI.C.6
I:12
Ste:12A
- lexical
2.
2.
Str:I.D.2
W:B.10
- lifetime 4.2 Glossary
- data modified by function 7.2.1
- of defined variables and constants 5.1
- of dynamic variables 4.4.3 5.1
- of local variables of a capsule 8.1
- of task 10.1
- line of a file A.3 2.2.7
- line of input text 2.2
- LIST pragmat B.
- literal 2.3.5 5.4 Glossary 2.2.1 2.2.2 2.2.4 2.2.5
3.3.4
W:B.3
T:V.D
T:V.H.4
I:2.2
- manifest 5.5
- user-defined 5.7 13.5
- local names 3.5 Glossary
- location 12.3
- LOCK 14.4.3 C.12 C.13
- logical operators 5.2
- low level I/O
I:8A
Ste:8A
- low-level multitasking 9.5
- LOW_SYNCH_AWAIT 14.5.2
- LOW_SYNCH_RESET 14.5.2
- LOW_SYNCH_SIGNAL 14.5.2
- LOW_SYNC_RESET C.10
- LOW_SYNC_SIGNAL C.10
- LOW_SYNC_WAIT C.10
- LOW_TASK_END 14.5.2 C.10
- machine-dependent
W:B.9.b
- configuration capsule 12.
- foreign code 12.4
- location 12.3
- representation 12.2
- machine specifications 9.4
- MAILBOX 10.3 C.11 Glossary 7.2.3
- assignment and equality 14.1.3
- conditional message passing 14.1.2
- functions relating to 14.1.1
- used for interrupts 14.1.4
- main activation 10.1
- main capsule 3.1
- manifest expression 5.5 Glossary 4.2 8.2.5
Str:II.a
- used as generic parameter and as element in interface 11.3.4
- matching identifiers 6. Glossary
- ME
10.2
14.5.2
C.10
- message passing 10.3 Glossary 7.2.3
Ste:9H
- MOD C.3 2.2.7
- multiple representations 3.1.2
- multitasking 10. 7.2
Str:I.C
W:B.7.f
T:V.G.6
I:9
Ste:9
- low-level 9.5
- mutual exclusion Glossary Ste:9C
- See also region statement
- mutual recursion6.2.5
- name scope
- See also scope
- name Glossary
- definition of 3.5
- exporting of all of 8.2
- forward reference to 3.6
- importing of variable name 3.7
- use of 3.5
- See also conflicting definitions definition
- needs 11.4 Glossary 8.2.3
- new capsule Glossary
- new type Glossary
3.3.3
- NIL 2.3.10 4.4.3
- NIL_ACT 14.5.1
- nonassignable type 4.3 5.1.3
- DATA_LOCK C.12
- FILE C.14
- LATCH C.13
- noncritical activation 14.2.2
- NONCRITICAL C.10
- NONRECURSIVE pragmat B.
- normal function 7.2.1 Glossary
- NOT C.1 C.9 2.2.7
- numeric literal 2.3.6
I:2.2.G
Ste:2G
- numeric operations I:3-1B
- OK pragmat B.
- old capsule Glossary
- old type
- OPEN pragmat B.
- open scope 3.5 Glossary
- body 3.2
- compound statement 6.
- generic declaration 11.3.3
- OPEN A.1 C.14 10.3
- operation generic constraint 11.3.3
- operation precedence 4.1.1
- See also precedence
- operations
Str:I.B
W:B.2
- operator symbol 2.3.2 2.2.7
- as a definable symbol 13.1
- as a name 3.5 7.1 7.2
- user-defined 13.2
- optimization 9.1.3
W:D.c
Ste:11F
- by avoiding garbage collection 4.4.2
- by restricting formal parameters to subtypes 4.5
- by suppressing exceptions 2.4.2
- of CONST formal parameters 7.3
- of normal functions 7.2.1
- OPTIMIZE pragmat B.
- OR C.1 C.9 2.2.7
- ordered enumeration 3.5.3
- ordering
- See also <
- OUT binding 7.3 Ste:7F
- aliasing warning 4.1.1
- restriction 4.1.1 8.
13.2 13.3
- overloading 11. Glossary
- explicit 11. 11.2
- generic 11. 11.3 8.2 9.1
- name conflict resolution 11.1
- definitions 8.1 8.2
- own data Glossary 6.1.4
I:3-5C
Ste:3-5C
- OWNER 14.4.2 C.12
- parameter
Str:I.A.3
W:B.8
T:V.C.5 - V.C.9
I:7.2
- See also actual parameter formal parameter
- parenthesized expression 5.3 4.1.2
T:V.H.8
I:4G
Ste:4G
- manifest expression 5.5
- pattern declaration 11.3 Glossary
- physical file A.1 Glossary
- physical representation specification 9.4.1
T:V.I.2
Ste:11A
- pointer
- See also indirect type declaration
- POS C.2
- POSITION A.2 C.14
- pragmat 2.4.2 B.
- precedence 5.2 Glossary
I:4F
- PRED C.2 C.3
- prefix operator 5.2 Glossary
- precision T:V.A.3
- primary 5.3 Glossary
- PRIORITY 10.2 C.10 Glossary 7.2.3
- no preemption in critical areas 14.2.2
- See also scheduler
- procedure invocation statement 7.1
- actual signature 11.1.1
- procedure
I:7
Ste:7
- as generic parameter and as element in interface 11.3.3
- as needed name 11.4
- declaration 7.1
- formal signature 11.1.1
- local definitions 7.3
- overloading 11.
- returning from 6.7
- scope Ste:3-5C
- program 3.1
- raise statement 9.3
- raising an exception 9. Glossary 7.1.1
Ste:10C
- random file A.1 Glossary
- range value label 6.4
- range 4.1.7 Glossary
Str:II.B
-
See also ENUM
FLOAT
INT
range value label
- READ A.2 C.14 10.5
- READLN A.3 C.14
- READONLY binding 7.3 5.1
- restriction 4.1.1
7.2.1 10.1
13.3
- readonly Glossary
- as data item 5.1
- exporting 8.2
- exposing 8.1
- importing 3.7
- real-time clock 10.4 Glossary
T:V.G.8
I:9E
- RECEIVE 10.3 C.5
- RECEIVE_COMPLETE C.11
- RECEIVE_REQUEST C.11
- RECEIVE_REVOKE C.11
- RECEIVE_ST C.11
- RECEIVE_TEST C.11
- record or union constructor 5.6
- RECORD 4.3 C.5 3.6.2
T:V.A.7
I:3.3.2
- constructor 5.6
- recursion 3.7.1
W:B.7.e
T:V.G.5
I:7B
Ste:7B
- RECURSIVE pragmat B.
- ref semantics 5.1.4
- referencing form 5.3
- region statement 10.7 7.2.6
- semantics of 14.4.1
- rejoin of activations 10.1
- relational operators 5.2 2.2.7
W:B.2.c
T:V.B.3
- renaming Glossary
- repeat index 6.5
- repeat statement 6.5 4.3.2
W:B.7.d
- user-defined types in 13.7
- replacement element 11.3 Glossary
- replication
- See also generic declaration
- representational item 12.2
- representational specification 12.2
I:11
- See also physical representation specification
- reraise statement 9.4
- See also raise statement
- reserved words 2.3.1 2.2.7
W:B.10.f
T:V.H.6
I:2.1.F
I:8B
Ste:2F
- resolution of types and subtypes
- resolved constant 5.7
- resolved constant 5.7
- result type or subtype Glossary
- result variable 7.2
- return statement 6.7 4.3.4
- subtypes 4.1.6
- types 4.1.5
- routine Glossary
- scheduler Glossary
I:9D
Ste:9D
- built-in 10. 10.2
- scheduling algorithm 14.2.3
- user-defined 14.5
- scope 3.5 6.2.2
Str:I.E
W:B.5
T:V.F.1 - V.F.3
I:5.C
I:7.C
Ste:5.C
- See also closed scope open scope
- selection 9.3
- See also dot selection subscripting
- self-hosting T:VI.B.5
- SEND 10.3
14.1.2 C.11
- SEND_COMPLETE C.11
- SEND_REQUEST C.11
- SEND_REVOKE C.11
- SEND_ST C.11
- SEND_TEST C.11
- separate translation 6.1.5
I:12B
- capsule declaration 8.
- sequential file A.1 Glossary
- set constructor 5.6
- SET 4.3 C.9 3.6.5
I:3.4
Ste:3.4
- constructor 5.6
- set operands 5.2
- SET_POSITION A.2 C.14
- SET_PRIORITY 10.2 C.10
- shared variable 10.6 Glossary 5.3.1
Ste:9C
- use of CONST and READONLY formal parameters 7.3
- short circuiting
I:6D
Ste:6D
- See also AND OR
- side-effects 7.2.1 Glossary 5.2
W:B.6
T:V.C.1
I:4C
- signature 11. 11.1.1 Glossary
- simple statement 6.
- allocation statement 4.4.3
- assignment statement 6.1
- exit statement 6.6
- goto statement 6.8
- procedure invocation statement 7.1
- raise statement 9.3
- return statement 6.7
- task invocation statement 10.1
- single-instance generators 3.2.4
- single value label 6.4
- SIZE A.2 C.14
- SIZELN A.2 C.14
- special symbols 2.3.3 2.2.8
- square brackets 2.2.8
- standard file A.1
- statement 6. 4.3
- allocation statement 4.4.3
- assignment statement 6.1
- begin statement 6.2
- case statement 6.4
- exit statement 6.6
- goto statement 6.8
- if statement 6.3
- placement in body 3.2
- procedure invocation statement 7.1
- raise statement 9.3
- region statement 10.7
- repeat statement 6.5
- reraise statement 9.4
- return statement 6.7
- task invocation statement 10.1
- wait statement 10.5
- STRING 4.3 C.8 3.6.4
- literal 2.3.8 2.2.5
I:2.2.H
- used as generic parameter and as element in interface 11.3.4
- used in manifest expressions 5.5
- See also ENUM
- subscripting 5.3
- as a definable symbol 13.1
- user-defined 13.4 9.3
- subtype comparison 4.1.6
- subtype equality 4.1.5
- subtype generic constraint 11.3.2
- subtype inquiry 4.5.1
- subtype 4.1 4.1.6 3.1 8.2.4
- abbreviating 4.4.1
- as generic parameter and as element in interface 11.3.2
- attribute inquiry 4.5.3
- brief description 4.3
- equality 4.1.6 4.5.1
- inquiry 4.5.1
- of user-defined 4.4.2
- relation to type 4.1.3
- resolution in manifest expression or constructor 5.7
- specifying 4.1.2
- Types in RED 2.
- underlying subtype of user-defined subtype 4.4.2
- SUBTYPEOF 4.5.1
- subtype resolution Glossary
- SUCC C.2 C.3
- SUPPRESS B.
- SUSPEND 14.2.1 C.10
- SUSPENDED 14.2.1 C.10
- synchronization T:V.G.8
- SYNCH_AWAIT 14.5.2
- SYNCH_RESET 14.5.2
- SYNCH_SIGNAL 14.5.2
- SYNC_RESET C.10
- SYNC_SIGNAL C.10
- SYNC_WAIT C.10
- SYS_IN A.3
- SYS_OUT A.3
- syntactic extensions I:2C
- tag 3.6.3
Ste:3-3H
- See also UNION
- task
- as generic parameter and as element in interface 11.3.3
- as needed name 11.4
- formal signature 11.1.1
- local definitions 7.3
- overloading 11.
- returning from 6.7
- task activation 7.1.3
- user-defined 14.5.3
- See also activation
- TASK_END 14.5.2 C.10
- TASK_START C.10
- as data item 5.1
- task invocation statement 10.1
- actual signature 11.1.1
- task termination 7.1.3
Ste:9G
- temporary data item Glossary
- terminating a task 7.1.3
- terminator of body element 3.2
- text file A.1 A.3 Glossary
- text 2.1
- TIME C.10
- token separator 2.2 2.4
- token 2.2
- translation environment 3.1
- all generic properties 11.1.2
- all interface matching 11.1
- translation time property 11. 11.1.2 Glossary
- translation unit 3.16.2.1
- translation-time known
- all manifest expressions 5.5
- all type checking 4.1.1 7.3
- all type properties 4.1
- some constraint properties 4.1
- translator errors
- See also exception
- translator warnings
- from assertion statement 3.4
- from dangerous sharing 10.6
- from exceptions always being raised 9.3
- type checking 4.1.1 7.3 Glossary
- type comparison 4.1.5 3.2
- overloading 11.
- type conversion 3.3.3
T:V.B.8
I:3B
- typed language W:A.e
T:V.A.1
I:3A
Ste:3A
- type equivalence 3.2
- type generic constraint 11.3.1
- type inquiry 4.5.2
- type opacity 3.3
- type property 4.1 4.1.2
- type 4.1 4.1.5 4.4.2 Glossary
3.1
Str:I.A.1
T:V.A.2
Ste:3A
- abbreviating 4.4.1
- as generic parameter and as element in interface 11.3.1
- brief description 4.4.2
- compile time
Str:I.B
- equality 4.1.5 4.5.2
- inquiry 4.5.2
- local definitions 7.3
- relation to subtype 4.1.3
- representation 12.2
- resolution in manifest expression or constructor 5.7
- specifying 4.1.2
- Types in RED 1.
- underlying type of user-defined type 4.4.2
- user-defined 4.4.2
W:B.1.a
W:B.4
- TYPE OF 4.5.2
- type resolution 4.5.2 Glossary
- underlying subtype or type 4.4.2 Glossary
- underlying variable or constant 4.4.2 Glossary
- See also .ALL
- union of sets
- See also OR
- UNION 4.3 C.6 3.6.3
- conditional translation 5.5
- constructor 5.6
- See also assignment
- unlabeled statement 6.
- UNLOCK 14.4.3
C.12 C.13
- unordered enumeration 3.5.3
- UNSUSPEND 14.2.1 C.10
- use of a name 3.5
- user-defined subtype 4.4.2
- user-defined type 4.4.2
T:V.E.5
I:3C
- used in case statement 13.6
- used in repeat statement 13.7
- restriction 4.4.1 4.4.3
- value generic constraint 11.3.4
- manifest expressions 5.5
- value labels 6.4 Glossary
- VAR binding 7.3
- restriction 4.1.1
- variable declaration 4.2.1
- pragmats for B.
- variable 4.2 5.3 Glossary
Str:I.A.2
Str:I.F.1
W:B.3
T:V.D
I:5B
Ste:5B
- dynamic 4.4.3
- importing variables 3.7
- indirect 4.4.3
- initial values Ste:5E
- location 12.3
- operations Ste:5F
- passed to VAR and OUT formal Parameters 7.3
- readonly 5.1
- scope Ste:5G
- shared 10.6
- side-effects from modification 7.2.1
- specifying a subtype for 4.1.1
- underlying variable of user-defined type 4.4.2
- See also closed scope
- variant record 3.6.3
I:3.3.2.H
Ste:3-3G
- See also UNION
- version skew 6.1.5
- visible definitions Glossary
- wait statement 10.5
- avoiding busy waiting 10.3
- expansion of 14.3.3
- WAITING function 14.2.1 C.10
- waiting invocation 10.5
- synchronizingoperations for 14.3.1
- waiting Glossary Ste:9J
- for space in mailbox for message 10.3
- for unlocking of region 10.7
- latches using busy waiting 14.4.3
- wait statement 10.5
- warning
- See also translator warnings
- while form of repeat statement 6.5
- WRITE A.2 C.14
- WRITELN A.3 C.14
- XOR C.1 C.9 2.2.7
- X_ASSERT 3.4
- X_CASE 6.4
- X_EMPTY_MAILBOX 10.5 C.11
- X_EOF C.14
- X_FILE C.14
- X_FILENAME C.14
- X_FILEPOS C.14
- X_FORMAT A.3
- X_FREE 4.4.3 12.2
- X_INIT 4.2.1 7.2
- X_LN C.14
- X_LOCK C.12
- X_MAXRANGE C.3
- X_NEG_EXP C.3
- X_NOFILE C.14
- X_OVERFLOW C.3 C.4
- X_RANGE C.2 C.3 C.4 C.6
- X_SUBSCRIPT C.7 C.8
- X_SUBTYPE 4.4.3 7.3 11.3.2
- X_TAG C.6
- X_TERMINATE 7.1.3
- X_UNHANDLED 9.3
- X_ZERO_DIVIDE C.3 C.4
- <write 10.2
|
|
A,
B,
C,
D,
E,
F,
G,
H,
I,
J,
K,
L,
M,
N,
O,
P,
Q,
R,
S,
T,
U,
V,
W,
X,
Y,
Z
|
|
Copyright © 2009, Mary S. Van Deusen
|
