<> <> <> <> <> <> <> <> < [(optional Tioga command list)] = >> <.abbreviations document.>> < may have substructure that is considered part of the replacement.>> <> < may have substructure, like prog below, which is copied after the node containing the abbreviation to be expanded.>> < is empty but there is substructure, then the substructure is added at the same level in the document as the node containing the abbreviation.>> <> <> <> <<>> prog (NextPlaceholder) = Name: CEDAR PROGRAM IMPORTS ImportsList EXPORTS ExportsList ~ BEGIN Body END. monitor (NextPlaceholder) = Name: CEDAR MONITOR LOCKS LocksClause IMPORTS ImportsList EXPORTS ExportsList ~ BEGIN Body END. defs (NextPlaceholder) = Name: CEDAR DEFINITIONS ~ BEGIN Body END. directory = DIRECTORY Interface USING [Item], Interface USING [Item]; dir = DIRECTORY Interface USING [Item], Interface USING [Item]; using = USING [Name], <> 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 }; <> 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; <> begin = BEGIN Body END; { = { Body }; [ = [ Body ]; exits = EXITS LabelList => Statement; goto = GO TO Label <> do = DO Body ENDLOOP; 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 <> return = RETURN [results] ret = RETURN [results] returns = RETURNS [results] rets = RETURNS [results] type = name: TYPE ~ type declaration; rec = RECORD [ field: type _ initial value, field: type _ initial value ]; <> <> <<>> file = [server]<dir>subdir>name cop = Copyright (C) 1984, 1985 by Xerox Corporation. All rights reserved.