def __init__(self):
Analysis.__init__(self)
self.regions = None
self.region_mask = None
self.enter_mask = None
self.leave_mask = None
self.check_mask = None
self.marker_dataobject = None
def __init__(self, edge_levels = [E.system_level]):
Analysis.__init__(self)
GraphObject.__init__(self, "DominatorTree for [%s]" % repr(edge_levels), root=True)
self.edge_levels = edge_levels
self.blocks = None
self.semi = None
self.idom = None
self.ancestor = None
self.parents = None
self.buckets = None
self.dfs_count = None
self.dfs_block_to_number = None
self.immdom_tree = None
def __init__(self, edge_levels=[E.system_level]):
Analysis.__init__(self)
GraphObject.__init__(self,
"DominatorTree for [%s]" % repr(edge_levels),
root=True)
self.edge_levels = edge_levels
self.blocks = None
self.semi = None
self.idom = None
self.ancestor = None
self.parents = None
self.buckets = None
self.dfs_count = None
self.dfs_block_to_number = None
self.immdom_tree = None
def __init__(self):
Analysis.__init__(self)
self.removed_edges = None
self.state_flow = None
self.sse = None
def __init__(self):
Analysis.__init__(self)
self.merge_stats = self.MergeStatistics()
def __init__(self):
Analysis.__init__(self)
self.prio_to_participant = {}
def __init__(self):
Analysis.__init__(self)
self.values = None
self.__res = None
def __init__(self):
Analysis.__init__(self)
self.values = None
self.__res = None
def __init__(self):
Analysis.__init__(self)
self.abb_info = None
self.assertions_before = None
self.assertions_after = None
def __init__(self):
Analysis.__init__(self)
self.relevant_functions = None
def __init__(self, filename):
Analysis.__init__(self)
self.filename = filename
def __init__(self):
Analysis.__init__(self)
self.abb_info = None
self.assertions_before = None
self.assertions_after = None
def __init__(self):
Analysis.__init__(self)
self.merge_stats = self.MergeStatistics()