<> <> <> <> DIRECTORY RiscAssembler, RiscAssemblerTokenDef, RedBlackTree; RiscAssemblerBaseDef: CEDAR DEFINITIONS = BEGIN OPEN RiscAssembler, RiscAssemblerTokenDef, RedBlackTree; Opcode: TYPE = {noop, goto}; CodeConcat: PROC[EncodingSequence, EncodingSequence] RETURNS[EncodingSequence]; InstructionSequence: PROC[Encoding] RETURNS[EncodingSequence]; Code: PROC[Opcode] RETURNS[Encoding]; CodeFirewall: PROC[Opcode] RETURNS[Encoding]; CodeRand: PROC[Opcode, LabelInstance] RETURNS[Encoding]; CodeRandFirewall: PROC[Opcode, LabelInstance] RETURNS[Encoding]; SymbolCopy: PROC[Table] RETURNS[Table]; SymbolConcat: PROC[Table, LabelInstance] RETURNS[Table]; CodeOrigin: PROC RETURNS[INT]; InitialSymbolTable: PROC RETURNS[Table]; NewLabel: PROC[idNode, INT, INT] RETURNS[LabelInstance]; SymbolIndex: PROC[Table, idNode] RETURNS[LabelInstance]; END..