1 graph: { title: "ir graph of GlobalType_OO_PROGRAM_EXAMPLE_main"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 3: "Entity type"
10 classname 4: "Entity owner"
11 classname 5: "Method Param"
12 classname 6: "Method Res"
15 classname 9: "Points-to"
16 classname 10: "Array Element Type"
17 classname 11: "Overwrites"
18 classname 12: "Member"
20 node: {title: "t19" label: "method c" info1: "state: layout_fixed,
24 edge: { sourcename: "t19" targetname: "t14"class: 5 label: "param 0" color: green}
25 edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: green}
26 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
27 node: {title: "t14" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
31 edge: { sourcename: "t14" targetname: "t13"class: 9 label: "points to" color:green}
32 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
34 peculiarity: peculiarity_existent
36 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
37 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
38 edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue}
39 node: {title: "e15" label: "ent a" color: yellow
42 allocation: allocation_automatic
43 visibility: visibility_local
44 variability: variability_uninitialized
45 volatility: volatility_non_volatile
46 peculiarity: peculiarity_existent
51 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
52 node: {title: "t12" label: "primitive int" info1: "state: layout_fixed,
56 node: {title: "e18" label: "ent PRIMA_set_a" color: yellow
59 allocation: allocation_static
60 visibility: visibility_local
61 variability: variability_constant
62 volatility: volatility_non_volatile
63 peculiarity: peculiarity_existent
69 edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
70 edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
71 node: {title: "n17" label: "&(PRIMA_set_a)P 17" color: yellow info1: "visited: 7
72 Const of type type_unknown
74 node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
78 edge: { sourcename: "t16" targetname: "t14"class: 5 label: "param 0" color: green}
79 edge: { sourcename: "t16" targetname: "t12"class: 5 label: "param 1" color: green}
80 node: {title: "e21" label: "ent PRIMA_c" color: yellow
83 allocation: allocation_static
84 visibility: visibility_local
85 variability: variability_constant
86 volatility: volatility_non_volatile
87 peculiarity: peculiarity_existent
93 edge: { sourcename: "e21" targetname: "t19"class: 3 label: "type" color: red}
94 edge: { sourcename: "e21" targetname: "n20"label: "value 0"}
95 node: {title: "n20" label: "&(PRIMA_c)P 20" color: yellow info1: "visited: 7
96 Const of type type_unknown
98 node: {title: "e24" label: "ent GlobalType_OO_PROGRAM_EXAMPLE_main" color: yellow
101 allocation: allocation_static
102 visibility: visibility_local
103 variability: variability_constant
104 volatility: volatility_non_volatile
105 peculiarity: peculiarity_existent
106 name: GlobalType_OO_PROGRAM_EXAMPLE_main
107 ld_name: GlobalType_OO_PROGRAM_EXAMPLE_main
111 edge: { sourcename: "e24" targetname: "t22"class: 3 label: "type" color: red}
112 edge: { sourcename: "e24" targetname: "n23"label: "value 0"}
113 node: {title: "n23" label: "&(GlobalType_OO_PROGRAM_EXAMPLE_main)P 23" color: yellow info1: "visited: 7
114 Const of type type_unknown
116 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
118 peculiarity: peculiarity_existent
120 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
121 node: {title: "t22" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
125 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
126 node: {title: "t25" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
128 peculiarity: peculiarity_existent