Saved Juno State
85
142
969
/tmp_mnt/shellgame/r/dlusers9/heydon/pkg/m3/juno-app/juno-src/figures/Dependency.juno
MODULE Dependency;

(* Figure of built-in module dependencies. *)

PROC LabelNode(a, txt) IS 
  DiGraph.Node(a); DiGraph.Label(a, txt) 
END;


VAR 
  a ~ (-123.8, -124.9), c = (-4.544, 154.7), 
  d ~ (-44.28, 61.52), e ~ (35.19, 61.52), 
  f ~ (74.93, -31.69), g ~ (114.7, -124.9), 
  h ~ (89.16, 107), i ~ (80.47, 44.05), 
  j ~ (-98.25, 107), k ~ (-115.5, 1.798) 
IN 
  a HOR g AND 
  d HOR e AND 
  Geometry.Colinear(c, d, a) AND 
  Geometry.Colinear(c, e, f) AND 
  Geometry.Colinear(e, f, g) AND 
  j HOR h AND 
  (j, c) CONG (c, h) AND 
  Geometry.CongY(g, f, f, e) AND 
  Geometry.CongY(f, e, e, c) AND 
  (a, c) CONG (c, g) -> 
    PS.SetFont("Times-Roman", PS.Large); 
    PS.SetWidth(2); 
    LabelNode(a, "PS"); 
    LabelNode(c, "DiGraph"); 
    LabelNode(d, "Arrow"); 
    LabelNode(e, "Shape"); 
    LabelNode(f, "Geom"); 
    LabelNode(g, "R2"); 
    DiGraph.Straight1(f, g); 
    DiGraph.Straight1(e, f); 
    DiGraph.Straight1(e, a); 
    DiGraph.Straight1(d, a); 
    DiGraph.Curved1(c, h, i, f); 
    DiGraph.Curved1(c, j, k, a); 
    DiGraph.Straight1(c, d); 
    DiGraph.Straight1(c, e) 
END