-- file: MFOctantsImpl1.mesa
-- Pascal-to-Mesa translator output, translated at October 31, 1985 4:28:01 pm PST


DIRECTORY
  PascalBasic,
  PascalWizardFiles,
  MFTypes,
  MFProcArray,
  MFInteraction,
  MFMath,
  MFMemory,
  MFOctants;

MFOctantsImpl1: PROGRAM IMPORTS PascalBasic, MFProcArray, MFInteraction, MFMath, MFMemory EXPORTS MFOctants = PUBLIC
BEGIN OPEN PascalBasic, PascalWizardFiles, MFTypes, MFProcArray, MFInteraction, MFMath, MFMemory, MFOctants;
--:379----389:--
CurX: Scaled;

CurY: Scaled;

--:389----395:--OctantDir: LONG POINTER TO ARRAY PascalInteger[1..8] OF StrNumber _ PascalStaticZone.NEW[ARRAY PascalInteger[1..8] OF StrNumber];
--:395----403:

CurSpec: Halfword;

TurningNumber: PascalInteger;

CurPen: Halfword;


CurPathType: PascalInteger[0..2];

MaxAllowed: Scaled;
--:403----427:
Before: LONG POINTER TO ARRAY PascalInteger[0..300] OF Scaled _ PascalStaticZone.NEW[ARRAY PascalInteger[0..300] OF Scaled];
After: LONG POINTER TO ARRAY PascalInteger[0..300] OF Scaled _ PascalStaticZone.NEW[ARRAY PascalInteger[0..300] OF Scaled];

NodeToRound: LONG POINTER TO ARRAY PascalInteger[0..300] OF Halfword _ PascalStaticZone.NEW[ARRAY PascalInteger[0..300] OF Halfword];


CurRoundingPtr: PascalInteger[0..MaxWiggle];

MaxRoundingPtr: PascalInteger[0..MaxWiggle];
--:427
--430:--
CurGran: Scaled;
--:430----448:--OctantNumber: LONG POINTER TO ARRAY PascalInteger[1..8] OF PascalInteger[1..8] _ PascalStaticZone.NEW[ARRAY PascalInteger[1..8] OF PascalInteger[1..8]];

OctantCode: LONG POINTER TO ARRAY PascalInteger[1..8] OF PascalInteger[1..8] _ PascalStaticZone.NEW[ARRAY PascalInteger[1..8] OF PascalInteger[1..8]];
--:448----455:--
RevTurns: PascalBoolean;
 Unskew: PROCEDURE[X,Y: Scaled,Octant: SmallNumber]
 = 
BEGIN SELECT Octant FROM 1 =>BEGIN CurX_X+Y;CurY_Y; END;5 =>BEGIN CurX_Y;
CurY_X+Y; END;6 =>BEGIN CurX_-Y;CurY_X+Y; END;2 =>BEGIN CurX_-X-Y;
CurY_Y; END;4 =>BEGIN CurX_-X-Y;CurY_-Y; END;8 =>BEGIN CurX_-Y;
CurY_-X-Y; END;7 =>BEGIN CurX_Y;CurY_-X-Y; END;3 =>BEGIN CurX_X+Y;
CurY_-Y; END; ENDCASE; END;--:388----473:-- Abnegate: PROCEDURE[X,Y: Scaled,OctantBefore,OctantAfter: SmallNumber]
 = 
BEGIN IF PascalODD[OctantBefore]=PascalODD[OctantAfter] THEN CurX_X  ELSE CurX_
-X;IF( INT[OctantBefore]>2)=( INT[OctantAfter]>2) THEN CurY_Y  ELSE CurY_-Y; END;
--:390----391:-- CrossingPoint: PROCEDURE[A,B,C: PascalInteger] RETURNS[CrossingPointResult: Fraction] = 
BEGIN 
 D:PascalInteger;X, Xx, X0, X1, X2:PascalInteger;
 {IF A<0  THEN BEGIN CrossingPointResult_0; GOTO Label10; END;
IF C>=0  THEN BEGIN IF B>=0  THEN IF C>0  THEN BEGIN CrossingPointResult_
268435457; GOTO Label10;
 END  ELSE IF(A=0)AND (B=0) THEN BEGIN CrossingPointResult_268435457; GOTO Label10;
 END  ELSE BEGIN CrossingPointResult_268435456; GOTO Label10; END;
IF A=0  THEN BEGIN CrossingPointResult_0; GOTO Label10; END;
 END  ELSE IF A=0  THEN IF B<=0  THEN BEGIN CrossingPointResult_0; GOTO Label10; END;
--392:--D_1;X0_A;X1_A-B;X2_B-C;DO X_ PascalDIVPower2[(X1+X2),1];
IF X1-X0>X0  THEN BEGIN X2_X;X0_X0+X0;D_D+D;
 END  ELSE BEGIN Xx_X1+X-X0;IF Xx>X0  THEN BEGIN X2_X;X0_X0+X0;D_D+D;
 END  ELSE BEGIN X0_X0-Xx;
IF X<=X0  THEN IF X+X2<=X0  THEN BEGIN CrossingPointResult_268435457; GOTO Label10;
 END;X1_X;D_D+D+1; END; END; IF D>=268435456 THEN EXIT; ENDLOOP;
CrossingPointResult_D-268435456--:392--;EXITS Label10 => NULL}; END;--:391----394:
 PrintSpec: PROCEDURE[S: StrNumber] = 
