edge.source.removeSuccessor(edge); phinode.removePredecessor(edge); int verssrc = edge.source.preds.iterator().next().source.version; if (!vers.contains(verssrc) && verssrc != ppvers) { edge.source.removeSuccessor(edge); phinode.removePredecessor(edge); VarVersionNode tempnode = new VarVersionNode(phivar.var, tempver); prenode.addSuccessor(edge); tempnode.addPredecessor(edge); tempnode.addSuccessor(edge); phinode.addPredecessor(edge);
exitnode.addSuccessor(edge); phantomnode.addPredecessor(edge);
public VarVersionNode createNode(VarVersionPair ver) { VarVersionNode node; nodes.addWithKey(node = new VarVersionNode(ver.var, ver.version), ver); return node; }
VarVersionNode usenode = ssuversions.createNode(new VarVersionPair(varindex, usever)); VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, prenode, usenode); prenode.addSuccessor(edge); usenode.addPredecessor(edge);
public VarVersionNode createNode(VarVersionPair ver) { VarVersionNode node; nodes.addWithKey(node = new VarVersionNode(ver.var, ver.version), ver); return node; }
edge.source.removeSuccessor(edge); phinode.removePredecessor(edge); int verssrc = edge.source.preds.iterator().next().source.version; if (!vers.contains(verssrc) && verssrc != ppvers) { edge.source.removeSuccessor(edge); phinode.removePredecessor(edge); VarVersionNode tempnode = new VarVersionNode(phivar.var, tempver.intValue()); prenode.addSuccessor(edge); tempnode.addPredecessor(edge); tempnode.addSuccessor(edge); phinode.addPredecessor(edge);
exitnode.addSuccessor(edge); phantomnode.addPredecessor(edge);
VarVersionNode usenode = ssuversions.createNode(new VarVersionPair(varindex, usever)); VarVersionEdge edge = new VarVersionEdge(VarVersionEdge.EDGE_GENERAL, prenode, usenode); prenode.addSuccessor(edge); usenode.addPredecessor(edge);