PairList: TYPE = LIST OF RECORD[key, val: ROPE];
Switches: TYPE = PACKED ARRAY CHAR ['a..'z] OF BOOL;
Echo:
PROC [
d: IO.STREAM,
operator: ROPE,
argList, resultList: PairList,
switches: ROPE];
GetSwitches: PROC [switches: ROPE, default: Switches] RETURNS[Switches];
GetNthPair:
PROC [list: PairList, n:
CARDINAL, delete:
BOOL←
FALSE]
RETURNS [key,value: ROPE];
GetNth:
PROC [list: PairList, n:
CARDINAL, delete:
BOOL←
FALSE]
RETURNS [ROPE] = INLINE {
RETURN [GetNthPair[list, n, delete].value]};
KeyValue:
PROC [key:
ROPE, list: PairList, delete:
BOOL←
FALSE]
RETURNS [ROPE];
ListLength: PROC [list: PairList] RETURNS [CARDINAL];
Parse:
PROC [command: Rope.
ROPE]
RETURNS [operator: ROPE, argList, resultList: PairList, switches: ROPE];
SetExtension: PROC [root, defaultExt: ROPE] RETURNS [name: ROPE];
GetRootName: PROC[name: ROPE] RETURNS [root: ROPE];
SkipNonBlank: PROC [s: IO.STREAM, n: CARDINAL𡤁];
Failed: ERROR;
}.