5 Graph Description Language (GDL) - Absint
5 Graph Description Language (GDL) - Absint
5 Graph Description Language (GDL) - Absint
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ecognized. The edges closing a cycle are specified as back edges in order to see the uniform flow<br />
of control in the other edges. The edges at the branch nodes are anchored at the left and right via<br />
the bent near edge specification.<br />
Figure 16: Control Flow <strong>Graph</strong> 2 with Rhomb-shaped Nodes and Near Edges<br />
01 graph: { title: "CFG_GRAPH"<br />
02 layoutalgorithm: dfs<br />
03 finetuning: no<br />
04 display_edge_labels: yes<br />
05 yspace: 55<br />
06 node: { title:"18" label: "test_b := test_c+5" }<br />
07 node: { title:"17" label: "Exit" shape: ellipse }<br />
08 node: { title:"16" label: "test (x,3)" }<br />
09 node: { title:"15" label: "x := 8" }<br />
10 node: { title:"14" label: "x=7" shape: rhomb }<br />
11 node: { title:"13" label: "x := 6" }<br />
12 node: { title:"12" label: "x=1" shape: rhomb }<br />
13 node: { title:"11" label: "test (x,2)" }<br />
14 node: { title:"10" label: "x := 5" }<br />
15 node: { title:"9" label: "x := 4" }<br />
16 node: { title:"8" label: "x=1" shape: rhomb }<br />
17 node: { title:"7" label: "x := 3" }<br />
18 node: { title:"6" label: "test (x,1)" }<br />
19 node: { title:"5" label: "x := 2" }<br />
20 node: { title:"4" label: "x=1" shape: rhomb }<br />
21 node: { title:"3" label: "x := 1" }<br />
52