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); }
public SETTryNode(IterableSet body, ExceptionNode en, AugmentedStmtGraph asg, DavaBody davaBody) { super(body); this.en = en; this.asg = asg; this.davaBody = davaBody; add_SubBody(en.get_TryBody()); cb2clone = new HashMap<IterableSet, IterableSet>(); Iterator it = en.get_CatchList().iterator(); while (it.hasNext()) { IterableSet catchBody = (IterableSet) it.next(); IterableSet clone = (IterableSet) catchBody.clone(); cb2clone.put(catchBody, clone); add_SubBody(clone); } getEntryStmt: { entryStmt = null; it = body.iterator(); while (it.hasNext()) { AugmentedStmt as = (AugmentedStmt) it.next(); Iterator pit = as.cpreds.iterator(); while (pit.hasNext()) { if (body.contains(pit.next()) == false) { entryStmt = as; break getEntryStmt; } } } } }
IterableSet passingSet = (IterableSet) tryExceptionSet.clone(); cit = catchBodies.iterator(); while (cit.hasNext()) {
private IterableSet get_BodyApproximation(AugmentedStmt head, IterableSet synchSet) { IterableSet body = (IterableSet) synchSet.clone(); Value local = ((EnterMonitorStmt) head.get_Stmt()).getOp(); Integer level = as2ml.get(head).get(local);
private void find_OtherMethods(SootMethod startingMethod, HashMap<SootMethod, IterableSet> methodMapping, HashMap<SootClass, IterableSet> classMapping, HashSet<SootClass> applicationClasses) { IterableSet worklist = (IterableSet) classMapping.get(startingMethod.getDeclaringClass()).clone();
while (enit.hasNext()) { ExceptionNode en = (ExceptionNode) enit.next(); synchBody = (IterableSet) origSynchBody.clone();