Cedar.abbreviations
Copyright (C) 1982, Xerox Corporation. All rights reserved.
Last Edited by:
Bill Paxton, July 13, 1982 11:54 am
Teitelman, April 11, 1983 11:17 am
Wyatt & Plass, December 16, 1983 3:54 pm
Plass, July 30, 1984 1:27:07 pm PDT
-- module declarations
prog = Name:
CEDAR PROGRAM
IMPORTS ImportsList
EXPORTS ExportsList
~ BEGIN
Body
END.
monitor = Name:
CEDAR MONITOR
LOCKS LocksClause
IMPORTS ImportsList
EXPORTS ExportsList
~ BEGIN
Body
END.
defs = Name:
CEDAR
DEFINITIONS ~
BEGIN
Body
END.
directory =
DIRECTORY
Interface USING [Item],
;
dir =
DIRECTORY
Interface USING [Item],
;
using = USING [Name],
-- procedure declarations
proc =
Name:
PROC [Args]
RETURNS [Results] ~ {
Body
};
pproc =
Name:
PUBLIC PROC [Args]
RETURNS [Results] ~ {
Body
};
eproc =
Name:
ENTRY PROC [Args]
RETURNS [Results] ~ {
ENABLE UNWIND => RestoreInvariant;
Body
};
peproc =
Name:
PUBLIC
ENTRY
PROC [Args]
RETURNS [Results] ~ {
ENABLE UNWIND => RestoreInvariant;
Body
};
iproc =
Name:
INTERNAL PROC [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;
sel = SELECT Item
from =
FROM
TestList => Statement;
ENDCASE => Statement;
with =
WITH Item
SELECT
FROM
ChoiceList => Statement;
ENDCASE => Statement;
-- block related statments
exits =
EXITS
LabelList => Statement;
goto = GO TO Label
-- loop control statements
for =
FOR ControlVariable: Type ← InitialExpr, NextExpr
DO
Body
ENDLOOP;
in =
FOR ControlVariable: Type
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]
ret = RETURN [results]
returns = RETURNS [results]
rets = RETURNS [results]
file = [server]<dir>subdir>name
cop = Copyright (C) 1984, Xerox Corporation. All rights reserved.