more verbose type info
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Fri, 21 Nov 2003 14:53:35 +0000 (14:53 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Fri, 21 Nov 2003 14:53:35 +0000 (14:53 +0000)
[r2084]

20 files changed:
testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg
testprograms/ref-results/All_types.vcg
testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-type.vcg
testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes.vcg
testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg
testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg
testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
testprograms/ref-results/PRIMA_c-type.vcg
testprograms/ref-results/PRIMA_c-wtypes.vcg
testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
testprograms/ref-results/PRIMA_set_a-type.vcg
testprograms/ref-results/PRIMA_set_a-wtypes.vcg
testprograms/ref-results/class_hierarchy.vcg
testprograms/ref-results/main-type.vcg

index abbbd06..a98d66a 100644 (file)
@@ -67,6 +67,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e15"class: 12 label: "member" color:blue}
 node: {title: "t13" label: "method ARRAY-HEAP_EXAMPLE_main" info1: "state: layout_fixed,
@@ -76,5 +77,6 @@ size: 4B,
 edge: { sourcename: "t13" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t20" label: "class ARRAY-HEAP_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 }
index 593dd0e..09ea2f0 100644 (file)
@@ -123,6 +123,7 @@ offset:  -1"
 edge: { sourcename: "e35" targetname: "t17"class: 3 label: "type" color: red}
 node: {title: "t21" label: "class mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t21" targetname: "e35"class: 12 label: "member" color:blue}
 node: {title: "e16" label: "ent main" color: yellow
@@ -145,6 +146,7 @@ Const of type type_unknown
 "}
 node: {title: "t13" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e16"class: 12 label: "member" color:blue}
 node: {title: "t14" label: "method main" info1: "state: layout_fixed,
index 400db86..7dac8a3 100644 (file)
@@ -29,6 +29,7 @@ edge: { sourcename: "t13" targetname: "t12"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t13" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t14" label: "class WHILE_EXAMPLE" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t14" targetname: "e16"class: 12 label: "member" color:blue}
 node: {title: "e16" label: "ent main" color: yellow
@@ -51,5 +52,6 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 }
index 3d997e7..c459dcd 100644 (file)
@@ -86,6 +86,7 @@ offset:  -1"
 edge: { sourcename: "e16" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t0" targetname: "e16"class: 12 label: "member" color:blue}
@@ -117,6 +118,7 @@ size: 4B,
 "}
 node: {title: "t17" label: "class GLOBAL_VAR_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n49" targetname: "e16"class: 2 priority: 2 linestyle: dotted}
 }
index d0fbe8d..2345b20 100644 (file)
@@ -252,6 +252,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -334,6 +335,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
 node: {title: "t22" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
@@ -343,6 +345,7 @@ size: 4B,
 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t25" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n162" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 edge: { sourcename: "n119" targetname: "t13"class: 2 priority: 2 linestyle: dotted}
index 3ddcc51..51a91c8 100644 (file)
@@ -31,6 +31,7 @@ size: 4B,
 edge: { sourcename: "t14" targetname: "t13"class: 9 label: "points to" color:green}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -114,6 +115,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
 node: {title: "t22" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
@@ -123,5 +125,6 @@ size: 4B,
 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t25" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 }
index d68b306..589ef36 100644 (file)
@@ -228,6 +228,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -310,6 +311,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
 node: {title: "t22" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
@@ -319,6 +321,7 @@ size: 4B,
 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t25" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n162" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 edge: { sourcename: "n119" targetname: "t13"class: 2 priority: 2 linestyle: dotted}
index 9897b6f..6ca99a0 100644 (file)
@@ -125,6 +125,7 @@ size: 4B,
 edge: { sourcename: "t14" targetname: "t13"class: 9 label: "points to" color:green}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -208,6 +209,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
 node: {title: "t22" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
@@ -217,6 +219,7 @@ size: 4B,
 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t25" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n116" targetname: "t19"class: 2 priority: 2 linestyle: dotted}
 edge: { sourcename: "n119" targetname: "t13"class: 2 priority: 2 linestyle: dotted}
index b4bf4df..86cae8d 100644 (file)
@@ -125,6 +125,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA_INLINE" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -207,6 +208,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
 node: {title: "t22" label: "method OO_INLINE_EXAMPLE_main" info1: "state: layout_fixed,
@@ -216,6 +218,7 @@ size: 4B,
 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t25" label: "class OO_INLINE_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n210" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 edge: { sourcename: "n212" targetname: "t13"class: 2 priority: 2 linestyle: dotted}
index 3ec1b0b..fd359e4 100644 (file)
@@ -138,6 +138,7 @@ size: 4B,
 edge: { sourcename: "t14" targetname: "t13"class: 9 label: "points to" color:green}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -221,6 +222,7 @@ Const of type type_unknown
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t0" targetname: "e24"class: 12 label: "member" color:blue}
 node: {title: "t22" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
@@ -230,6 +232,7 @@ size: 4B,
 edge: { sourcename: "t22" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t25" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n116" targetname: "t19"class: 2 priority: 2 linestyle: dotted}
 edge: { sourcename: "n119" targetname: "t13"class: 2 priority: 2 linestyle: dotted}
index ed4bea8..33f1e3a 100644 (file)
@@ -103,6 +103,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA_INLINE" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -167,6 +168,7 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t82" label: "class cframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n259" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 }
index a0b4cfd..3e29d21 100644 (file)
@@ -87,6 +87,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA_INLINE" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -151,6 +152,7 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t59" label: "class set_aframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n235" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 }
index c069142..c474beb 100644 (file)
@@ -102,6 +102,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -166,6 +167,7 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t82" label: "class cframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n162" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 }
index fdc7376..f905d4f 100644 (file)
@@ -32,6 +32,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -96,5 +97,6 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t82" label: "class cframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 }
index 7c13168..cd9f8ae 100644 (file)
@@ -95,6 +95,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -159,6 +160,7 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t82" label: "class cframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n162" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 }
index 8615267..c31bc28 100644 (file)
@@ -92,6 +92,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -156,6 +157,7 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t59" label: "class set_aframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n145" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 }
index d51e20f..c581132 100644 (file)
@@ -32,6 +32,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -96,5 +97,6 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t59" label: "class set_aframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 }
index 264285b..215e021 100644 (file)
@@ -87,6 +87,7 @@ offset:  -1"
 edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
 edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
@@ -151,6 +152,7 @@ edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
 node: {title: "t59" label: "class set_aframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "n145" targetname: "e15"class: 2 priority: 2 linestyle: dotted}
 }
index 60e96b8..86b5861 100644 (file)
@@ -19,6 +19,7 @@ classname 12: "Member"
 
 node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 node: {title: "e15" label: "ent a" color: yellow
  info1: "
index 2b4b858..3594bf7 100644 (file)
@@ -62,6 +62,7 @@ offset:  -1"
 edge: { sourcename: "e35" targetname: "t17"class: 3 label: "type" color: red}
 node: {title: "t21" label: "class mainframe_tp" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t21" targetname: "e35"class: 12 label: "member" color:blue}
 node: {title: "e16" label: "ent main" color: yellow
@@ -84,6 +85,7 @@ Const of type type_unknown
 "}
 node: {title: "t13" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 size: -1B,
+peculiarity: peculiarity_existent
 " color: green}
 edge: { sourcename: "t13" targetname: "e16"class: 12 label: "member" color:blue}
 node: {title: "t14" label: "method main" info1: "state: layout_fixed,