-- file: TexMemoryImpl.mesa
-- Pascal-to-Mesa translator output, translated at September 27, 1985 10:21:37 am PDT


DIRECTORY
  PascalBasic,
  TexTypes,
  TexInteraction,
  TexMemory,
  TexSymbols,
  TexParagraph,
  TexSysdepInline;

TexMemoryImpl: PROGRAM IMPORTS PascalBasic, TexTypes, TexInteraction, TexSymbols, TexParagraph, TexSysdepInline EXPORTS TexMemory = PUBLIC
BEGIN OPEN PascalBasic, TexTypes, TexInteraction, TexMemory, TexSymbols, TexParagraph, TexSysdepInline;


LoMemMax: Halfword;

HiMemMin: Halfword;
--:116----117:

VarUsed: PascalInteger;

DynUsed: PascalInteger;
--:117----118:--
Avail: Halfword;

MemEnd: Halfword;

--:118----124:--
Rover: Halfword;
 GetAvail: PROCEDURE RETURNS[GetAvailResult: Halfword] = 
BEGIN P:Halfword; P_Avail;
IF P#0  THEN Avail_Mem[Avail]^.Hh.Rh  ELSE IF  INT[MemEnd]<MemMax  THEN BEGIN
MemEnd_MemEnd+1;P_MemEnd; END  ELSE BEGIN HiMemMin_ INT[HiMemMin]-1;
P_HiMemMin;IF  INT[HiMemMin]<=LoMemMax  THEN BEGIN Runaway[];
Overflow[172,MemMax+1-MemMin]; END; END;Mem[P]^.Hh.Rh_0;
DynUsed_DynUsed+1;GetAvailResult_P; END;--:120----123:
 FlushList: PROCEDURE[P: Halfword] = 
BEGIN Q:Halfword;
 WHILE P#0 DO BEGIN Q_Mem[P]^.Hh.Rh;BEGIN Mem[P]^.Hh.Rh_Avail;
Avail_P;DynUsed_DynUsed-1; END;P_Q; END ENDLOOP ; END;--:123----125:
 GetNode: PROCEDURE[S: PascalInteger] RETURNS[GetNodeResult: Halfword] = 
