-- Cedar.Abbreviations
-- last written on July 13, 1982 11:54 am
-- by Bill Paxton
Last Edited by: teitelman, April 11, 1983 11:17 am
-- module declarations
prog = Name: CEDAR PROGRAM ParameterList ReturnsClause
IMPORTS ImportsList
EXPORTS ExportsList
SHARES SharesList
= BEGIN
Body
END.
monitor = Name: CEDAR MONITOR ParameterList ReturnsClause
LOCKS LocksClause
IMPORTS ImportsList
EXPORTS ExportsList
SHARES SharesList
= BEGIN
Body
END.
defs = Name: CEDAR DEFINITIONS = BEGIN
Body
END.
directory = DIRECTORY
Interface USING [Item],
;
using = USING [Name],
-- procedure declarations
proc = Name: PROCEDURE [Args] RETURNS [Results] = {
Body
};
pproc = Name: PUBLIC PROCEDURE [Args] RETURNS [Results] = {
Body
};
eproc = Name: ENTRY PROCEDURE [Args] RETURNS [Results] = {
ENABLE UNWIND => RestoreInvariant;
Body
};
iproc = Name: INTERNAL PROCEDURE [Args] RETURNS [Results] = {
Body
};
-- conditional statements and select statements
if = IF Test THEN TruePart
else = ELSE FalsePart
select = SELECT Item FROM
TestList => Statement;
ENDCASE => Statement;
with = WITH Item SELECT FROM
ChoiceList => Statement;
ENDCASE => Statement;
-- block related statments
begin = BEGIN
Body
END;
{ = {
Body
};
exits = EXITS
LabelList => Statement;
goto = GO TO Label
-- loop control statements
do = DO
Body
ENDLOOP;
for = FOR ControlVariable ← InitialExpr, NextExpr DO
Body
ENDLOOP;
in = FOR ControlVariable IN LoopRange DO
Body
ENDLOOP;
through = THROUGH LoopRange DO
Body
ENDLOOP;
until = UNTIL Test DO
Body
ENDLOOP;
while = WHILE Test DO
Body
ENDLOOP;
repeat = REPEAT
LabelList => Statement;
FINISHED => Statement;
exit = EXIT
-- miscellaneous
return = RETURN [results]