<> <> <> <> <> DIRECTORY OpTableDefs USING []; OpTable: PROGRAM EXPORTS OpTableDefs = BEGIN <> Q: TYPE = PRIVATE RECORD [ push: [0..3], pop: [0..7], length: [0..3], mark: BOOL]; T: BOOL = TRUE; F: BOOL = FALSE; OpParms: PRIVATE ARRAY [0..256) OF Q = [ <> Q[0,0,1,F], Q[1,1,1,F], Q[1,2,1,F], Q[0,3,1,F], <> Q[0,1,1,F], Q[0,1,1,F], Q[0,1,1,F], Q[0,3,1,F], <> Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], <> Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], <> Q[1,0,2,F], Q[2,0,2,T], Q[0,1,1,F], Q[0,1,1,F], <> Q[0,1,1,F], Q[0,1,1,F], Q[0,1,1,F], Q[0,1,1,F], <> Q[0,1,1,F], Q[0,1,1,F], Q[0,1,2,F], Q[1,1,1,F], <> Q[1,1,1,F], Q[1,1,1,F], Q[1,1,1,F], Q[1,0,1,F], <> Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], <> Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], Q[1,0,2,F], <> Q[2,0,2,T], Q[0,1,1,F], Q[0,1,1,F], Q[0,1,1,F], <> Q[0,1,1,F], Q[0,1,2,F], Q[1,0,1,F], Q[1,0,1,F], <> Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], <> Q[1,0,1,F], Q[1,0,1,F], Q[1,0,1,F], Q[1,0,2,F], <> Q[1,0,3,T], Q[1,0,2,F], Q[1,0,2,F], Q[1,0,2,F], <> Q[1,0,3,T], Q[0,0,0,F], Q[0,4,2,F], Q[0,4,2,F], <> Q[1,1,1,F], Q[1,1,1,F], Q[1,1,1,F], Q[1,1,1,F], <> Q[1,1,1,F], Q[1,1,2,F], Q[0,2,1,F], Q[0,2,1,F], <> Q[0,2,1,F], Q[0,2,2,F], Q[1,1,3,T], Q[0,2,3,T], <> Q[2,1,2,T], Q[2,1,1,F], Q[0,3,2,T], Q[0,3,1,F], <> Q[1,2,2,T], Q[0,3,2,T], Q[1,1,2,F], Q[0,2,2,F], <> Q[1,0,2,F], Q[1,0,2,F], Q[0,1,2,F], Q[1,0,1,F], <> Q[0,2,1,F], Q[0,2,2,T], Q[0,2,3,T], Q[0,3,2,T], <> Q[1,1,3,T], Q[1,2,1,T], Q[0,3,1,T], Q[1,2,2,F], <> Q[0,3,2,F], Q[2,2,2,F], Q[0,4,2,F], Q[1,1,2,F], <> Q[0,2,2,F], Q[1,1,2,F], Q[0,2,2,F], Q[1,0,2,F], <> Q[0,1,2,F], Q[1,0,2,F], Q[0,1,2,F], Q[1,3,2,F], <> Q[0,4,2,F], Q[1,2,3,T], Q[0,3,3,T], Q[1,3,1,T], <> Q[0,4,1,T], Q[2,1,1,F], Q[0,2,2,T], Q[0,2,2,T], <> Q[1,0,1,F], Q[0,1,1,F], Q[2,2,1,F], Q[0,0,2,F], <> Q[2,1,1,F], Q[1,1,1,F], Q[2,2,1,F], Q[1,2,1,F], <<174-177>> Q[0,0,0,F], Q[0,0,0,F], Q[0,0,0,F], Q[0,0,0,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,2,T], Q[0,0,3,T], Q[0,2,1,F], Q[0,2,1,F], <> Q[0,2,1,F], Q[0,2,1,F], Q[0,2,1,F], Q[0,2,1,F], <> Q[0,2,1,F], Q[0,2,1,F], Q[0,2,2,T], Q[0,2,1,F], <> Q[0,2,1,F], Q[0,2,1,F], Q[0,2,1,F], Q[0,2,1,F], <> Q[0,2,1,F], Q[0,2,1,F], Q[0,2,1,F], Q[0,2,2,T], <> Q[0,2,2,T], Q[0,2,2,T], Q[0,2,2,T], Q[0,2,2,T], <> Q[0,2,2,T], Q[0,2,2,T], Q[0,2,2,T], Q[0,2,2,T], <> Q[0,1,2,T], Q[0,1,2,T], Q[0,2,3,T], Q[0,2,3,T], <> Q[1,2,1,F], Q[1,2,1,F], Q[1,2,1,F], Q[1,1,1,F], <
> Q[1,2,1,F], Q[1,3,1,F], Q[1,1,1,F], Q[1,1,1,F], <> Q[1,2,1,F], Q[1,2,1,F], Q[1,2,1,F], Q[1,2,1,F], <> Q[2,4,1,F], Q[2,4,1,F], Q[1,4,1,F], Q[1,4,1,F], <> Q[1,2,1,F], Q[0,0,0,F], Q[0,0,0,F], Q[0,0,0,F], <<274-277>> Q[0,0,0,F], Q[0,0,0,F], Q[0,0,0,F], Q[0,0,0,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,2,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], <> Q[0,0,1,F], Q[0,0,2,F], Q[0,1,1,F], Q[0,0,1,F], <> Q[1,0,2,T], Q[0,1,1,F], Q[0,0,1,F], Q[0,0,2,F], <> Q[1,0,2,T], Q[1,1,2,T], Q[0,3,1,F], Q[0,5,1,F], <> Q[0,3,1,F], Q[0,4,1,F], Q[1,1,1,F], Q[0,1,1,F], <> Q[0,0,1,F], Q[0,0,1,F], Q[0,0,1,F], Q[0,0,2,T], <> Q[0,0,2,F], Q[0,2,1,T], Q[0,1,1,F], Q[0,1,1,T], <> Q[0,0,2,T], Q[0,0,2,T], Q[0,0,2,T], Q[0,0,0,F], <> Q[0,1,2,T], Q[1,0,2,T], Q[0,0,1,F], Q[0,0,0,F]]; PushStack: PUBLIC PROC [b: [0..256)] RETURNS [[0..3]] = BEGIN RETURN [OpParms[b].push] END; PopStack: PUBLIC PROC [b: [0..256)] RETURNS [[0..7]] = BEGIN RETURN [OpParms[b].pop] END; InstLength: PUBLIC PROC [b: [0..256)] RETURNS [[0..3]] = BEGIN RETURN [OpParms[b].length] END; InstAligned: PUBLIC PROC [b: [0..256)] RETURNS [BOOL] = BEGIN RETURN [OpParms[b].mark] END; END.