private void calcDefaultReachableSets() { int edgetype = StatEdge.TYPE_REGULAR | StatEdge.TYPE_EXCEPTION; calcReachabilitySuppPoints(edgetype); for (Statement stat : statement.getStats()) { mapExtPostdominators.put(stat.id, factory.spawnEmptySet()); } iterateReachability((node, mapSets) -> { Integer nodeid = node.id; FastFixedSet<Integer> setReachability = mapSets.get(nodeid); for (Integer id : setReachability) { mapExtPostdominators.get(id).add(nodeid); } return false; }, edgetype); }
stackPath.add(factory.spawnEmptySet());
FastFixedSet<Statement> setFlagNodes = factory.spawnEmptySet(); setFlagNodes.setAllElements(); FastFixedSet<Statement> initSet = factory.spawnEmptySet(); initSet.setAllElements(); tmpSet = factory.spawnEmptySet(); tmpSet.addAll(lst); FastFixedSet<Statement> domsSuccs = factory.spawnEmptySet();
FastFixedSet<Integer> setIntersection = factory.spawnEmptySet(); boolean isIntersectionInitialized = false; FastFixedSet<Integer> setHandlers = factory.spawnEmptySet(); boolean handlerfound = false;
FastFixedSet<Integer> set = factory.spawnEmptySet(); set.add(stat.id);
private void calcDefaultReachableSets() { int edgetype = StatEdge.TYPE_REGULAR | StatEdge.TYPE_EXCEPTION; calcReachabilitySuppPoints(edgetype); for (Statement stat : statement.getStats()) { mapExtPostdominators.put(stat.id, factory.spawnEmptySet()); } iterateReachability(new IReachabilityAction() { public boolean action(Statement node, HashMap<Integer, FastFixedSet<Integer>> mapSets) { Integer nodeid = node.id; FastFixedSet<Integer> setReachability = mapSets.get(nodeid); for (Integer id : setReachability) { mapExtPostdominators.get(id).add(nodeid); } return false; } }, edgetype); }
stackPath.add(factory.spawnEmptySet());
FastFixedSet<Statement> setFlagNodes = factory.spawnEmptySet(); setFlagNodes.setAllElements(); FastFixedSet<Statement> initSet = factory.spawnEmptySet(); initSet.setAllElements(); tmpSet = factory.spawnEmptySet(); tmpSet.addAll(lst); FastFixedSet<Statement> domsSuccs = factory.spawnEmptySet();
FastFixedSet<Integer> setIntersection = factory.spawnEmptySet(); boolean isIntersectionInitialized = false;
FastFixedSet<Integer> setHandlers = factory.spawnEmptySet(); boolean handlerfound = false;
FastFixedSet<Integer> set = factory.spawnEmptySet(); set.add(stat.id);