Commit 3fb44bc1 authored by FIRM Projekt Account's avatar FIRM Projekt Account
Browse files

Dumper changed: a new edge class 'postdominator' added

[r7217]
parent 8859e671
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
......@@ -5,13 +5,7 @@ manhattan_edges: yes
port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
......@@ -22,6 +16,13 @@ classname 9: "Points-to"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
classname 13: "Control Flow"
classname 14: "intrablock Memory"
classname 15: "Dominators"
classname 16: "interblock Data"
classname 17: "interblock Memory"
classname 18: "Exception Control Flow for Interval Analysis"
classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
infoname 3: "Debug info"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment