DIRECTORY CedarProcess, Commander, Controls, Draw2d, G2dVector, G3dDraw, G3dShape, G3dTool, G3dVector, ImplicitDefs, ImplicitTet, IO;

ImplicitTestDesignImpl: CEDAR PROGRAM

IMPORTS CedarProcess, Commander, Controls, G2dVector, G3dDraw, G3dShape, G3dTool, G3dVector, ImplicitTet, IO

~ BEGIN

Data: TYPE ~ RECORD [tool3d: G3dTool.Tool, size: REAL _ 0.05, p1, p2, p3: G3dVector.Triple];

ImplicitTest: Commander.CommandProc ~ {
d: REF Data _ NEW[Data];
d.tool3d _ G3dTool.MakeTool[
"Implicit Test",
LIST[Controls.ClickButton["Size", Size, d], Controls.ClickButton["Triangles", Triangles, d]],,,,
[data: d, draw: Draw]];
};

Size: Controls.ClickProc ~ {
d: REF Data _ NARROW[clientData];
d.size _ Controls.GetReal[d.tool3d.typescript, "Size", d.size];
};

Triangles: Controls.ClickProc ~ {
[] _ G3dTool.MaybeFork[NARROW[clientData, REF Data].tool3d, Triangulate, clientData];
};

Triangulate: CedarProcess.ForkableProc ~ {
Status: ImplicitTet.StatusProc ~ {
CedarProcess.CheckAbort[];
d.p1 _ vertices[i0].position;
d.p2 _ vertices[i1].position;
d.p3 _ vertices[i2].position;
G3dTool.Repaint[d.tool3d, $NewTriangle];
};
d: REF Data _ NARROW[data];
s: G3dShape.Shape _ ImplicitTet.ShapeFromFunction[Cylinder, 0.0, d.size, 0.01*d.size,, d, Status
! ImplicitTet.Error => {G3dTool.TSWrite[d.tool3d, reason]; GOTO Bad}];
e: G3dShape.EdgeSequence _ G3dShape.MakeEdges[s];
gTimes2: INTEGER _ 2+e.length-INTEGER[s.vertices.length+s.surfaces.length];
s.name _ "Imp";
s.selected _ TRUE;
G3dTool.AddShape[d.tool3d, s];
G3dTool.TSWrite[d.tool3d, IO.PutFR["%g points, %g triangles, 2*genus = %g\n",
IO.int[s.vertices.length], IO.int[s.surfaces.length], IO.int[gTimes2]]]; 
EXITS Bad => NULL;
};

Cylinder: ImplicitDefs.ValueProc ~ {
value _ .01-(SELECT point.x FROM
< -.2 => G3dVector.SquareDistance[point, [-.2, 0.0, 0.0]],
>  .2 => G3dVector.SquareDistance[point, [ .2, 0.0, 0.0]],
ENDCASE => G2dVector.Square[[point.y, point.z]]);
};

Draw: Draw2d.DrawProc ~ {
d: REF Data _ NARROW[clientData];
v: G3dTool.View _ G3dTool.GetView[viewer];
IF v # NIL AND whatChanged = $NewTriangle THEN
G3dDraw.DrawTriangle[context, d.p1, d.p2, d.p3, v.camera.matrix, v.viewport];
};

Commander.Register["ImplicitTest", ImplicitTest];
END.
      

Ê  •NewlineDelimiter
™ šÏk	œ|˜…J˜ —šÐblœœ˜%J˜ Jšœe˜lJ˜ —šœ˜J˜ šœœœœ'˜\J˜ —šÏbœ˜'Jšœœœ˜šœ˜Jšœ˜JšœÏsœ œ œ! œ
 œ˜`Jšœ˜—J˜J˜ —šÏnœ˜Jšœœœ˜!Jšœœ6˜?J˜J˜ —š¡	œ˜!Jšœœœ(˜UJšœ˜J˜ —š¡œ˜*š¡œ˜"J˜Jšœ˜Jšœ˜Jšœ˜Jšœ(˜(J˜—Jšœœœ˜šœ œ œ œ' œ œ œ œ œ˜`Jšœ;œ˜F—J˜1Jšœ	œœ&˜KJ˜Jšœœ˜J˜š
œ œ
 œ œ œ˜MJšœœœ˜I—Jšœœ˜J˜J˜ —šÐbnœ˜$šœœ	˜ Jšœ:˜:Jšœ:˜:Jšœ*˜1—˜J˜ ——š¡œ˜Jšœœœ˜!J˜*šœœœ˜.Jšœ œ œ œ˜M—J˜J˜ —Jšœ1˜1—J™ Jšœ˜— …—    ¢  :  