adapted to output of type's visibility flag
authorFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Fri, 17 Jun 2005 12:10:35 +0000 (12:10 +0000)
committerFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Fri, 17 Jun 2005 12:10:35 +0000 (12:10 +0000)
[r6054]

20 files changed:
testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
testprograms/ref-results/ARRAY-STACK_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/OO_INLINE_EXAMPLE_main-wtypes.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-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

index 7f7f677..669367c 100644 (file)
@@ -80,10 +80,11 @@ node: {title: "t18" label: "array a" info1: "array type a (18)
       peculiarity: peculiarity_existent
       ld_name: no yet set
       offset:  -1
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 "}
@@ -112,11 +113,12 @@ node: {title: "n23" label: "0x0Iu 23"  info1: "0x0 23
 "
 color: yellow}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -172,10 +174,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -185,11 +188,12 @@ node: {title: "t15" label: "method ARRAY-HEAP_EXAMPLE_main" info1: "method type
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -199,10 +203,11 @@ node: {title: "t24" label: "class ARRAY-HEAP_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index f05b917..13fcd00 100644 (file)
@@ -80,10 +80,11 @@ node: {title: "t19" label: "array a_tp" info1: "array type a_tp (19)
       peculiarity: peculiarity_existent
       ld_name: no yet set
       offset:  -1
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 "}
@@ -112,11 +113,12 @@ node: {title: "n24" label: "0x0Iu 24"  info1: "0x0 24
 "
 color: yellow}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -154,10 +156,11 @@ node: {title: "t25" label: "class mainframe_tp" info1: "class type mainframe_tp
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -214,10 +217,11 @@ node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "class type ARRAY-
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -227,11 +231,12 @@ node: {title: "t16" label: "method main_tp" info1: "method type main_tp (16)
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
index d27d3c8..1a4a73f 100644 (file)
@@ -256,10 +256,11 @@ node: {title: "t19" label: "array a_tp" info1: "array type a_tp (19)
       peculiarity: peculiarity_existent
       ld_name: no yet set
       offset:  -1
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 "}
@@ -288,11 +289,12 @@ node: {title: "n24" label: "0x0Iu 24"  info1: "0x0 24
 "
 color: yellow}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -330,10 +332,11 @@ node: {title: "t25" label: "class mainframe_tp" info1: "class type mainframe_tp
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -390,10 +393,11 @@ node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "class type ARRAY-
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -403,11 +407,12 @@ node: {title: "t16" label: "method main_tp" info1: "method type main_tp (16)
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
index 3770116..7b2da74 100644 (file)
@@ -53,11 +53,12 @@ colorentry 124:  255 240  240
 colorentry 125:  255 250  250
 
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -67,11 +68,12 @@ node: {title: "t15" label: "method main_tp" info1: "method type main_tp (15)
     int
   parameter types: 1
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -96,10 +98,11 @@ node: {title: "t16" label: "class WHILE_EXAMPLE" info1: "class type WHILE_EXAMPL
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -142,10 +145,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 7dee194..d7714e0 100644 (file)
@@ -280,10 +280,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -326,20 +327,22 @@ node: {title: "t15" label: "method GLOBAL_VAR_main" info1: "method type GLOBAL_V
   variadicity: variadicity_non_variadic
   return types: 0
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -348,10 +351,11 @@ node: {title: "t19" label: "class GLOBAL_VAR_mainframe_tp" info1: "class type GL
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 71db4c1..8f1f47e 100644 (file)
@@ -426,10 +426,11 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -475,11 +476,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -487,21 +489,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA_INLINE (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -545,11 +549,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -608,10 +613,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -621,11 +627,12 @@ node: {title: "t24" label: "method OO_INLINE_EXAMPLE_main" info1: "method type O
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -635,10 +642,11 @@ node: {title: "t27" label: "class OO_INLINE_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 8f719dd..a862e5d 100644 (file)
@@ -936,10 +936,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -985,11 +986,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -997,21 +999,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -1055,11 +1059,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -1118,10 +1123,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -1131,11 +1137,12 @@ node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -1145,10 +1152,11 @@ node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 113107d..e05cca4 100644 (file)
@@ -381,11 +381,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -394,11 +395,12 @@ edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -448,10 +450,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -476,11 +479,12 @@ node: {title: "e17" label: "ent a" color: yellow
 }
 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -523,11 +527,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -618,10 +623,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -631,11 +637,12 @@ node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -645,10 +652,11 @@ node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 2fee848..9991019 100644 (file)
@@ -59,11 +59,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -72,11 +73,12 @@ edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -126,10 +128,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -154,11 +157,12 @@ node: {title: "e17" label: "ent a" color: yellow
 }
 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -201,11 +205,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -296,10 +301,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -309,11 +315,12 @@ node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -323,10 +330,11 @@ node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index e015959..9516498 100644 (file)
@@ -763,10 +763,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -812,11 +813,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -824,21 +826,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -882,11 +886,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -945,10 +950,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -958,11 +964,12 @@ node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -972,10 +979,11 @@ node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 13e6b4e..92ae3c7 100644 (file)
@@ -338,11 +338,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -351,11 +352,12 @@ edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: gree
 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -405,10 +407,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -433,11 +436,12 @@ node: {title: "e17" label: "ent a" color: yellow
 }
 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -480,11 +484,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -575,10 +580,11 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -588,11 +594,12 @@ node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type
   return types: 1
     int
   parameter types: 0
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -602,10 +609,11 @@ node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index e5e6f59..da4a52b 100644 (file)
@@ -341,10 +341,11 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -390,11 +391,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -402,21 +404,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA_INLINE (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -460,11 +464,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -476,10 +481,11 @@ node: {title: "t84" label: "class cframe_tp" info1: "class type cframe_tp (84)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index b8626b1..1749cec 100644 (file)
@@ -272,10 +272,11 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -321,11 +322,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -333,21 +335,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA_INLINE (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -391,11 +395,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -407,10 +412,11 @@ node: {title: "t61" label: "class set_aframe_tp" info1: "class type set_aframe_t
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index ab6a62f..2270ae6 100644 (file)
@@ -340,10 +340,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -389,11 +390,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -401,21 +403,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -459,11 +463,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -475,10 +480,11 @@ node: {title: "t84" label: "class cframe_tp" info1: "class type cframe_tp (84)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 9fdebe5..0655323 100644 (file)
@@ -114,10 +114,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -163,11 +164,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -175,21 +177,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -233,11 +237,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -249,10 +254,11 @@ node: {title: "t84" label: "class cframe_tp" info1: "class type cframe_tp (84)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index c611ff8..423dcbe 100644 (file)
@@ -300,10 +300,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -349,11 +350,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -361,21 +363,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -419,11 +423,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -435,10 +440,11 @@ node: {title: "t84" label: "class cframe_tp" info1: "class type cframe_tp (84)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 4b4f191..7396409 100644 (file)
@@ -310,10 +310,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -359,11 +360,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -371,21 +373,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -429,11 +433,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -445,10 +450,11 @@ node: {title: "t61" label: "class set_aframe_tp" info1: "class type set_aframe_t
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 164b063..94056bc 100644 (file)
@@ -114,10 +114,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -163,11 +164,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -175,21 +177,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -233,11 +237,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -249,10 +254,11 @@ node: {title: "t61" label: "class set_aframe_tp" info1: "class type set_aframe_t
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index ca2af8e..a11068e 100644 (file)
@@ -272,10 +272,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
@@ -321,11 +322,12 @@ node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -333,21 +335,23 @@ edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: gree
 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
   points to PRIMA (15)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      Is,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+  dbg info:   (nil),
 
 
 "}
@@ -391,11 +395,12 @@ node: {title: "t21" label: "method c" info1: "method type c (21)
   parameter types: 2
     class_prima_ptr
     int
-  state:     layout_fixed,
-  size:      32 Bits,
-  alignment: 32 Bits,
-  mode:      P,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+  dbg info:   (nil),
 
 
 "}
@@ -407,10 +412,11 @@ node: {title: "t61" label: "class set_aframe_tp" info1: "class type set_aframe_t
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment:  0 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:   0 Bits,
+  dbg info:   (nil),
 
 
 " color: green}
index 5fc9b52..5b653b1 100644 (file)
@@ -97,10 +97,11 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
   supertypes:
   subtypes:
   peculiarity: peculiarity_existent
-  state:     layout_undefined,
-  size:      -1 Bits,
-  alignment: 32 Bits,
-  dbg info:  (nil),
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+  dbg info:   (nil),
 
 
 " color: green}