colpaars.add(new VarVersionPair(phivar.var, tempver.intValue())); VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, prenode, tempnode); edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, tempnode, phinode); tempnode.addSuccessor(edge); phinode.addPredecessor(edge);
phantomnode.flags |= VarVersionNode.FLAG_PHANTOM_FINEXIT; VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_PHANTOM, exitnode, phantomnode); exitnode.addSuccessor(edge); phantomnode.addPredecessor(edge);
VarVersionNode prenode = ssuversions.nodes.getWithKey(new VarVersionPair(varindex, lastver)); VarVersionNode usenode = ssuversions.createNode(new VarVersionPair(varindex, usever)); VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, prenode, usenode); prenode.addSuccessor(edge); usenode.addPredecessor(edge);
colpaars.add(new VarVersionPair(phivar.var, tempver.intValue())); VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, prenode, tempnode); edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, tempnode, phinode); tempnode.addSuccessor(edge); phinode.addPredecessor(edge);
phantomnode.flags |= VarVersionNode.FLAG_PHANTOM_FINEXIT; VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_PHANTOM, exitnode, phantomnode); exitnode.addSuccessor(edge); phantomnode.addPredecessor(edge);
VarVersionNode prenode = ssuversions.nodes.getWithKey(new VarVersionPair(varindex, lastver)); VarVersionNode usenode = ssuversions.createNode(new VarVersionPair(varindex, usever)); VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, prenode, usenode); prenode.addSuccessor(edge); usenode.addPredecessor(edge);