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.
06 yspace: 55<br />
07 node: { title:"18" label: "test_b := test_c+5" }<br />
08 node: { title:"17" label: "Exit" }<br />
09 node: { title:"16" label: "test (x,3)" }<br />
10 node: { title:"15" label: "x := 8" }<br />
11 node: { title:"14" label: "x=7" }<br />
12 node: { title:"13" label: "x := 6" }<br />
13 node: { title:"12" label: "x=1" }<br />
14 node: { title:"11" label: "test (x,2)" }<br />
15 node: { title:"10" label: "x := 5" }<br />
16 node: { title:"9" label: "x := 4" }<br />
17 node: { title:"8" label: "x=1" }<br />
18 node: { title:"7" label: "x := 3" }<br />
19 node: { title:"6" label: "test (x,1)" }<br />
20 node: { title:"5" label: "x := 2" }<br />
21 node: { title:"4" label: "x=1" }<br />
22 node: { title:"3" label: "x := 1" }<br />
23 node: { title:"2" label: "Start" }<br />
24 node: { title:"1" label: "Exit point\ntest" }<br />
25 node: { title:"0" label: "Entry point\ntest" }<br />
26 edge: { source:"18" target:"1" }<br />
27 edge: { source:"0" target:"18" }<br />
28 edge: { source:"12" target:"17" label: "false" }<br />
29 edge: { source:"8" target:"12" label: "false" }<br />
30 edge: { source:"16" target:"12" label: "back" }<br />
31 edge: { source:"15" target:"12" label: "back" }<br />
32 edge: { source:"13" target:"14" }<br />
33 edge: { source:"14" target:"16" label: "false" }<br />
34 edge: { source:"14" target:"15" label: "true" }<br />
35 edge: { source:"12" target:"13" label: "true" }<br />
36 edge: { source:"4" target:"8" label: "false" }<br />
37 edge: { source:"11" target:"8" label: "back" }<br />
38 edge: { source:"10" target:"11" }<br />
39 edge: { source:"9" target:"10" }<br />
40 edge: { source:"8" target:"9" label: "true" }<br />
41 edge: { source:"3" target:"4" }<br />
42 edge: { source:"7" target:"4" label: "back" }<br />
43 edge: { source:"6" target:"7" }<br />
44 edge: { source:"5" target:"6" }<br />
45 edge: { source:"4" target:"5" label: "true" }<br />
46 edge: { source:"2" target:"3" }<br />
47 }<br />
Example 8: Control Flow <strong>Graph</strong> 2<br />
This example shows an improved visualization of the control flow graph. The graph is shown in<br />
Figure 16. The start, exit and branch nodes are drawn in different shapes so that they can be better<br />
51