--file OpTableDefs.mesa
-- last edited by Johnsson, May 1, 1978  8:46 AM
-- last edited by Satterthwaite, 15-Apr-81 16:22:50

DIRECTORY
  Environment: TYPE USING [Byte];

OpTableDefs: DEFINITIONS =
  BEGIN

  Byte: TYPE = Environment.Byte;
  
-- from OpTable
  OpTable: PROGRAM;
  PushStack: PROC [b: Byte] RETURNS [[0..3]];
  PopStack: PROC [b: Byte] RETURNS [[0..7]];
  InstLength: PROC [b: Byte] RETURNS [[0..3]];
  InstAligned: PROC [b: Byte] RETURNS [BOOLEAN];

  -- from OpNames
  OpNames: PROGRAM;
  InstName: PROC [Byte] RETURNS [STRING];
  UnknownInstruction: SIGNAL [name: STRING];
  InstCode: PROC [name: STRING] RETURNS [i: Byte];

  END.