BEGIN  P:Halfword;
Q:Halfword;R:PascalInteger;T:Halfword; DO {--Label20:--P_Rover;{{DO--127:
Q_ INT[P]+Mem[P]^.Hh.Lh;WHILE(Mem[Q]^.Hh.Rh=65515)DO BEGIN T_Mem[Q+1]^.Hh.Rh;
IF Q=Rover  THEN Rover_T;Mem[T+1]^.Hh.Lh_Mem[Q+1]^.Hh.Lh;
Mem[Mem[Q+1]^.Hh.Lh+1]^.Hh.Rh_T;Q_ INT[Q]+Mem[Q]^.Hh.Lh; END ENDLOOP ;R_Q-S;
IF R>P+1  THEN--128:--BEGIN Mem[P]^.Hh.Lh_R-P;Rover_P; GOTO Label40; END--:128--;
IF R=P  THEN IF((Mem[P+1]^.Hh.Rh#Rover)OR (Mem[P+1]^.Hh.Lh#Rover)) THEN--129
-- :--BEGIN Rover_Mem[P+1]^.Hh.Rh;T_Mem[P+1]^.Hh.Lh;Mem[Rover+1]^.Hh.Lh_T;
Mem[T+1]^.Hh.Rh_Rover; GOTO Label40; END--:129--;Mem[P]^.Hh.Lh_ INT[Q]-P--:127--;
P_Mem[P+1]^.Hh.Rh; IF P=Rover THEN EXIT; ENDLOOP;
IF S=1073741824  THEN BEGIN GetNodeResult_65515; GOTO Label10; END;
IF  INT[LoMemMax+2]<HiMemMin  THEN--126:
BEGIN IF  INT[LoMemMax]+1000<HiMemMin  THEN T_ INT[LoMemMax]+1000  ELSE T_ PascalDIVPower2[(
 INT[LoMemMax]+HiMemMin+2),1];P_Mem[Rover+1]^.Hh.Lh;Q_LoMemMax;
Mem[P+1]^.Hh.Rh_Q;Mem[Rover+1]^.Hh.Lh_Q;Mem[Q+1]^.Hh.Rh_Rover;
Mem[Q+1]^.Hh.Lh_P;Mem[Q]^.Hh.Rh_65515;Mem[Q]^.Hh.Lh_ INT[T]-LoMemMax;
LoMemMax_T;Mem[LoMemMax]^.Hh.Rh_0;Mem[LoMemMax]^.Hh.Lh_0;
Rover_Q; GOTO Label20; END--:126--;Overflow[172,MemMax+1-MemMin];
EXITS Label40 => NULL};Mem[R]^.Hh.Rh_0;VarUsed_VarUsed+S;GetNodeResult_R;EXITS Label10 => NULL};EXIT; EXITS Label20 => NULL} ENDLOOP; END;--:125----130:
 FreeNode: PROCEDURE[P: Halfword,S: Halfword] = 
BEGIN Q:Halfword;
 Mem[P]^.Hh.Lh_S;Mem[P]^.Hh.Rh_65515;Q_Mem[Rover+1]^.Hh.Lh;
Mem[P+1]^.Hh.Lh_Q;Mem[P+1]^.Hh.Rh_Rover;Mem[Rover+1]^.Hh.Lh_P;
Mem[Q+1]^.Hh.Rh_P;VarUsed_VarUsed-S; END;--:130----131:
 SortAvail: PROCEDURE = 
BEGIN P, Q, R:Halfword;OldRover:Halfword;
 P_GetNode[1073741824];P_Mem[Rover+1]^.Hh.Rh;
Mem[Rover+1]^.Hh.Rh_65515;OldRover_Rover;WHILE P#OldRover DO--132:
IF  INT[P]<Rover  THEN BEGIN Q_P;P_Mem[Q+1]^.Hh.Rh;Mem[Q+1]^.Hh.Rh_Rover;
Rover_Q; END  ELSE BEGIN Q_Rover;
WHILE  INT[Mem[Q+1]^.Hh.Rh]<P DO Q_Mem[Q+1]^.Hh.Rh ENDLOOP ;R_Mem[P+1]^.Hh.Rh;
Mem[P+1]^.Hh.Rh_Mem[Q+1]^.Hh.Rh;Mem[Q+1]^.Hh.Rh_P;P_R; END--:132-- ENDLOOP ;
P_Rover;
WHILE Mem[P+1]^.Hh.Rh#65515 DO BEGIN Mem[Mem[P+1]^.Hh.Rh+1]^.Hh.Lh_P;
P_Mem[P+1]^.Hh.Rh; END ENDLOOP ;Mem[P+1]^.Hh.Rh_Rover;Mem[Rover+1]^.Hh.Lh_P; END;
--:131----136:-- NewNullBox: PROCEDURE RETURNS[NewNullBoxResult: Halfword] = 
BEGIN P:Halfword;
 P_GetNode[7];Mem[P]^.Hh.B0_0;Mem[P]^.Hh.B1_0;Mem[P+1]^.Int_0;
Mem[P+2]^.Int_0;Mem[P+3]^.Int_0;Mem[P+4]^.Int_0;Mem[P+5]^.Hh.Rh_0;
Mem[P+5]^.Hh.B0_0;Mem[P+5]^.Hh.B1_0;Mem[P+6]^.Gr_0.0;NewNullBoxResult_P;
 END;--:136----139:-- NewRule: PROCEDURE RETURNS[NewRuleResult: Halfword] = 
BEGIN P:Halfword;
 P_GetNode[4];Mem[P]^.Hh.B0_2;Mem[P]^.Hh.B1_0;
Mem[P+1]^.Int_-1073741824;Mem[P+2]^.Int_-1073741824;
Mem[P+3]^.Int_-1073741824;NewRuleResult_P; END;--:139----144:
 NewLigature: PROCEDURE[F,C: Quarterword,Q: Halfword] RETURNS[NewLigatureResult: Halfword]
 = 
BEGIN P:Halfword; P_GetNode[2];Mem[P]^.Hh.B0_6;Mem[P]^.Hh.B1_0;
Mem[P+1]^.Hh.B0_F;Mem[P+1]^.Hh.B1_C;Mem[P+1]^.Hh.Rh_Q;NewLigatureResult_P;
 END;--:144----145:-- NewDisc: PROCEDURE RETURNS[NewDiscResult: Halfword] = 
BEGIN P:Halfword;
 P_GetNode[2];Mem[P]^.Hh.B0_7;Mem[P]^.Hh.B1_0;Mem[P+1]^.Hh.Lh_0;
Mem[P+1]^.Hh.Rh_0;NewDiscResult_P; END;--:145----147:
 NewMath: PROCEDURE[W: Scaled,S: SmallNumber] RETURNS[NewMathResult: Halfword] = 
BEGIN P:Halfword;
 P_GetNode[2];Mem[P]^.Hh.B0_9;Mem[P]^.Hh.B1_S;Mem[P+1]^.Int_W;
NewMathResult_P; END;--:147----151:-- NewSpec: PROCEDURE[P: Halfword] RETURNS[NewSpecResult: Halfword]
 = 
BEGIN Q:Halfword; Q_GetNode[4];Mem[Q]^_Mem[P]^;Mem[Q]^.Hh.Rh_0;
Mem[Q+1]^.Int_Mem[P+1]^.Int;Mem[Q+2]^.Int_Mem[P+2]^.Int;
Mem[Q+3]^.Int_Mem[P+3]^.Int;NewSpecResult_Q; END;--:151----152:
 NewParamGlue: PROCEDURE[N: SmallNumber] RETURNS[NewParamGlueResult: Halfword] = 
BEGIN P:Halfword;
Q:Halfword; P_GetNode[2];Mem[P]^.Hh.B0_10;Mem[P]^.Hh.B1_N+1;
Mem[P+1]^.Hh.Rh_0;Q_--224:--Eqtb^[3026+N].Hh.Rh--:224--;Mem[P+1]^.Hh.Lh_Q;
Mem[Q]^.Hh.Rh_Mem[Q]^.Hh.Rh+1;NewParamGlueResult_P; END;--:152----153:
 NewGlue: PROCEDURE[Q: Halfword] RETURNS[NewGlueResult: Halfword] = 
BEGIN P:Halfword;
 P_GetNode[2];Mem[P]^.Hh.B0_10;Mem[P]^.Hh.B1_0;Mem[P+1]^.Hh.Rh_0;
Mem[P+1]^.Hh.Lh_Q;Mem[Q]^.Hh.Rh_Mem[Q]^.Hh.Rh+1;NewGlueResult_P; END;--:153
--154:-- NewSkipParam: PROCEDURE[N: SmallNumber] RETURNS[NewSkipParamResult: Halfword] = 
BEGIN P:Halfword;
 TempPtr_NewSpec[--224:--Eqtb^[3026+N].Hh.Rh--:224--];
P_NewGlue[TempPtr];Mem[TempPtr]^.Hh.Rh_0;Mem[P]^.Hh.B1_N+1;
NewSkipParamResult_P; END;--:154----156:-- NewKern: PROCEDURE[W: Scaled] RETURNS[NewKernResult: Halfword]
 = 
BEGIN P:Halfword; P_GetNode[2];Mem[P]^.Hh.B0_11;Mem[P]^.Hh.B1_0;
Mem[P+1]^.Int_W;NewKernResult_P; END;--:156----158:
 NewPenalty: PROCEDURE[M: PascalInteger] RETURNS[NewPenaltyResult: Halfword] = 
BEGIN P:Halfword;
 P_GetNode[2];Mem[P]^.Hh.B0_12;Mem[P]^.Hh.B1_0;Mem[P+1]^.Int_M;
NewPenaltyResult_P; END;--:158----167:-- CheckMem: PROCEDURE[PrintLocs: PascalBoolean]
 = 
BEGIN  P, Q:Halfword;Clobbered:PascalBoolean;
 --169:-- --170:-- FOR i:INT    IN [ INT[MemMin ].. INT[LoMemMax ]] DO  P _ i; Free^[P]_FALSE ENDLOOP;
FOR i:INT    IN [ INT[HiMemMin ].. INT[MemEnd ]] DO  P _ i; Free^[P]_FALSE ENDLOOP;--168:--P_Avail;Q_0;
Clobbered_FALSE;
{WHILE P#0 DO BEGIN IF( INT[P]>MemEnd)OR ( INT[P]<HiMemMin) THEN Clobbered_TRUE
 ELSE IF Free^[P] THEN Clobbered_TRUE;
IF Clobbered  THEN BEGIN PrintNl[173];PrintInt[Q]; GOTO Label31; END;
Free^[P]_TRUE;Q_P;P_Mem[Q]^.Hh.Rh; END ENDLOOP ;EXITS Label31 => NULL};--:168--P_Rover;Q_0;
Clobbered_FALSE;
{DO IF( INT[P]>=LoMemMax)OR ( INT[P]<MemMin) THEN Clobbered_TRUE  ELSE IF( INT[Mem[P
+1]^.Hh.Rh]>=LoMemMax)OR ( INT[Mem[P+1]^.Hh.Rh]<MemMin) THEN Clobbered_TRUE
 ELSE IF NOT ((Mem[P]^.Hh.Rh=65515))OR ( INT[Mem[P]^.Hh.Lh]<2)OR (
 INT[P]+Mem[P]^.Hh.Lh>LoMemMax)OR (Mem[Mem[P+1]^.Hh.Rh+1]^.Hh.Lh#P) THEN Clobbered_TRUE;
IF Clobbered  THEN BEGIN PrintNl[174];PrintInt[Q]; GOTO Label32; END;
FOR i:INT    IN [ INT[P ].. INT[ INT[P]+Mem[P]^.Hh.Lh-1 ]] DO  Q _ i;  IF Free^[Q] THEN BEGIN PrintNl[175]
;PrintInt[Q]; GOTO Label32; END;Free^[Q]_TRUE; ENDLOOP;Q_P;P_Mem[P+1]^.Hh.Rh;
 IF P=Rover THEN EXIT; ENDLOOP;EXITS Label32 => NULL};--:169--P_MemMin;
WHILE  INT[P]<=LoMemMax DO BEGIN IF(Mem[P]^.Hh.Rh=65515) THEN BEGIN PrintNl[
176];PrintInt[P]; END;WHILE  ( INT[P]<=LoMemMax)AND NOT Free^[P]DO P_P+1 ENDLOOP ;
WHILE ( INT[P]<=LoMemMax)AND Free^[P]DO P_P+1 ENDLOOP ; END--:170-- ENDLOOP ;
IF PrintLocs  THEN--171:--BEGIN PrintNl[177];
FOR i:INT    IN [ INT[MemMin ].. INT[LoMemMax ]] DO  P _ i; IF  NOT Free^[P]AND (
( INT[P]>WasLoMax)OR WasFree^[P]) THEN BEGIN PrintChar[32];PrintInt[P]; END ENDLOOP;
FOR i:INT    IN [ INT[HiMemMin ].. INT[MemEnd ]] DO  P _ i; IF  NOT Free^[P]AND ( ( INT[P]<WasHiMin)OR (
 INT[P]>WasMemEnd)OR WasFree^[P]) THEN BEGIN PrintChar[32];PrintInt[P]; END ENDLOOP;
 END--:171--;FOR i:INT    IN [ INT[MemMin ].. INT[LoMemMax ]] DO  P _ i; WasFree^[P]_Free^[P] ENDLOOP;
FOR i:INT    IN [ INT[HiMemMin ].. INT[MemEnd ]] DO  P _ i; WasFree^[P]_Free^[P] ENDLOOP;
WasMemEnd_MemEnd;WasLoMax_LoMemMax;WasHiMin_HiMemMin; END;
--:167----172:-- SearchMem: PROCEDURE[P: Halfword] = 
BEGIN Q:PascalInteger;
 FOR i:INT    IN [ INT[MemMin ].. INT[LoMemMax ]] DO  Q _ i;  IF Mem[Q]^.Hh.Rh=P  THEN BEGIN
PrintNl[178];PrintInt[Q];PrintChar[41]; END;
IF Mem[Q]^.Hh.Lh=P  THEN BEGIN PrintNl[179];PrintInt[Q];PrintChar[41];
 END; ENDLOOP;
FOR i:INT    IN [ INT[HiMemMin ].. INT[MemEnd ]] DO  Q _ i;  IF Mem[Q]^.Hh.Rh=P  THEN BEGIN
PrintNl[178];PrintInt[Q];PrintChar[41]; END;
IF Mem[Q]^.Hh.Lh=P  THEN BEGIN PrintNl[179];PrintInt[Q];PrintChar[41];
 END; ENDLOOP;--255:
FOR i:INT    IN [ INT[1 ].. INT[4077 ]] DO  Q _ i;  IF Eqtb^[Q].Hh.Rh=P  THEN BEGIN PrintNl[363];
PrintInt[Q];PrintChar[41]; END;--:255-- ENDLOOP;--285:
IF  INT[SavePtr]>0  THEN FOR i:INT    IN [ INT[0 ].. INT[SavePtr-1 ]] DO  Q _ i;  IF SaveStack^[Q].Hh.
Rh=P  THEN BEGIN PrintNl[407];PrintInt[Q];PrintChar[41]; END;--:285-- ENDLOOP;
--933:
FOR i:INT    IN [ INT[0 ].. INT[307 ]] DO  Q _ i;  IF HyphList^[Q]=P  THEN BEGIN PrintNl[797];
PrintInt[Q];PrintChar[41]; END;--:933-- ENDLOOP; END;--:172----174:

END.