changed because of mor verbose irdump

[r1706]

diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
index 4545281..2e8d8cf 100644 (file)
--- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
@@ -37,6 +37,8 @@ node: {title: "n54" label: "Load  54"  info1: "visited: 9
 edge: {sourcename: "n54" targetname: "n61" label: "0" color: blue}
 edge: {sourcename: "n54" targetname: "n55" label: "1" }
 node: {title: "n55" label: "Sel a_elem_ent 55"  info1: "visited: 9
+Selecting entity of type int
+  from entity of type a
 "}
 edge: {sourcename: "n55" targetname: "n61" label: "0" color: blue}
 edge: {sourcename: "n55" targetname: "n57" label: "1" }
@@ -45,6 +47,7 @@ node: {title: "n57" label: "ProjP 2 57" color: yellow info1: "visited: 9
 "}
 edge: {sourcename: "n57" targetname: "n58" label: "0" }
 node: {title: "n58" label: "Alloc  58"  info1: "visited: 9
+allocating entity of type a
 "}
 edge: {sourcename: "n58" targetname: "n60" label: "0" color: blue}
 edge: {sourcename: "n58" targetname: "n59" label: "1" }
@@ -62,6 +65,7 @@ node: {title: "n50" label: "ProjX 0 50" color: yellow info1: "visited: 10
 "}
 edge: {sourcename: "n50" targetname: "n52" label: "0" color: red}
 node: {title: "n52" label: "Start  52" color: blue info1: "visited: 10
+start of method of type ARRAY-HEAP_EXAMPLE_main
 "}
 node: {title: "n56" label: "0x3Iu  56" color: yellow info1: "visited: 10
 "}

diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
index f2ed0d6..ef3b116 100644 (file)
--- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
@@ -37,11 +37,15 @@ node: {title: "n52" label: "Load  52"  info1: "visited: 14
 edge: {sourcename: "n52" targetname: "n57" label: "0" color: blue}
 edge: {sourcename: "n52" targetname: "n53" label: "1" }
 node: {title: "n53" label: "Sel a_tp_elem_ent 53"  info1: "visited: 14
+Selecting entity of type int
+  from entity of type a_tp
 "}
 edge: {sourcename: "n53" targetname: "n57" label: "0" color: blue}
 edge: {sourcename: "n53" targetname: "n55" label: "1" }
 edge: {sourcename: "n53" targetname: "n54" label: "2" }
 node: {title: "n55" label: "Sel a 55"  info1: "visited: 14
+Selecting entity of type a_tp
+  from entity of type mainframe_tp
 "}
 edge: {sourcename: "n55" targetname: "n57" label: "0" color: blue}
 edge: {sourcename: "n55" targetname: "n56" label: "1" }
@@ -56,6 +60,7 @@ node: {title: "n48" label: "ProjX 0 48" color: yellow info1: "visited: 15
 "}
 edge: {sourcename: "n48" targetname: "n50" label: "0" color: red}
 node: {title: "n50" label: "Start  50" color: blue info1: "visited: 15
+start of method of type main
 "}
 node: {title: "n54" label: "0x3Iu  54" color: yellow info1: "visited: 15
 "}

diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
index b9afaba..cc030db 100644 (file)
--- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
@@ -32,6 +32,8 @@ node: {title: "n60" label: "ProjM 0 60" color: yellow info1: "visited: 7
 "}
 edge: {sourcename: "n60" targetname: "n61" label: "0" color: blue}
 node: {title: "n61" label: "Call  61"  info1: "visited: 7
+calling method of type f
+  param 0 type: ptr_to_string
 "}
 edge: {sourcename: "n61" targetname: "n64" label: "0" color: blue}
 edge: {sourcename: "n61" targetname: "n63" label: "1" }
@@ -44,6 +46,7 @@ node: {title: "n57" label: "ProjX 0 57" color: yellow info1: "visited: 8
 "}
 edge: {sourcename: "n57" targetname: "n59" label: "0" color: red}
 node: {title: "n59" label: "Start  59" color: blue info1: "visited: 8
+start of method of type CALL_STR_EXAMPLE_main
 "}
 node: {title: "n62" label: "&(GlobalType_constStr)P  62" color: yellow info1: "visited: 8
 "}

diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg
index 9bbc648..fcda472 100644 (file)
--- a/testprograms/ref-results/COND_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg
@@ -89,6 +89,8 @@ node: {title: "n64" label: "ProjX 0 64" color: yellow info1: "visited: 12
 "}
 edge: {sourcename: "n64" targetname: "n66" label: "0" color: red}
 node: {title: "n66" label: "Start  66" color: blue info1: "visited: 12
+start of method of type main
+  param 0 type: int
 "}
 node: {title: "n70" label: "0x0Is  70" color: yellow info1: "visited: 12
 "}

diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
index 7b2e3ca..8c932c2 100644 (file)
--- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
@@ -38,6 +38,7 @@ node: {title: "n47" label: "ProjX 0 47" color: yellow info1: "visited: 6
 "}
 edge: {sourcename: "n47" targetname: "n49" label: "0" color: red}
 node: {title: "n49" label: "Start  49" color: blue info1: "visited: 6
+start of method of type main
 "}
 node: {title: "n50" label: "0xCIs  50" color: yellow info1: "visited: 6
 "}

diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg
index 9d6b0d8..c52eb36 100644 (file)
--- a/testprograms/ref-results/DEAD_BLOCK_main.vcg
+++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg
@@ -37,6 +37,7 @@ node: {title: "n70" label: "ProjX 0 70" color: yellow info1: "visited: 11
 "}
 edge: {sourcename: "n70" targetname: "n71" label: "0" color: red}
 node: {title: "n71" label: "Start  71" color: blue info1: "visited: 11
+start of method of type main
 "}
 node: {title: "n74" label: "0x2Is  74" color: yellow info1: "visited: 11
 "}

diff --git a/testprograms/ref-results/EMPTY_main.vcg b/testprograms/ref-results/EMPTY_main.vcg
index d7bcb4d..34eb053 100644 (file)
--- a/testprograms/ref-results/EMPTY_main.vcg
+++ b/testprograms/ref-results/EMPTY_main.vcg
@@ -36,6 +36,7 @@ node: {title: "n20" label: "ProjX 0 20" color: yellow info1: "visited: 6
 "}
 edge: {sourcename: "n20" targetname: "n17" label: "0" color: red}
 node: {title: "n17" label: "Start  17" color: blue info1: "visited: 6
+start of method of type EMPTY_main
 "}
 node: {title: "n21" label: "ProjM 1 21" color: yellow info1: "visited: 6
 "}

diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg
index 8e6f8de..e02024e 100644 (file)
--- a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg
@@ -50,6 +50,8 @@ node: {title: "n88" label: "PhiIs  88" color: green info1: "visited: 20
 edge: {sourcename: "n88" targetname: "n89" label: "0" }
 edge: {sourcename: "n88" targetname: "n87" label: "1" }
 node: {title: "n92" label: "Sel VAR_A 92"  info1: "visited: 20
+Selecting entity of type int
+  from entity of type GlobalType
 "}
 edge: {sourcename: "n92" targetname: "n84" label: "0" color: blue}
 edge: {sourcename: "n92" targetname: "n93" label: "1" }
@@ -70,6 +72,8 @@ node: {title: "n76" label: "ProjX 0 76" color: yellow info1: "visited: 22
 "}
 edge: {sourcename: "n76" targetname: "n77" label: "0" color: red}
 node: {title: "n77" label: "Start  77" color: blue info1: "visited: 22
+start of method of type main_tp
+  param 0 type: int
 "}
 node: {title: "n89" label: "0x1Is  89" color: yellow info1: "visited: 22
 "}

diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
index c979dc3..d11072e 100644 (file)
--- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
@@ -52,6 +52,8 @@ edge: {sourcename: "n72" targetname: "n73" label: "0" }
 graph: { title: "n70" label: "70" status:clustered color:yellow
 edge: {sourcename: "n70" targetname: "n69" label: "0" color: red}
 node: {title: "n71" label: "Start  71" color: blue info1: "visited: 16
+start of method of type GLOBAL_CSE_EXAMPLE_main
+  param 0 type: int
 "}
 }
 

diff --git a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
index 2011a75..4c732ee 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
@@ -38,6 +38,7 @@ node: {title: "n42" label: "Block  42" color: lightyellow info1: "visited: 11
 "}
 edge: {sourcename: "n42" targetname: "n41" label: "0" color: red}
 node: {title: "n43" label: "Start  43" color: blue info1: "visited: 11
+start of method of type GLOBAL_VAR_main
 "}
 edge: { sourcename: "n43" targetname: "n42" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n44" label: "ProjM 0 44" color: yellow info1: "visited: 11
@@ -54,6 +55,8 @@ node: {title: "n46" label: "0x2Is  46" color: yellow info1: "visited: 11
 "}
 edge: { sourcename: "n46" targetname: "n42" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n47" label: "Sel i 47"  info1: "visited: 11
+Selecting entity of type int
+  from entity of type GlobalType
 "}
 edge: { sourcename: "n47" targetname: "n40" class: 2 priority: 2 linestyle: dotted}
 edge: {sourcename: "n47" targetname: "n49" label: "0" color: blue}

diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg
index 92ab81d..a715627 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg
@@ -37,6 +37,8 @@ edge: {sourcename: "n45" targetname: "n49" label: "0" color: blue}
 edge: {sourcename: "n45" targetname: "n47" label: "1" }
 edge: {sourcename: "n45" targetname: "n46" label: "2" }
 node: {title: "n47" label: "Sel i 47"  info1: "visited: 8
+Selecting entity of type int
+  from entity of type GlobalType
 "}
 edge: {sourcename: "n47" targetname: "n49" label: "0" color: blue}
 edge: {sourcename: "n47" targetname: "n48" label: "1" }
@@ -48,6 +50,7 @@ node: {title: "n41" label: "ProjX 0 41" color: yellow info1: "visited: 9
 "}
 edge: {sourcename: "n41" targetname: "n43" label: "0" color: red}
 node: {title: "n43" label: "Start  43" color: blue info1: "visited: 9
+start of method of type GLOBAL_VAR_main
 "}
 node: {title: "n46" label: "0x2Is  46" color: yellow info1: "visited: 9
 "}

diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
index 8f74c7a..5726768 100644 (file)
--- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
@@ -38,6 +38,7 @@ node: {title: "n67" label: "ProjX 0 67" color: yellow info1: "visited: 15
 "}
 edge: {sourcename: "n67" targetname: "n69" label: "0" color: red}
 node: {title: "n69" label: "Start  69" color: blue info1: "visited: 15
+start of method of type IF_ELSE_EXAMPLE_main
 "}
 node: {title: "n71" label: "0x2Is  71" color: yellow info1: "visited: 15
 "}

diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg
index 6788ca8..7c17457 100644 (file)
--- a/testprograms/ref-results/IF_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_EXAMPLE_main.vcg
@@ -75,6 +75,8 @@ node: {title: "n21" label: "ProjX 0 21" color: yellow info1: "visited: 12
 "}
 edge: {sourcename: "n21" targetname: "n18" label: "0" color: red}
 node: {title: "n18" label: "Start  18" color: blue info1: "visited: 12
+start of method of type IF_EXAMPLE_main
+  param 0 type: int
 "}
 node: {title: "n29" label: "0x2Is  29" color: yellow info1: "visited: 12
 "}

diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
index 3175753..0ae2f65 100644 (file)
--- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
@@ -18,6 +18,7 @@ classname 11: "Overwrites"
 classname 12: "Member"
 
 node: {title: "n88" label: "Start  88" color: blue info1: "visited: 14
+start of method of type main
 "}
 edge: { sourcename: "n88" targetname: "n86" class: 2 priority: 2 linestyle: dotted}
 node: {title: "n87" label: "ProjX 0 87" color: yellow info1: "visited: 14

diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg
index 16e4b5c..991ef1e 100644 (file)
--- a/testprograms/ref-results/IRREGULAR_CF_main.vcg
+++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg
@@ -70,6 +70,7 @@ node: {title: "n72" label: "ProjX 0 72" color: yellow info1: "visited: 10
 "}
 edge: {sourcename: "n72" targetname: "n74" label: "0" color: red}
 node: {title: "n74" label: "Start  74" color: blue info1: "visited: 10
+start of method of type main
 "}
 node: {title: "n78" label: "0x1Is  78" color: yellow info1: "visited: 10
 "}

diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg
index b99e0e2..5698dde 100644 (file)
--- a/testprograms/ref-results/IRR_LOOP_main.vcg
+++ b/testprograms/ref-results/IRR_LOOP_main.vcg
@@ -113,6 +113,7 @@ node: {title: "n73" label: "ProjX 0 73" color: yellow info1: "visited: 10
 "}
 edge: {sourcename: "n73" targetname: "n74" label: "0" color: red}
 node: {title: "n74" label: "Start  74" color: blue info1: "visited: 10
+start of method of type main
 "}
 node: {title: "n75" label: "0x0Is  75" color: yellow info1: "visited: 10
 "}

diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
index 9e4f46f..b95b0c1 100644 (file)
--- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
@@ -105,10 +105,14 @@ edge: {sourcename: "n103" targetname: "n101" label: "0" color: blue}
 graph: { title: "n88" label: "88" status:clustered color:yellow
 edge: {sourcename: "n88" targetname: "n89" label: "0" color: red}
 node: {title: "n87" label: "Sel VAR_A 87"  info1: "visited: 18
+Selecting entity of type int
+  from entity of type GlobalType
 "}
 edge: {sourcename: "n87" targetname: "n93" label: "0" color: blue}
 edge: {sourcename: "n87" targetname: "n92" label: "1" }
 node: {title: "n97" label: "Sel VAR_B 97"  info1: "visited: 18
+Selecting entity of type int
+  from entity of type GlobalType
 "}
 edge: {sourcename: "n97" targetname: "n93" label: "0" color: blue}
 edge: {sourcename: "n97" targetname: "n92" label: "1" }
@@ -138,6 +142,7 @@ node: {title: "n89" label: "ProjX 0 89" color: yellow info1: "visited: 19
 "}
 edge: {sourcename: "n89" targetname: "n91" label: "0" color: red}
 node: {title: "n91" label: "Start  91" color: blue info1: "visited: 19
+start of method of type main
 "}
 node: {title: "n92" label: "ProjP 3 92" color: yellow info1: "visited: 19
 "}

diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
index 6f9ee55..78be86b 100644 (file)
--- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
@@ -45,6 +45,8 @@ node: {title: "n205" label: "PhiIs  205" color: green info1: "visited: 27
 edge: {sourcename: "n205" targetname: "n206" label: "0" }
 edge: {sourcename: "n205" targetname: "n204" label: "1" }
 node: {title: "n208" label: "Sel a 208"  info1: "visited: 27
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n208" targetname: "n202" label: "0" color: blue}
 edge: {sourcename: "n208" targetname: "n209" label: "1" }
@@ -60,6 +62,7 @@ node: {title: "n209" label: "ProjP 2 209" color: yellow info1: "visited: 28
 "}
 edge: {sourcename: "n209" targetname: "n210" label: "0" }
 node: {title: "n210" label: "Alloc  210"  info1: "visited: 28
+allocating entity of type PRIMA
 "}
 edge: {sourcename: "n210" targetname: "n212" label: "0" color: blue}
 edge: {sourcename: "n210" targetname: "n211" label: "1" }
@@ -72,6 +75,8 @@ edge: {sourcename: "n214" targetname: "n217" label: "0" color: blue}
 edge: {sourcename: "n214" targetname: "n216" label: "1" }
 edge: {sourcename: "n214" targetname: "n215" label: "2" }
 node: {title: "n216" label: "Sel a 216"  info1: "visited: 28
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n216" targetname: "n217" label: "0" color: blue}
 edge: {sourcename: "n216" targetname: "n209" label: "1" }
@@ -86,6 +91,7 @@ node: {title: "n196" label: "ProjX 0 196" color: yellow info1: "visited: 29
 "}
 edge: {sourcename: "n196" targetname: "n197" label: "0" color: red}
 node: {title: "n197" label: "Start  197" color: blue info1: "visited: 29
+start of method of type OO_INLINE_EXAMPLE_main
 "}
 node: {title: "n207" label: "0x5Is  207" color: yellow info1: "visited: 29
 "}

diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
index c6bb004..67b6854 100644 (file)
--- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg
@@ -45,6 +45,8 @@ node: {title: "n205" label: "PhiIs  205" color: green info1: "visited: 22
 edge: {sourcename: "n205" targetname: "n206" label: "0" }
 edge: {sourcename: "n205" targetname: "n204" label: "1" }
 node: {title: "n208" label: "Sel a 208"  info1: "visited: 22
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n208" targetname: "n202" label: "0" color: blue}
 edge: {sourcename: "n208" targetname: "n209" label: "1" }
@@ -60,6 +62,7 @@ node: {title: "n209" label: "ProjP 2 209" color: yellow info1: "visited: 23
 "}
 edge: {sourcename: "n209" targetname: "n210" label: "0" }
 node: {title: "n210" label: "Alloc  210"  info1: "visited: 23
+allocating entity of type PRIMA
 "}
 edge: {sourcename: "n210" targetname: "n212" label: "0" color: blue}
 edge: {sourcename: "n210" targetname: "n211" label: "1" }
@@ -72,6 +75,8 @@ edge: {sourcename: "n214" targetname: "n217" label: "0" color: blue}
 edge: {sourcename: "n214" targetname: "n216" label: "1" }
 edge: {sourcename: "n214" targetname: "n215" label: "2" }
 node: {title: "n216" label: "Sel a 216"  info1: "visited: 23
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n216" targetname: "n217" label: "0" color: blue}
 edge: {sourcename: "n216" targetname: "n209" label: "1" }
@@ -86,6 +91,7 @@ node: {title: "n196" label: "ProjX 0 196" color: yellow info1: "visited: 24
 "}
 edge: {sourcename: "n196" targetname: "n197" label: "0" color: red}
 node: {title: "n197" label: "Start  197" color: blue info1: "visited: 24
+start of method of type OO_INLINE_EXAMPLE_main
 "}
 node: {title: "n207" label: "0x5Is  207" color: yellow info1: "visited: 24
 "}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
index b566fb5..f05620a 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
@@ -36,6 +36,10 @@ node: {title: "n113" label: "ProjT 2 113" color: yellow info1: "visited: 20
 "}
 edge: {sourcename: "n113" targetname: "n114" label: "0" }
 node: {title: "n114" label: "Call  114"  info1: "visited: 20
+calling method of type c
+  param 0 type: class_prima_ptr
+  param 1 type: int
+  resul 0 type: int
 "}
 edge: {sourcename: "n114" targetname: "n121" label: "0" color: blue}
 edge: {sourcename: "n114" targetname: "n120" label: "1" }
@@ -45,10 +49,13 @@ node: {title: "n116" label: "ProjP 2 116" color: yellow info1: "visited: 20
 "}
 edge: {sourcename: "n116" targetname: "n117" label: "0" }
 node: {title: "n117" label: "Alloc  117"  info1: "visited: 20
+allocating entity of type PRIMA
 "}
 edge: {sourcename: "n117" targetname: "n119" label: "0" color: blue}
 edge: {sourcename: "n117" targetname: "n118" label: "1" }
 node: {title: "n120" label: "Sel c 120"  info1: "visited: 20
+Selecting entity of type c
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n120" targetname: "n121" label: "0" color: blue}
 edge: {sourcename: "n120" targetname: "n116" label: "1" }
@@ -56,12 +63,17 @@ node: {title: "n121" label: "ProjM 0 121" color: yellow info1: "visited: 20
 "}
 edge: {sourcename: "n121" targetname: "n122" label: "0" color: blue}
 node: {title: "n122" label: "Call  122"  info1: "visited: 20
+calling method of type set_a
+  param 0 type: class_prima_ptr
+  param 1 type: int
 "}
 edge: {sourcename: "n122" targetname: "n125" label: "0" color: blue}
 edge: {sourcename: "n122" targetname: "n124" label: "1" }
 edge: {sourcename: "n122" targetname: "n116" label: "2" }
 edge: {sourcename: "n122" targetname: "n123" label: "3" }
 node: {title: "n124" label: "Sel set_a 124"  info1: "visited: 20
+Selecting entity of type set_a
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n124" targetname: "n125" label: "0" color: blue}
 edge: {sourcename: "n124" targetname: "n116" label: "1" }
@@ -79,6 +91,7 @@ node: {title: "n109" label: "ProjX 0 109" color: yellow info1: "visited: 21
 "}
 edge: {sourcename: "n109" targetname: "n111" label: "0" color: red}
 node: {title: "n111" label: "Start  111" color: blue info1: "visited: 21
+start of method of type OO_PROGRAM_EXAMPLE_main
 "}
 node: {title: "n115" label: "0x5Is  115" color: yellow info1: "visited: 21
 "}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
index a5e384e..99616d3 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
@@ -36,6 +36,10 @@ node: {title: "n113" label: "ProjT 2 113" color: yellow info1: "visited: 16
 "}
 edge: {sourcename: "n113" targetname: "n114" label: "0" }
 node: {title: "n114" label: "Call  114"  info1: "visited: 16
+calling method of type c
+  param 0 type: class_prima_ptr
+  param 1 type: int
+  resul 0 type: int
 "}
 edge: {sourcename: "n114" targetname: "n121" label: "0" color: blue}
 edge: {sourcename: "n114" targetname: "n120" label: "1" }
@@ -45,10 +49,13 @@ node: {title: "n116" label: "ProjP 2 116" color: yellow info1: "visited: 16
 "}
 edge: {sourcename: "n116" targetname: "n117" label: "0" }
 node: {title: "n117" label: "Alloc  117"  info1: "visited: 16
+allocating entity of type PRIMA
 "}
 edge: {sourcename: "n117" targetname: "n119" label: "0" color: blue}
 edge: {sourcename: "n117" targetname: "n118" label: "1" }
 node: {title: "n120" label: "Sel c 120"  info1: "visited: 16
+Selecting entity of type c
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n120" targetname: "n121" label: "0" color: blue}
 edge: {sourcename: "n120" targetname: "n116" label: "1" }
@@ -56,12 +63,17 @@ node: {title: "n121" label: "ProjM 0 121" color: yellow info1: "visited: 16
 "}
 edge: {sourcename: "n121" targetname: "n122" label: "0" color: blue}
 node: {title: "n122" label: "Call  122"  info1: "visited: 16
+calling method of type set_a
+  param 0 type: class_prima_ptr
+  param 1 type: int
 "}
 edge: {sourcename: "n122" targetname: "n125" label: "0" color: blue}
 edge: {sourcename: "n122" targetname: "n124" label: "1" }
 edge: {sourcename: "n122" targetname: "n116" label: "2" }
 edge: {sourcename: "n122" targetname: "n123" label: "3" }
 node: {title: "n124" label: "Sel set_a 124"  info1: "visited: 16
+Selecting entity of type set_a
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n124" targetname: "n125" label: "0" color: blue}
 edge: {sourcename: "n124" targetname: "n116" label: "1" }
@@ -79,6 +91,7 @@ node: {title: "n109" label: "ProjX 0 109" color: yellow info1: "visited: 17
 "}
 edge: {sourcename: "n109" targetname: "n111" label: "0" color: red}
 node: {title: "n111" label: "Start  111" color: blue info1: "visited: 17
+start of method of type OO_PROGRAM_EXAMPLE_main
 "}
 node: {title: "n115" label: "0x5Is  115" color: yellow info1: "visited: 17
 "}

diff --git a/testprograms/ref-results/PRIMA_c-all.vcg b/testprograms/ref-results/PRIMA_c-all.vcg
index 160cdc7..92e9011 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-all.vcg
+++ b/testprograms/ref-results/PRIMA_c-all.vcg
@@ -45,6 +45,8 @@ node: {title: "n253" label: "PhiIs  253" color: green info1: "visited: 27
 edge: {sourcename: "n253" targetname: "n254" label: "0" }
 edge: {sourcename: "n253" targetname: "n252" label: "1" }
 node: {title: "n257" label: "Sel a 257"  info1: "visited: 27
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n257" targetname: "n250" label: "0" color: blue}
 edge: {sourcename: "n257" targetname: "n258" label: "1" }
@@ -68,6 +70,9 @@ node: {title: "n244" label: "ProjX 0 244" color: yellow info1: "visited: 29
 "}
 edge: {sourcename: "n244" targetname: "n245" label: "0" color: red}
 node: {title: "n245" label: "Start  245" color: blue info1: "visited: 29
+start of method of type c
+  param 0 type: class_prima_ptr
+  param 1 type: int
 "}
 node: {title: "n254" label: "0x0Is  254" color: yellow info1: "visited: 29
 "}

diff --git a/testprograms/ref-results/PRIMA_set_a-all.vcg b/testprograms/ref-results/PRIMA_set_a-all.vcg
index b248572..5c34775 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-all.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-all.vcg
@@ -40,6 +40,8 @@ node: {title: "n231" label: "ProjIs 1 231" color: yellow info1: "visited: 21
 "}
 edge: {sourcename: "n231" targetname: "n232" label: "0" }
 node: {title: "n233" label: "Sel a 233"  info1: "visited: 21
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n233" targetname: "n235" label: "0" color: blue}
 edge: {sourcename: "n233" targetname: "n234" label: "1" }
@@ -54,6 +56,9 @@ node: {title: "n226" label: "ProjX 0 226" color: yellow info1: "visited: 22
 "}
 edge: {sourcename: "n226" targetname: "n228" label: "0" color: red}
 node: {title: "n228" label: "Start  228" color: blue info1: "visited: 22
+start of method of type set_a
+  param 0 type: class_prima_ptr
+  param 1 type: int
 "}
 node: {title: "n232" label: "ProjT 4 232" color: yellow info1: "visited: 22
 "}

diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
index 57afece..c1109c8 100644 (file)
--- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
@@ -93,6 +93,8 @@ node: {title: "n84" label: "ProjX 0 84" color: yellow info1: "visited: 13
 "}
 edge: {sourcename: "n84" targetname: "n86" label: "0" color: red}
 node: {title: "n86" label: "Start  86" color: blue info1: "visited: 13
+start of method of type THREE_CFPRED_EXAMPLE_main
+  param 0 type: int
 "}
 node: {title: "n91" label: "ProjT 4 91" color: yellow info1: "visited: 13
 "}

diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
index 3704579..0fb1023 100644 (file)
--- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
@@ -85,6 +85,8 @@ node: {title: "n80" label: "ProjX 0 80" color: yellow info1: "visited: 20
 "}
 edge: {sourcename: "n80" targetname: "n82" label: "0" color: red}
 node: {title: "n82" label: "Start  82" color: blue info1: "visited: 20
+start of method of type main_tp
+  param 0 type: int
 "}
 node: {title: "n83" label: "ProjT 4 83" color: yellow info1: "visited: 20
 "}

diff --git a/testprograms/ref-results/c.vcg b/testprograms/ref-results/c.vcg
index 7266880..e8c45af 100644 (file)
--- a/testprograms/ref-results/c.vcg
+++ b/testprograms/ref-results/c.vcg
@@ -45,6 +45,8 @@ node: {title: "n253" label: "PhiIs  253" color: green info1: "visited: 22
 edge: {sourcename: "n253" targetname: "n254" label: "0" }
 edge: {sourcename: "n253" targetname: "n252" label: "1" }
 node: {title: "n257" label: "Sel a 257"  info1: "visited: 22
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n257" targetname: "n250" label: "0" color: blue}
 edge: {sourcename: "n257" targetname: "n258" label: "1" }
@@ -68,6 +70,9 @@ node: {title: "n244" label: "ProjX 0 244" color: yellow info1: "visited: 24
 "}
 edge: {sourcename: "n244" targetname: "n245" label: "0" color: red}
 node: {title: "n245" label: "Start  245" color: blue info1: "visited: 24
+start of method of type c
+  param 0 type: class_prima_ptr
+  param 1 type: int
 "}
 node: {title: "n254" label: "0x0Is  254" color: yellow info1: "visited: 24
 "}

diff --git a/testprograms/ref-results/main.vcg b/testprograms/ref-results/main.vcg
index d17e655..a119a50 100644 (file)
--- a/testprograms/ref-results/main.vcg
+++ b/testprograms/ref-results/main.vcg
@@ -37,11 +37,15 @@ node: {title: "n52" label: "Load  52"  info1: "visited: 9
 edge: {sourcename: "n52" targetname: "n57" label: "0" color: blue}
 edge: {sourcename: "n52" targetname: "n53" label: "1" }
 node: {title: "n53" label: "Sel a_tp_elem_ent 53"  info1: "visited: 9
+Selecting entity of type int
+  from entity of type a_tp
 "}
 edge: {sourcename: "n53" targetname: "n57" label: "0" color: blue}
 edge: {sourcename: "n53" targetname: "n55" label: "1" }
 edge: {sourcename: "n53" targetname: "n54" label: "2" }
 node: {title: "n55" label: "Sel a 55"  info1: "visited: 9
+Selecting entity of type a_tp
+  from entity of type mainframe_tp
 "}
 edge: {sourcename: "n55" targetname: "n57" label: "0" color: blue}
 edge: {sourcename: "n55" targetname: "n56" label: "1" }
@@ -56,6 +60,7 @@ node: {title: "n48" label: "ProjX 0 48" color: yellow info1: "visited: 10
 "}
 edge: {sourcename: "n48" targetname: "n50" label: "0" color: red}
 node: {title: "n50" label: "Start  50" color: blue info1: "visited: 10
+start of method of type main
 "}
 node: {title: "n54" label: "0x3Iu  54" color: yellow info1: "visited: 10
 "}

diff --git a/testprograms/ref-results/set_a.vcg b/testprograms/ref-results/set_a.vcg
index 29e8e70..16a7e80 100644 (file)
--- a/testprograms/ref-results/set_a.vcg
+++ b/testprograms/ref-results/set_a.vcg
@@ -40,6 +40,8 @@ node: {title: "n231" label: "ProjIs 1 231" color: yellow info1: "visited: 17
 "}
 edge: {sourcename: "n231" targetname: "n232" label: "0" }
 node: {title: "n233" label: "Sel a 233"  info1: "visited: 17
+Selecting entity of type int
+  from entity of type PRIMA
 "}
 edge: {sourcename: "n233" targetname: "n235" label: "0" color: blue}
 edge: {sourcename: "n233" targetname: "n234" label: "1" }
@@ -54,6 +56,9 @@ node: {title: "n226" label: "ProjX 0 226" color: yellow info1: "visited: 18
 "}
 edge: {sourcename: "n226" targetname: "n228" label: "0" color: red}
 node: {title: "n228" label: "Start  228" color: blue info1: "visited: 18
+start of method of type set_a
+  param 0 type: class_prima_ptr
+  param 1 type: int
 "}
 node: {title: "n232" label: "ProjT 4 232" color: yellow info1: "visited: 18
 "}