StandardDummies1.Mesa
Spreitzer, May 10, 1986 4:33:49 pm PDT
DIRECTORY CedarProcess, DFOperations, DFUtilities, EvalQuote, FileSets, FS, HashTable, ImagerPath, IntHashTable, IO, IOUtils, Menus, Misp, PrincOps, PrincOpsUtils, PrintTV, RedBlackTree, RefTab, Rope, StatementInterpreterPrivate, SymTab, ViewerClasses;
StandardDummies1: CEDAR PROGRAM
IMPORTS PrincOpsUtils, StatementInterpreterPrivate
=
BEGIN
ROPE: TYPE = Rope.ROPE;
DummyNilNil: PROC = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyRa: PROC [REF ANY] = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyRaRa: PROC [REF ANY] RETURNS [REF ANY] = TRUSTED {
ans: REF ANY;
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf, TRUE];
x ← x + 1;
RETURN [ans];
};
DummyRopeMap: PROC [REF ANY, ROPE] RETURNS [ROPE] = TRUSTED {
ans: ROPE;
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf, TRUE];
x ← x + 1;
RETURN [ans];
};
DummyBreakProc: IO.BreakProc = TRUSTED {
cc: IO.CharClass;
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf, TRUE];
x ← x + 1;
RETURN [cc];
};
DummyGetChar: PROC [self: IO.STREAM] RETURNS [CHAR] = TRUSTED {
char: CHAR;
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf, TRUE];
RETURN [char];
};
DummyEndOf: PROC [self: IO.STREAM] RETURNS [BOOL] = TRUSTED {
end: BOOL;
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf, TRUE];
RETURN [end];
};
DummyCharsAvail: PROC [self: IO.STREAM, wait: BOOL] RETURNS [INT] = TRUSTED {
avail: INT;
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf, TRUE];
RETURN [avail];
};
DummyPutChar: PROC [self: IO.STREAM, char: CHAR] = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyStreamProc0: PROC [self: IO.STREAM] = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyStreamProc1: PROC [self: IO.STREAM] = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyClose: PROC [self: IO.STREAM, abort: BOOL ← FALSE] = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyPF: IOUtils.PFCodeProc = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyPrintRefAny: IOUtils.PrintRefAnyProc = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyTVPrinter: PrintTV.TVPrintProc = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyRefPrinter: PrintTV.RefPrintProc = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyMispEval: Misp.EvalProc = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
DummyMispEnv: Misp.EnvironmentProc = TRUSTED {
lf: PrincOps.FrameHandle = PrincOpsUtils.MyLocalFrame[];
StatementInterpreterPrivate.DoDummy[lf];
x ← x + 1;
};
x: INT ← 0;
TRUSTED {StatementInterpreterPrivate.RegisterDummys[
"StandardDummies1.BCD",
PrincOpsUtils.MyGlobalFrame[]
]};
END.