public boolean forceRemove(Object o) { return super.remove(o); }
pred_intersection.remove(pid);
public boolean remove_Child(SETNode child, IterableSet children) { if ((this == child) || (children.contains(child) == false)) { return false; } children.remove(child); child.parent = null; return true; }
public SETDoWhileNode(AugmentedStmt characterizingStmt, AugmentedStmt entryPoint, IterableSet body) { super(characterizingStmt, body); this.entryPoint = entryPoint; IterableSet subBody = (IterableSet) body.clone(); subBody.remove(characterizingStmt); add_SubBody(subBody); }
public SETWhileNode(AugmentedStmt characterizingStmt, IterableSet body) { super(characterizingStmt, body); IterableSet subBody = (IterableSet) body.clone(); subBody.remove(characterizingStmt); add_SubBody(subBody); }
private void removeOtherDominatedStmts(IterableSet synchBody, AugmentedStmt sas) { ArrayList toRemove = new ArrayList(); Iterator it = synchBody.iterator(); while (it.hasNext()) { AugmentedStmt as = (AugmentedStmt) it.next(); IterableSet doms = as.get_Dominators(); if (doms.contains(sas)) { // System.out.println("\n\nstmt:"+as+" is dominated by removed stmt"+sas); toRemove.add(as); } } it = toRemove.iterator(); while (it.hasNext()) { AugmentedStmt as = (AugmentedStmt) it.next(); // System.out.println("Removed dominated stmt: "+as); synchBody.remove(as); } }
protected void remove_AugmentedStmt(AugmentedStmt as) { IterableSet childChain = body2childChain.remove(body); if (body instanceof UnmodifiableIterableSet) { ((UnmodifiableIterableSet<AugmentedStmt>) body).forceRemove(as); } else { body.remove(as); } if (childChain != null) { body2childChain.put(body, childChain); } for (IterableSet subBody : subBodies) { if (subBody.contains(as)) { childChain = body2childChain.remove(subBody); if (subBody instanceof UnmodifiableIterableSet) { ((UnmodifiableIterableSet<AugmentedStmt>) subBody).forceRemove(as); } else { subBody.remove(as); } if (childChain != null) { body2childChain.put(subBody, childChain); } return; } } }
cit = catchBodies.iterator(); while (cit.hasNext()) { passingSet.remove(tryNode.get_ExceptionMap().get(cit.next()));
body.remove(head);