BEGIN  P, Q:Halfword;
Octant:SmallNumber; PrintDiagnostic[412,S,TRUE];P_CurSpec;
Octant_Mem[ INT[P]+3]^.Int;PrintLn[];
Unskew[Mem[ INT[CurSpec]+1]^.Int,Mem[ INT[CurSpec]+2]^.Int,Octant];
PrintTwo[CurX,CurY];Print[413];
{WHILE TRUE DO BEGIN Print[OctantDir^[Octant]];PrintChar[39];
{WHILE TRUE DO BEGIN Q_Mem[P]^.Hh.Rh;IF Mem[P]^.Hh.B1=0  THEN  GOTO Label45;
--397:--BEGIN PrintNl[424];Unskew[Mem[ INT[P]+5]^.Int,Mem[ INT[P]+6]^.Int,Octant];
PrintTwo[CurX,CurY];Print[391];
Unskew[Mem[ INT[Q]+3]^.Int,Mem[ INT[Q]+4]^.Int,Octant];PrintTwo[CurX,CurY];
PrintNl[388];Unskew[Mem[ INT[Q]+1]^.Int,Mem[ INT[Q]+2]^.Int,Octant];
PrintTwo[CurX,CurY];Print[425];PrintInt[Mem[Q]^.Hh.B0-1]; END--:397--;
P_Q; END ENDLOOP ;EXITS Label45 => NULL};IF Q=CurSpec  THEN  GOTO Label30;P_Q;Octant_Mem[ INT[P]+3]^.Int;
PrintNl[414]; END ENDLOOP ;EXITS Label30 => NULL};PrintNl[415];EndDiagnostic[TRUE]; END;--:394----398:
 PrintStrange: PROCEDURE[S: StrNumber] = 
BEGIN P:Halfword;F:Halfword;
Q:Halfword;T:PascalInteger; IF Interaction=3  THEN NULL;PrintNl[62];--399:
P_CurSpec;T_256;DO P_Mem[P]^.Hh.Rh;
IF Mem[P]^.Hh.B0#0  THEN BEGIN IF Mem[P]^.Hh.B0<T  THEN F_P;
T_Mem[P]^.Hh.B0; END; IF P=CurSpec--:399-- THEN EXIT; ENDLOOP;--400:--P_CurSpec;Q_P;
DO P_Mem[P]^.Hh.Rh;IF Mem[P]^.Hh.B0=0  THEN Q_P; IF P=F--:400-- THEN EXIT; ENDLOOP;T_0;
DO IF Mem[P]^.Hh.B0#0  THEN BEGIN IF Mem[P]^.Hh.B0#T  THEN BEGIN T_
Mem[P]^.Hh.B0;PrintChar[32];PrintInt[T-1]; END;IF Q#0  THEN BEGIN--401:
IF Mem[Mem[Q]^.Hh.Rh]^.Hh.B0=0  THEN BEGIN Print[426];
Print[OctantDir^[Mem[ INT[Q]+3]^.Int]];Q_Mem[Q]^.Hh.Rh;
WHILE Mem[Mem[Q]^.Hh.Rh]^.Hh.B0=0 DO BEGIN PrintChar[32];
Print[OctantDir^[Mem[ INT[Q]+3]^.Int]];Q_Mem[Q]^.Hh.Rh; END ENDLOOP ;PrintChar[41];
 END--:401--;PrintChar[32];Print[OctantDir^[Mem[ INT[Q]+3]^.Int]];Q_0; END;
 END  ELSE IF Q=0  THEN Q_P;P_Mem[P]^.Hh.Rh; IF P=F THEN EXIT; ENDLOOP;PrintChar[32];
PrintInt[Mem[P]^.Hh.B0-1];IF Q#0  THEN--401:
IF Mem[Mem[Q]^.Hh.Rh]^.Hh.B0=0  THEN BEGIN Print[426];
Print[OctantDir^[Mem[ INT[Q]+3]^.Int]];Q_Mem[Q]^.Hh.Rh;
WHILE Mem[Mem[Q]^.Hh.Rh]^.Hh.B0=0 DO BEGIN PrintChar[32];
Print[OctantDir^[Mem[ INT[Q]+3]^.Int]];Q_Mem[Q]^.Hh.Rh; END ENDLOOP ;PrintChar[41];
 END--:401--;BEGIN IF Interaction=3  THEN NULL;PrintNl[133];Print[S]; END; END;
 SplitCubic: PROCEDURE[P: Halfword,T: Fraction,Xq,Yq: Scaled] = 
