Transaction:
TYPE =
RECORD [
action
op: {compile, replace} ¬ $compile,
input
source: FileParms.ActualId,
sourceStream: IO.STREAM,
fileParms: FileParms.Ops,
switches: LetterSwitches,
checks: LetterSwitches,
pattern: FileParms.ActualId,
objectName: Rope.ROPE,
debugPass: CARDINAL¬CARDINAL.LAST,
output
objectVersion: MobDefs.VersionStamp,
interface: BOOL,
sourceTokens: CARDINAL,
nErrors, nWarnings: CARDINAL,
interaction
getStream: PROC [StreamId] RETURNS [IO.STREAM],
closeStream: PROC [StreamId],
startPass: PROC [CARDINAL] RETURNS [goOn: BOOL]];