--file OpTableDefs.mesa
-- last edited by Johnsson, May 1, 1978  8:46 AM
-- last edited by Satterthwaite, July 19, 1982 3:23 pm
-- last edited by Sweet, July 23, 1982 5:00 pm

OpTableDefs: DEFINITIONS =
  BEGIN

  BYTE: TYPE = [0..256);
  
  -- 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]];

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

  END.