Ejemplo n.º 1
0
 def __init__(self, icfg, lnt=None):
     DirectedGraph.__init__(self)
     self.__branchDivergence = False
     self.__branchDivergentEdges = []
     self.__entryID = dummyVertexID
     self.__exitID = dummyVertexID
     self.__icfg = icfg
     self.__lnt = lnt
     self.__ipointIDToVertex = {}
     self.__auxiliaryData = _AuxiliaryData()
     self.__visited = {}
     self.__initialise()
     self.__doDepthFirstSearch(self.__icfg.getEntryID())
     self.__addEdgesUsingLNT()
     self.__setEntryAndExit()
     self.setName(icfg.getName())
     del self.__visited
Ejemplo n.º 2
0
 def __init__(self, icfg, lnt=None):
     DirectedGraph.__init__(self)
     self.__branchDivergence = False
     self.__branchDivergentEdges = []
     self.__entryID = dummyVertexID
     self.__exitID = dummyVertexID
     self.__icfg = icfg
     self.__lnt = lnt
     self.__ipointIDToVertex = {}
     self.__auxiliaryData = _AuxiliaryData()
     self.__visited = {}
     self.__initialise()
     self.__doDepthFirstSearch(self.__icfg.getEntryID())
     self.__addEdgesUsingLNT()
     self.__setEntryAndExit()
     self.setName(icfg.getName())
     del self.__visited
Ejemplo n.º 3
0
 def __init__ (self):
     DirectedGraph.__init__(self)
     self._entryID = dummyVertexID
     self._exitID = dummyVertexID
Ejemplo n.º 4
0
 def __init__ (self):
     DirectedGraph.__init__(self)
     self._rootID = dummyVertexID
Ejemplo n.º 5
0
 def __init__(self):
     DirectedGraph.__init__(self)
     self._rootID = dummyVertexID