def __init__(self, srcnode, dstnode, cfgedge):
Edge.__init__(self, srcnode, dstnode)
self.cfgedge = cfgedge # will be None within a BB
# For use in handling switch statements:
# the set of gcc.CaseLabelExpr for this edge
self.caselabelexprs = frozenset()
def __init__(self, srcnode, dstnode, cfgedge, sortidx):
Edge.__init__(self, srcnode, dstnode)
self.cfgedge = cfgedge # will be None within a BB
self.sortidx = sortidx
# For use in handling switch statements:
# the set of gcc.CaseLabelExpr for this edge
self.caselabelexprs = frozenset()
def __init__(self, srcnode, dstnode, inneredge):
Edge.__init__(self, srcnode, dstnode)
self.inneredge = inneredge
