DEFINITION MODULE Instruction ;

(* Instruction fetch and frame primitives shared by the interpreter. *)

EXPORT QUALIFIED Fetch, FetchSignedByte, FetchWord, FetchSignedWord,
  FetchQuad, LoadString, ProcedureAddress, CallProcedure, Enter, Leave ;

PROCEDURE Fetch () : CARDINAL ;
PROCEDURE FetchSignedByte () : INTEGER ;
PROCEDURE FetchWord () : CARDINAL ;
PROCEDURE FetchSignedWord () : INTEGER ;
PROCEDURE FetchQuad () : LONGCARD ;
PROCEDURE LoadString (n: CARDINAL) ;
PROCEDURE ProcedureAddress (mod, obj: CARDINAL) : LONGCARD ;
PROCEDURE CallProcedure (mod, obj: CARDINAL) ;
PROCEDURE Enter (k: CARDINAL) ;
PROCEDURE Leave (n: CARDINAL) ;

END Instruction.