1 graph: { title: "ir graph of IF_ELSE_EXAMPLE_main"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 13:"Control Flow"
11 classname 15:"Dominators"
12 classname 3: "Entity type"
13 classname 4: "Entity owner"
14 classname 5: "Method Param"
15 classname 6: "Method Res"
18 classname 9: "Points-to"
19 classname 10: "Array Element Type"
20 classname 11: "Overwrites"
21 classname 12: "Member"
23 graph: { title: "g26" label: "IF_ELSE_EXAMPLE_main" status:clustered color:white
24 graph: { title: "n60" label: "Block 60" status:clustered color:yellow
25 edge: {sourcename: "n60" targetname: "n61" label: "0" class:13 color:red}
26 node: {title: "n59" label: "End 59" color: blue info1: "visited: 13
27 irg: IF_ELSE_EXAMPLE_main
32 graph: { title: "n64" label: "Block 64" status:clustered color:yellow
33 edge: {sourcename: "n64" targetname: "n65" label: "0" class:13 color:red}
34 node: {title: "n61" label: "Return 61" info1: "visited: 13
35 irg: IF_ELSE_EXAMPLE_main
37 return in method of type IF_ELSE_EXAMPLE_main
41 edge: {sourcename: "n61" targetname: "n71" label: "0" class:14 color:blue}
42 edge: {sourcename: "n61" targetname: "n70" label: "1" }
43 edge: {sourcename: "n61" targetname: "n69" label: "2" }
46 graph: { title: "n66" label: "Block 66" status:clustered color:yellow
47 edge: {sourcename: "n66" targetname: "n65" label: "0" class:13 color:red}
48 node: {title: "n71" label: "ProjM 1 71" color: yellow info1: "visited: 13
49 irg: IF_ELSE_EXAMPLE_main
52 edge: {sourcename: "n71" targetname: "n67" label: "0" class:14 color:blue}
53 node: {title: "n70" label: "0x0Is 70" color: yellow info1: "visited: 13
54 irg: IF_ELSE_EXAMPLE_main
56 Const of type type_unknown
58 node: {title: "n69" label: "0x2Is 69" color: yellow info1: "visited: 13
59 irg: IF_ELSE_EXAMPLE_main
61 Const of type type_unknown
63 node: {title: "n65" label: "ProjX 0 65" color: yellow info1: "visited: 13
64 irg: IF_ELSE_EXAMPLE_main
67 edge: {sourcename: "n65" targetname: "n67" label: "0" class:13 color:red}
68 node: {title: "n67" label: "Start 67" color: blue info1: "visited: 13
69 irg: IF_ELSE_EXAMPLE_main
71 start of method of type IF_ELSE_EXAMPLE_main