nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg

   1 graph: { title: "ir graph of OO_PROGRAM_EXAMPLE_main"
   2 display_edge_labels: no
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1:  "intrablock Data"
   8 classname 16: "interblock Data"
   9 classname 2:  "Block"
  10 classname 13: "Control Flow"
  11 classname 14: "intrablock Memory"
  12 classname 17: "interblock Memory"
  13 classname 15: "Dominators"
  14 classname 3:  "Entity type"
  15 classname 4:  "Entity owner"
  16 classname 5:  "Method Param"
  17 classname 6:  "Method Res"
  18 classname 7:  "Super"
  19 classname 8:  "Union"
  20 classname 9:  "Points-to"
  21 classname 10: "Array Element Type"
  22 classname 11: "Overwrites"
  23 classname 12: "Member"
  24 infoname 1: "Attribute"
  25 infoname 2: "Verification errors"
  26 colorentry 100:    0   0    0
  27 colorentry 101:   20   0    0
  28 colorentry 102:   40   0    0
  29 colorentry 103:   60   0    0
  30 colorentry 104:   80   0    0
  31 colorentry 105:  100   0    0
  32 colorentry 106:  120   0    0
  33 colorentry 107:  140   0    0
  34 colorentry 108:  150   0    0
  35 colorentry 109:  180   0    0
  36 colorentry 110:  200   0    0
  37 colorentry 111:  220   0    0
  38 colorentry 112:  240   0    0
  39 colorentry 113:  255   0    0
  40 colorentry 113:  255  20   20
  41 colorentry 114:  255  40   40
  42 colorentry 115:  255  60   60
  43 colorentry 116:  255  80   80
  44 colorentry 117:  255 100  100
  45 colorentry 118:  255 120  120
  46 colorentry 119:  255 140  140
  47 colorentry 120:  255 150  150
  48 colorentry 121:  255 180  180
  49 colorentry 122:  255 200  200
  50 colorentry 123:  255 220  220
  51 colorentry 124:  255 240  240
  52 colorentry 125:  255 250  250
  53
  54 graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
  55 graph: { title: "n25"  label: "Block 25" status:clustered color:yellow
  56 edge: {sourcename: "n25" targetname: "n55" label: "0" class:13 priority:60 color:red}
  57 node: {title: "n103" label: "End OO_PROGRAM_EXAMPLE_main  103"  info1: "mode:    X
  58 visited: 44
  59 irg:     OO_PROGRAM_EXAMPLE_main
  60 arity: 2
  61 "color: blue}
  62 }
  63
  64 graph: { title: "n36"  label: "Block 36" status:clustered color:yellow
  65 edge: {sourcename: "n36" targetname: "n191" label: "0" class:13 priority:60 color:red}
  66 node: {title: "n55" label: "Return  55"  info1: "mode:    X
  67 visited: 44
  68 irg:     OO_PROGRAM_EXAMPLE_main
  69 arity: 2
  70 "}
  71 edge: {sourcename: "n55" targetname: "n193" label: "0" class:14 priority:50 color:blue}
  72 edge: {sourcename: "n55" targetname: "n194" label: "1" class:1  priority:50}
  73 node: {title: "n193" label: "FilterM 0 193"  info1: "mode:    M
  74 visited: 44
  75 irg:     OO_PROGRAM_EXAMPLE_main
  76 arity: 1 backedges:
  77 intra predecessor nodes:
  78   CallT 50
  79 "color: yellow}
  80 edge: {sourcename: "n193" targetname: "n98" label: "0" class:17 priority:10 color:blue}
  81 node: {title: "n194" label: "FilterIs 0 194"  info1: "mode:    Is
  82 visited: 44
  83 irg:     OO_PROGRAM_EXAMPLE_main
  84 arity: 1 backedges:
  85 intra predecessor nodes:
  86   ProjT 53
  87 "color: yellow}
  88 edge: {sourcename: "n194" targetname: "n100" label: "0" class:16 priority:10}
  89 }
  90
  91 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
  92 edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 priority:60 color:red}
  93 node: {title: "n187" label: "FilterM 0 187"  info1: "mode:    M
  94 visited: 44
  95 irg:     OO_PROGRAM_EXAMPLE_main
  96 arity: 1 backedges:
  97 intra predecessor nodes:
  98   CallT 46
  99 "color: yellow}
 100 edge: {sourcename: "n187" targetname: "n76" label: "0" class:17 priority:10 color:blue}
 101 node: {title: "n192" label: "ProjX 0 192"  info1: "mode:    X
 102 visited: 44
 103 irg:     OO_PROGRAM_EXAMPLE_main
 104 arity: 1
 105 "color: yellow}
 106 edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 priority:60 color:red}
 107 node: {title: "n190" label: "CallBegin c  190"  info1: "mode:    T
 108 visited: 44
 109 irg:     OO_PROGRAM_EXAMPLE_main
 110 arity: 1
 111 possible callees:
 112   0: PRIMA_c
 113 "}
 114 node: {title: "n190n165" label: "SymC &c  165"  info1: "mode:    P
 115 visited: 44
 116 irg:     OO_PROGRAM_EXAMPLE_main
 117 arity: 0
 118 kind addr_ent
 119 "}
 120 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 121 }
 122
 123 graph: { title: "n182"  label: "Block 182" status:clustered color:yellow
 124 edge: {sourcename: "n182" targetname: "n30" label: "0" class:13 priority:60 color:red}
 125 node: {title: "n43" label: "ProjM 0 43"  info1: "mode:    M
 126 visited: 44
 127 irg:     OO_PROGRAM_EXAMPLE_main
 128 arity: 1
 129 "color: yellow}
 130 edge: {sourcename: "n43" targetname: "n41" label: "0" class:17 priority:10 color:blue}
 131 node: {title: "n44" label: "ProjP 2 44"  info1: "mode:    P
 132 visited: 44
 133 irg:     OO_PROGRAM_EXAMPLE_main
 134 arity: 1
 135 "color: yellow}
 136 edge: {sourcename: "n44" targetname: "n41" label: "0" class:1  priority:50}
 137 node: {title: "n41" label: "Alloc  41"  info1: "mode:    T
 138 visited: 44
 139 irg:     OO_PROGRAM_EXAMPLE_main
 140 arity: 2
 141 allocating entity of type PRIMA
 142 "}
 143 node: {title: "n41n39" label: "SymC PRIMA size  39"  info1: "mode:    Iu
 144 visited: 44
 145 irg:     OO_PROGRAM_EXAMPLE_main
 146 arity: 0
 147 kind size
 148 "}
 149 edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue}
 150 edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10}
 151 node: {title: "n186" label: "ProjX 0 186"  info1: "mode:    X
 152 visited: 44
 153 irg:     OO_PROGRAM_EXAMPLE_main
 154 arity: 1
 155 "color: yellow}
 156 edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red}
 157 node: {title: "n184" label: "CallBegin set_a  184"  info1: "mode:    T
 158 visited: 44
 159 irg:     OO_PROGRAM_EXAMPLE_main
 160 arity: 1
 161 possible callees:
 162   0: PRIMA_set_a
 163 "}
 164 node: {title: "n184n166" label: "SymC &set_a  166"  info1: "mode:    P
 165 visited: 44
 166 irg:     OO_PROGRAM_EXAMPLE_main
 167 arity: 0
 168 kind addr_ent
 169 "}
 170 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
 171 }
 172
 173 graph: { title: "n27"  label: "Block 27" status:clustered color:yellow
 174 edge: {sourcename: "n27" targetname: "n30" label: "0" class:13 priority:60 color:red}
 175 node: {title: "n33" label: "ProjM 1 33"  info1: "mode:    M
 176 visited: 44
 177 irg:     OO_PROGRAM_EXAMPLE_main
 178 arity: 1
 179 "color: yellow}
 180 edge: {sourcename: "n33" targetname: "n28" label: "0" class:17 priority:10 color:blue}
 181 node: {title: "n30" label: "ProjX 0 30"  info1: "mode:    X
 182 visited: 44
 183 irg:     OO_PROGRAM_EXAMPLE_main
 184 arity: 1
 185 "color: yellow}
 186 edge: {sourcename: "n30" targetname: "n28" label: "0" class:13 priority:60 color:red}
 187 node: {title: "n28" label: "Start OO_PROGRAM_EXAMPLE_main  28"  info1: "mode:    T
 188 visited: 44
 189 irg:     OO_PROGRAM_EXAMPLE_main
 190 arity: 0
 191 start of method of type OO_PROGRAM_EXAMPLE_main
 192 "color: blue}
 193 }
 194
 195 }
 196
 197 graph: { title: "g68" label: "PRIMA_set_a" status:clustered color:white
 198 graph: { title: "n179"  label: "Block 179" status:clustered color:yellow
 199 edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 priority:60 color:red}
 200 node: {title: "n185" label: "ProjX 0 185"  info1: "mode:    X
 201 visited: 44
 202 irg:     PRIMA_set_a
 203 arity: 1
 204 "color: yellow}
 205 edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 priority:60 color:red}
 206 node: {title: "n180" label: "EndReg PRIMA_set_a  180"  info1: "mode:    T
 207 visited: 44
 208 irg:     PRIMA_set_a
 209 arity: 0
 210 "color: blue}
 211 }
 212
 213 graph: { title: "n69"  label: "Block 69" status:clustered color:yellow
 214 edge: {sourcename: "n69" targetname: "n63" label: "0" class:13 priority:60 color:red}
 215 node: {title: "n76" label: "ProjM 0 76"  info1: "mode:    M
 216 visited: 44
 217 irg:     PRIMA_set_a
 218 arity: 1
 219 "color: yellow}
 220 edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
 221 node: {title: "n74" label: "Store  74"  info1: "mode:    T
 222 visited: 44
 223 irg:     PRIMA_set_a
 224 arity: 3
 225 volatility: volatility_non_volatile
 226 "}
 227 edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 228 edge: {sourcename: "n74" targetname: "n73" label: "1" class:1  priority:50}
 229 edge: {sourcename: "n74" targetname: "n177" label: "2" class:16 priority:10}
 230 node: {title: "n73" label: "Sel a 73"  info1: "mode:    P
 231 visited: 44
 232 irg:     PRIMA_set_a
 233 arity: 2
 234 Selecting entity of type int
 235   from entity of type PRIMA
 236 "}
 237 edge: {sourcename: "n73" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 238 edge: {sourcename: "n73" targetname: "n176" label: "1" class:16 priority:10}
 239 node: {title: "n178" label: "Jmp  178"  info1: "mode:    X
 240 visited: 44
 241 irg:     PRIMA_set_a
 242 arity: 0
 243 "}
 244 }
 245
 246 graph: { title: "n60"  label: "Block 60" status:clustered color:yellow
 247 edge: {sourcename: "n60" targetname: "n186" label: "0" class:13 priority:60 color:red}
 248 node: {title: "n175" label: "FilterM 1 175"  info1: "mode:    M
 249 visited: 44
 250 irg:     PRIMA_set_a
 251 arity: 1 backedges:
 252 intra predecessor nodes:
 253   StartT 61
 254 "color: yellow}
 255 edge: {sourcename: "n175" targetname: "n43" label: "0" class:17 priority:10 color:blue}
 256 node: {title: "n176" label: "FilterP 0 176"  info1: "mode:    P
 257 visited: 44
 258 irg:     PRIMA_set_a
 259 arity: 1 backedges:
 260 intra predecessor nodes:
 261   ProjT 67
 262 "color: yellow}
 263 edge: {sourcename: "n176" targetname: "n44" label: "0" class:16 priority:10}
 264 node: {title: "n177" label: "FilterIs 1 177"  info1: "mode:    Is
 265 visited: 44
 266 irg:     PRIMA_set_a
 267 arity: 1 backedges:
 268 intra predecessor nodes:
 269   ProjT 67
 270 "color: yellow}
 271 node: {title: "n177n37" label: "0x2Is  37"  info1: "mode:    Is
 272 visited: 44
 273 irg:     OO_PROGRAM_EXAMPLE_main
 274 arity: 0
 275 Const of type type_unknown
 276 "color: yellow}
 277 edge: {sourcename: "n177" targetname: "n177n37" label: "0" class:16 priority:10}
 278 node: {title: "n63" label: "ProjX 0 63"  info1: "mode:    X
 279 visited: 44
 280 irg:     PRIMA_set_a
 281 arity: 1
 282 "color: yellow}
 283 edge: {sourcename: "n63" targetname: "n61" label: "0" class:13 priority:60 color:red}
 284 node: {title: "n61" label: "Start PRIMA_set_a  61"  info1: "mode:    T
 285 visited: 44
 286 irg:     PRIMA_set_a
 287 arity: 0
 288 start of method of type set_a
 289   param 0 type: class_prima_ptr
 290   param 1 type: int
 291 "color: blue}
 292 }
 293
 294 }
 295
 296 graph: { title: "g90" label: "PRIMA_c" status:clustered color:white
 297 graph: { title: "n171"  label: "Block 171" status:clustered color:yellow
 298 edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 priority:60 color:red}
 299 node: {title: "n191" label: "ProjX 0 191"  info1: "mode:    X
 300 visited: 44
 301 irg:     PRIMA_c
 302 arity: 1
 303 "color: yellow}
 304 edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 priority:60 color:red}
 305 node: {title: "n172" label: "EndReg PRIMA_c  172"  info1: "mode:    T
 306 visited: 44
 307 irg:     PRIMA_c
 308 arity: 0
 309 "color: blue}
 310 }
 311
 312 graph: { title: "n91"  label: "Block 91" status:clustered color:yellow
 313 edge: {sourcename: "n91" targetname: "n85" label: "0" class:13 priority:60 color:red}
 314 node: {title: "n98" label: "ProjM 0 98"  info1: "mode:    M
 315 visited: 44
 316 irg:     PRIMA_c
 317 arity: 1
 318 "color: yellow}
 319 edge: {sourcename: "n98" targetname: "n96" label: "0" class:17 priority:10 color:blue}
 320 node: {title: "n100" label: "AddIs  100"  info1: "mode:    Is
 321 visited: 44
 322 irg:     PRIMA_c
 323 arity: 2
 324 "}
 325 edge: {sourcename: "n100" targetname: "n99" label: "0" class:1  priority:50}
 326 edge: {sourcename: "n100" targetname: "n167" label: "1" class:16 priority:10}
 327 node: {title: "n99" label: "ProjIs 2 99"  info1: "mode:    Is
 328 visited: 44
 329 irg:     PRIMA_c
 330 arity: 1
 331 "color: yellow}
 332 edge: {sourcename: "n99" targetname: "n96" label: "0" class:1  priority:50}
 333 node: {title: "n96" label: "Load[Is]  96"  info1: "mode:    T
 334 visited: 44
 335 irg:     PRIMA_c
 336 arity: 2
 337 volatility: volatility_non_volatile
 338 "}
 339 edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 340 edge: {sourcename: "n96" targetname: "n95" label: "1" class:1  priority:50}
 341 node: {title: "n95" label: "Sel a 95"  info1: "mode:    P
 342 visited: 44
 343 irg:     PRIMA_c
 344 arity: 2
 345 Selecting entity of type int
 346   from entity of type PRIMA
 347 "}
 348 edge: {sourcename: "n95" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 349 edge: {sourcename: "n95" targetname: "n169" label: "1" class:16 priority:10}
 350 node: {title: "n170" label: "Jmp  170"  info1: "mode:    X
 351 visited: 44
 352 irg:     PRIMA_c
 353 arity: 0
 354 "}
 355 }
 356
 357 graph: { title: "n82"  label: "Block 82" status:clustered color:yellow
 358 edge: {sourcename: "n82" targetname: "n192" label: "0" class:13 priority:60 color:red}
 359 node: {title: "n168" label: "FilterM 1 168"  info1: "mode:    M
 360 visited: 44
 361 irg:     PRIMA_c
 362 arity: 1 backedges:
 363 intra predecessor nodes:
 364   StartT 83
 365 "color: yellow}
 366 edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue}
 367 node: {title: "n169" label: "FilterP 0 169"  info1: "mode:    P
 368 visited: 44
 369 irg:     PRIMA_c
 370 arity: 1 backedges:
 371 intra predecessor nodes:
 372   ProjT 89
 373 "color: yellow}
 374 edge: {sourcename: "n169" targetname: "n44" label: "0" class:16 priority:10}
 375 node: {title: "n167" label: "FilterIs 1 167"  info1: "mode:    Is
 376 visited: 44
 377 irg:     PRIMA_c
 378 arity: 1 backedges:
 379 intra predecessor nodes:
 380   ProjT 89
 381 "color: yellow}
 382 node: {title: "n167n38" label: "0x5Is  38"  info1: "mode:    Is
 383 visited: 44
 384 irg:     OO_PROGRAM_EXAMPLE_main
 385 arity: 0
 386 Const of type type_unknown
 387 "color: yellow}
 388 edge: {sourcename: "n167" targetname: "n167n38" label: "0" class:16 priority:10}
 389 node: {title: "n85" label: "ProjX 0 85"  info1: "mode:    X
 390 visited: 44
 391 irg:     PRIMA_c
 392 arity: 1
 393 "color: yellow}
 394 edge: {sourcename: "n85" targetname: "n83" label: "0" class:13 priority:60 color:red}
 395 node: {title: "n83" label: "Start PRIMA_c  83"  info1: "mode:    T
 396 visited: 44
 397 irg:     PRIMA_c
 398 arity: 0
 399 start of method of type c
 400   param 0 type: class_prima_ptr
 401   param 1 type: int
 402 "color: blue}
 403 }
 404
 405 }
 406
 407 node: {title: "e14" label: "ent a" color: yellow
 408  info1: "entity a (14)
 409   type:  int (11)
 410   owner: PRIMA (12)
 411   Does not overwrite other entities.
 412   Is not overwriten by other entities.
 413   allocation:  allocation_automatic
 414   visibility:  visibility_local
 415   variability: variability_uninitialized
 416   volatility:  volatility_non_volatile
 417   peculiarity: peculiarity_existent
 418   ld_name: no yet set
 419   offset:  -1
 420
 421 "
 422 }
 423 edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
 424 node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined
 425 size: -1b,
 426 peculiarity: peculiarity_existent
 427 " color: green}
 428 edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
 429 edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
 430 edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
 431 node: {title: "e17" label: "ent PRIMA_set_a" color: yellow
 432  info1: "entity set_a (17)
 433   type:  set_a (15)
 434   owner: PRIMA (12)
 435   Does not overwrite other entities.
 436   Is not overwriten by other entities.
 437   allocation:  allocation_static
 438   visibility:  visibility_local
 439   variability: variability_constant
 440   atomic value: SymC &set_a
 441   volatility:  volatility_non_volatile
 442   peculiarity: peculiarity_existent
 443   ld_name: PRIMA_set_a
 444   offset:  -1
 445   irg = 68
 446
 447 "
 448 }
 449 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
 450 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
 451 node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 452 visited: 47
 453 arity: 0
 454 kind addr_ent
 455 "}
 456 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 457 mode: P,
 458 size: 32b,
 459 variadicity: variadicity_non_variadic
 460 params: 2
 461 results: 0
 462 "}
 463 edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
 464 edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
 465 node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 466 mode: P,
 467 size: 32b,
 468 "}
 469 edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
 470 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 471 mode: Is,
 472 size: 32b,
 473 "}
 474 node: {title: "e20" label: "ent PRIMA_c" color: yellow
 475  info1: "entity c (20)
 476   type:  c (18)
 477   owner: PRIMA (12)
 478   Does not overwrite other entities.
 479   Is not overwriten by other entities.
 480   allocation:  allocation_static
 481   visibility:  visibility_local
 482   variability: variability_constant
 483   atomic value: SymC &c
 484   volatility:  volatility_non_volatile
 485   peculiarity: peculiarity_existent
 486   ld_name: PRIMA_c
 487   offset:  -1
 488   irg = 90
 489
 490 "
 491 }
 492 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 493 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 494 node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 495 visited: 48
 496 arity: 0
 497 kind addr_ent
 498 "}
 499 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 500 mode: P,
 501 size: 32b,
 502 variadicity: variadicity_non_variadic
 503 params: 2
 504 results: 1
 505 "}
 506 edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
 507 edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
 508 edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
 509 node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 510  info1: "entity OO_PROGRAM_EXAMPLE_main (23)
 511   type:  OO_PROGRAM_EXAMPLE_main (21)
 512   owner: GlobalType (0)
 513   Does not overwrite other entities.
 514   Is not overwriten by other entities.
 515   allocation:  allocation_static
 516   visibility:  visibility_local
 517   variability: variability_constant
 518   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
 519   volatility:  volatility_non_volatile
 520   peculiarity: peculiarity_existent
 521   ld_name: no yet set
 522   offset:  -1
 523   irg = 35
 524
 525 "
 526 }
 527 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 528 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 529 node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:    P
 530 visited: 49
 531 arity: 0
 532 kind addr_ent
 533 "}
 534 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 535 size: -1b,
 536 peculiarity: peculiarity_existent
 537 " color: green}
 538 edge: { sourcename: "t0" targetname: "e23"class: 12 label: "member" color:blue}
 539 node: {title: "t21" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
 540 mode: P,
 541 size: 32b,
 542 variadicity: variadicity_non_variadic
 543 params: 0
 544 results: 1
 545 "}
 546 edge: { sourcename: "t21" targetname: "t11"class: 6 label: "res 0" color: green}
 547 node: {title: "t24" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 548 size: -1b,
 549 peculiarity: peculiarity_existent
 550 " color: green}
 551 edge: { sourcename: "n95" targetname: "e14"class:2 priority:2 linestyle:dotted}
 552 edge: { sourcename: "n41" targetname: "t12"class:2 priority:2 linestyle:dotted}
 553 edge: { sourcename: "n39" targetname: "t12"class:2 priority:2 linestyle:dotted}
 554 edge: { sourcename: "n73" targetname: "e14"class:2 priority:2 linestyle:dotted}
 555 }