Intermetrics, Inc. - RED Reference Manual - March 1979

.	Navigate

E. Glossary

G. Index

DIAGRAM CROSS
REFERENCES

Lexical - Alphabetical Lexical - By Position in Book Lexical Referenced In...
Grammar - Alphabetical Grammar - By Position in Book Grammar Referenced In...

LEXICAL DIAGRAMS Alphabetical
boolean literal	I	2.3.9
comment	K	2.4.1
enum literal	G	2.3.7
float literal	F	2.3.6
identifier	C	2.3.4
indirect literal	J	2.3.10
int literal	E	2.3.6
literal	D	2.3.5
pragmat token separator	L	2.4.2
string literal	H	2.3.8
token	A	2.2
token separator	B	2.2

LEXICAL DIAGRAMS By Position in Book
token	A	2.2
token separator	B	2.2
identifier	C	2.3.4
literal	D	2.3.5
int literal	E	2.3.6
float literal	F	2.3.6
enum literal	G	2.3.7
string literal	H	2.3.8
boolean literal	I	2.3.9
indirect literal	J	2.3.10
comment	K	2.4.1
pragmat token separator	L	2.4.2

LEXICAL DIAGRAMS REFERENCED IN
boolean literal literal comment token separator enum literal literal type float literal literal identifier abbreviation declaration abbreviation invocation attribute inquiry capsule declaration capsule invocation declaration constant declaration definable symbol direct type declaration enum literal exception declaration exit statement formal parameters function declaration generic parameters goto statement guard statement imports indirect type declaration needed item procedure declaration procedure invocation declaration raise statement record or union constructor referencing form repeat statement representational item subtype subtype generic constraint task declaration task invocation statement token translation time property type type generic constraint unlabeled statement user-defined subtype user-defined type variable declaration visible list waiting invocation indirect literal literal int literal literal literal constant token pragmat token separator string literal literal token token separator

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

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

GRAMMAR DIAGRAMS REFERENCED IN
abbreviation declaration deferred declaration abbreviation invocation subtype type actual parameters abbreviation invocation allocation statement capsule invocation declaration function invocation primary procedure invocation statement task invocation statement user-defined subtype actual translation time properties abbreviation invocation capsule invocation declaration function invocation primary procedure invocation statement task invocation statement translation time property user-defined subtype user-defined type allocation statement simple statement array constructor constructor assertion body element assignment statement simple statement attribute inquiry constant begin statement constant body begin statement capsule declaration case statement function declaration guard statement if statement procedure declaration region statement task declaration wait statement body element body element body capsule declaration compound declaration translation unit capsule invocation declaration immediate declaration case statement compound statement compound statement unlabeled statement constant primary constant declaration immediate declaration constructor constant declaration body element deferred declaration declaration generic declaration definable symbol function declaration needed item procedure declaration direct type declaration type declaration exception declaration immediate declaration exit statement simple statement expression actual parameters allocation statement array constructor assertion assignment statement attribute inquiry case statement constant declaration expression if statement location specification primary range record or union constructor referencing form repeat statement representational item set constructor subtype translation time property type variable declaration waiting invocation formal parameters abbreviation declaration capsule declaration direct type declaration function declaration indirect type declaration procedure declaration task declaration formal translation time properties abbreviation declaration capsule declaration direct type declaration function declaration indirect type declaration needed item procedure declaration task declaration function declaration compound declaration function invocation primary constant generic constraint generic parameters generic declaration declaration goto statement simple statement guard statement compound statement if statement compound statement immediate declaration declaration imports capsule declaration function declaration procedure declaration task declaration indirect type declaration type declaration location specification variable declaration needed items needs needs generic declaration pragmat pragmats token separator pragmats pragmats token separator primary expression referencing form resolved constant procedure declaration compound declaration procedure invocation statement simple statement raise statement simple statement range array constructor case statement referencing form subtype record or union constructor constructor referencing form constant repeat statement compound statement representational item representational specification representational specification direct type declaration indirect type declaration reraise statement simple statement resolved constant constant return statement simple statement set constructor constructor simple statement unlabeled statement statement body element subtype abbreviation declaration attribute inquiry constant declaration direct type declaration formal parameters function declaration indirect type declaration needed item operation generic constraint repeat statement resolved constant subtype subtype comparison translation time property type value generic constraint variable declaration subtype comparison expression subtype generic constraint generic constraint task declaration compound declaration task invocation statement simple statement translation time property actual translation time properties formal translation time properties translation unit type abbreviation declaration formal parameters function declaration needed item operation generic constraint resolved constant subtype subtype generic constraint translation time property type type comparison value generic constraint type comparison expression type declaration deferred declaration type generic constraint generic constraint unlabeled statement statement user-defined subtype subtype user-defined type type value generic constraint generic constraint variable allocation statement assignment statement primary region statement task invocation statement variable declaration immediate declaration visible list capsule declaration wait statement compound statement waiting invocation wait statement

Lexical - Alphabetical Lexical - By Position in Book Lexical Referenced In...
Grammar - Alphabetical Grammar - By Position in Book Grammar Referenced In...

E. Glossary

G. Index

Overview
Requirements
     Strawman
     Woodenman
     Tinman
     Ironman
     Steelman
RED Reference
RED Rationale
Types in RED
Time/Life Computer Languages
Memories
Site Index

Overview Reference ToC Rationale ToC Site Index