BEGIN V:Scaled;
Q, R:Halfword; Q_Mem[P]^.Hh.Rh;R_GetNode[7];Mem[P]^.Hh.Rh_R;
Mem[R]^.Hh.Rh_Q;Mem[R]^.Hh.B0_Mem[Q]^.Hh.B0;Mem[R]^.Hh.B1_Mem[P]^.Hh.B1;
V_Mem[ INT[P]+5]^.Int-TakeFraction[Mem[ INT[P]+5]^.Int-Mem[ INT[Q]+3]^.Int,T];
Mem[ INT[P]+5]^.Int_Mem[ INT[P]+1]^.Int-TakeFraction[Mem[ INT[P]+1]^.Int-Mem[ INT[P]+5]^.Int,T];
Mem[ INT[Q]+3]^.Int_Mem[ INT[Q]+3]^.Int-TakeFraction[Mem[ INT[Q]+3]^.Int-Xq,T];
Mem[ INT[R]+3]^.Int_Mem[ INT[P]+5]^.Int-TakeFraction[Mem[ INT[P]+5]^.Int-V,T];
Mem[ INT[R]+5]^.Int_V-TakeFraction[V-Mem[ INT[Q]+3]^.Int,T];
Mem[ INT[R]+1]^.Int_Mem[ INT[R]+3]^.Int-TakeFraction[Mem[ INT[R]+3]^.Int-Mem[ INT[R]+5]^.Int,T];
V_Mem[ INT[P]+6]^.Int-TakeFraction[Mem[ INT[P]+6]^.Int-Mem[ INT[Q]+4]^.Int,T];
Mem[ INT[P]+6]^.Int_Mem[ INT[P]+2]^.Int-TakeFraction[Mem[ INT[P]+2]^.Int-Mem[ INT[P]+6]^.Int,T];
Mem[ INT[Q]+4]^.Int_Mem[ INT[Q]+4]^.Int-TakeFraction[Mem[ INT[Q]+4]^.Int-Yq,T];
Mem[ INT[R]+4]^.Int_Mem[ INT[P]+6]^.Int-TakeFraction[Mem[ INT[P]+6]^.Int-V,T];
Mem[ INT[R]+6]^.Int_V-TakeFraction[V-Mem[ INT[Q]+4]^.Int,T];
Mem[ INT[R]+2]^.Int_Mem[ INT[R]+4]^.Int-TakeFraction[Mem[ INT[R]+4]^.Int-Mem[ INT[R]+6]^.Int,T];
 END;--:410-- MakeSafe: PROCEDURE
 = 
BEGIN K:PascalInteger[0..MaxWiggle];AllSafe:PascalBoolean;NextA:Scaled;
DeltaA, DeltaB:Scaled; Before^[CurRoundingPtr]_Before^[0];
NodeToRound^[CurRoundingPtr]_NodeToRound^[0];
DO After^[CurRoundingPtr]_After^[0];AllSafe_TRUE;
NextA_After^[0];
FOR i:INT    IN [ INT[0 ].. INT[CurRoundingPtr-1 ]] DO  K _ i;  DeltaB_Before^[K+1]-Before^[K];
IF DeltaB>=0  THEN DeltaA_After^[K+1]-NextA  ELSE DeltaA_NextA-After
^[K+1];NextA_After^[K+1];
IF(DeltaA<0)OR (DeltaA>ABS[DeltaB+DeltaB]) THEN BEGIN AllSafe_FALSE;
After^[K]_Before^[K];
IF K=CurRoundingPtr-1  THEN After^[0]_Before^[0] ELSE After^[K+1]_Before^
[K+1]; END; ENDLOOP; IF AllSafe THEN EXIT; ENDLOOP; END;--:426----429:
 BeforeAndAfter: PROCEDURE[B,A: Scaled,P: Halfword]
 = 
BEGIN IF CurRoundingPtr=MaxRoundingPtr  THEN IF 
 INT[MaxRoundingPtr]<MaxWiggle  THEN MaxRoundingPtr_MaxRoundingPtr+1  ELSE Overflow[436,
MaxWiggle];After^[CurRoundingPtr]_A;Before^[CurRoundingPtr]_B;
NodeToRound^[CurRoundingPtr]_P;CurRoundingPtr_CurRoundingPtr+1;
 END;--:429----431:-- GoodVal: PROCEDURE[B,O: Scaled] RETURNS[GoodValResult: Scaled] = 
BEGIN A:Scaled;
 A_B+O;
IF A>=0  THEN A_A-( A MOD CurGran)-O  ELSE A_
A+( (-(A+1))MOD CurGran)-CurGran+1-O;
IF B-A<A+CurGran-B  THEN GoodValResult_A  ELSE GoodValResult_A+CurGran; END;
--:431----432:-- Compromise: PROCEDURE[U,V: Scaled] RETURNS[CompromiseResult: Scaled]
 = 
BEGIN CompromiseResult_ PascalDIVPower2[(GoodVal[U+U,-U-V]),1]; END;--:432----433:

END.