public SETBasicBlock() { predecessors = new IterableSet(); successors = new IterableSet(); body = new IterableSet(); entryNode = exitNode = null; priority = -1; }
public ExceptionNode(IterableSet<AugmentedStmt> tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt) { this.tryBody = tryBody; this.catchBody = null; this.exception = exception; this.handlerAugmentedStmt = handlerAugmentedStmt; body = new IterableSet<AugmentedStmt>(tryBody); dirty = true; exitList = null; catchList = null; catch2except = null; }
public IterableSet get_NaturalExits() { return new IterableSet(); }
public IterableSet<AugmentedStmt> get_ChainView() { return new IterableSet<AugmentedStmt>(aug_list); }
public IterableSet get_NaturalExits() { return new IterableSet(); }
public AugmentedStmt(Stmt s) { this.s = s; dominators = new IterableSet<AugmentedStmt>(); reachers = new IterableSet<AugmentedStmt>(); reset_PredsSuccs(); }
public IterableSet get_ExceptionSet(Object node) { IterableSet fullSet = node2ExceptionSet.get(node); if (fullSet == null) { fullSet = new IterableSet(); node2ExceptionSet.put(node, fullSet); } return fullSet; }
public void add_SubBody(IterableSet body) { subBodies.add(body); body2childChain.put(body, new IterableSet()); }
public AugmentedStmtGraph() { binding = new HashMap<Stmt, AugmentedStmt>(); original2clone = new HashMap<AugmentedStmt, AugmentedStmt>(); aug_list = new IterableSet<AugmentedStmt>(); stmt_list = new IterableSet<Stmt>(); bheads = new LinkedList<AugmentedStmt>(); btails = new LinkedList<AugmentedStmt>(); cheads = new LinkedList<AugmentedStmt>(); ctails = new LinkedList<AugmentedStmt>(); }
public SETNode(IterableSet<AugmentedStmt> body) { this.body = body; parent = null; label = new SETNodeLabel(); subBodies = new LinkedList<IterableSet>(); body2childChain = new HashMap<IterableSet, IterableSet>(); predecessors = new IterableSet(); successors = new IterableSet(); }
public Object clone() { IterableSet<T> s = new IterableSet<T>(); s.addAll(this); return s; }
public IterableSet remove_CurExceptionSet() { IterableSet s = curExceptionSet; set_CurExceptionSet(new IterableSet()); return s; }
public void add_ExceptionSet(Object node, IterableSet s) { IterableSet fullSet = node2ExceptionSet.get(node); if (fullSet == null) { fullSet = new IterableSet(); node2ExceptionSet.put(node, fullSet); } fullSet.addAll(s); }
public IterableSet<T> union(IterableSet<T> other) { if (other == null) { throw new IllegalArgumentException("Cannot set union an IterableSet with \"null\"."); } IterableSet<T> c = new IterableSet<T>(); c.addAll(this); c.addAll(other); return c; }
private IterableSet<AugmentedStmt> get_EntryPoint(IterableSet<AugmentedStmt> nodeList) { IterableSet<AugmentedStmt> entryPoints = new IterableSet<AugmentedStmt>(); for (AugmentedStmt as : nodeList) { for (AugmentedStmt po : as.cpreds) { if (nodeList.contains(po) == false) { entryPoints.add(as); break; } } } return entryPoints; }
public IterableSet get_NaturalExits() { IterableSet c = new IterableSet(); c.add(get_CharacterizingStmt()); return c; }
public IterableSet get_NaturalExits() { IterableSet c = new IterableSet(); c.add(get_CharacterizingStmt()); return c; }
public IterableSet get_NaturalExits() { IterableSet c = new IterableSet(); AugmentedStmt last = (AugmentedStmt) get_Body().getLast(); if ((last.csuccs != null) && (last.csuccs.isEmpty() == false)) { c.add(last); } return c; }
private boolean verify_ESuccs(AugmentedStmt as, IterableSet ref) { IterableSet esuccs = new IterableSet(); esuccs.addAll(as.csuccs); esuccs.removeAll(as.bsuccs); // System.out.println("ESUCCS are:"+esuccs); // System.out.println("ref are:"+ref); return esuccs.equals(ref); }
public IterableSet get_NaturalExits() { IterableSet c = new IterableSet(); IterableSet ifChain = body2childChain.get(ifBody); if (ifChain.isEmpty() == false) { c.addAll(((SETNode) ifChain.getLast()).get_NaturalExits()); } IterableSet elseChain = body2childChain.get(elseBody); if (elseChain.isEmpty() == false) { c.addAll(((SETNode) elseChain.getLast()).get_NaturalExits()); } return c; }