Example #1
0
  @Override
  protected void merge(Object in1, Object in2, Object out) {

    FlowSet inSet1 = (FlowSet) in1, inSet2 = (FlowSet) in2, outSet = (FlowSet) out;
    inSet1.union(inSet2, outSet);

    //		 System.out.println("inset1: " + inSet1 + "\ninset2: " + inSet2 + "\noutset: " + outSet);
  }
Example #2
0
 public FlowSet getFlowBeforeEnd() {
   FlowSet inEnd = new ArraySparseSet();
   List<Unit> tails = g.getTails();
   for (Unit u : tails) {
     if (!(u instanceof ThrowStmt)) { // TODO verify this
       inEnd.union((FlowSet) getFlowBefore(u));
     }
   }
   return inEnd;
 }
 /*
  * (non-Javadoc)
  *
  * @see soot.toolkits.scalar.AbstractFlowAnalysis#merge(java.lang.Object, java.lang.Object, java.lang.Object)
  */
 @Override
 protected void merge(FlowSet source1, FlowSet source2, FlowSet dest) {
   source1.union(source2, dest);
 }