soot.dava.toolkits.base.AST.structuredAnalysis
Class UnreachableCodeFinder.UnreachableCodeFlowSet

java.lang.Object
  extended by soot.toolkits.scalar.AbstractFlowSet
      extended by soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet
          extended by soot.dava.toolkits.base.AST.structuredAnalysis.UnreachableCodeFinder.UnreachableCodeFlowSet
All Implemented Interfaces:
Iterable, FlowSet
Enclosing class:
UnreachableCodeFinder

public class UnreachableCodeFinder.UnreachableCodeFlowSet
extends DavaFlowSet


Field Summary
 
Fields inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet
elements
 
Constructor Summary
UnreachableCodeFinder.UnreachableCodeFlowSet()
           
 
Method Summary
 UnreachableCodeFinder.UnreachableCodeFlowSet clone()
          Clones the current FlowSet.
 void intersection(FlowSet otherFlow, FlowSet destFlow)
          Notice that the intersection method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method
 
Methods inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet
add, addToBreakList, addToContinueList, addToImplicitBreaks, addToImplicitContinues, clear, contains, copy, copyInternalDataFrom, difference, emptySet, equals, getBreakSet, getContinueSet, getImplicitBreaks, getImplicitContinues, getImplicitlyBrokenSets, getImplicitlyContinuedSets, internalDataMatchesTo, isEmpty, remove, size, toList, toString, union
 
Methods inherited from class soot.toolkits.scalar.AbstractFlowSet
add, difference, hashCode, intersection, iterator, remove, union
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

UnreachableCodeFinder.UnreachableCodeFlowSet

public UnreachableCodeFinder.UnreachableCodeFlowSet()
Method Detail

clone

public UnreachableCodeFinder.UnreachableCodeFlowSet clone()
Description copied from interface: FlowSet
Clones the current FlowSet.

Specified by:
clone in interface FlowSet
Overrides:
clone in class DavaFlowSet

intersection

public void intersection(FlowSet otherFlow,
                         FlowSet destFlow)
Description copied from class: DavaFlowSet
Notice that the intersection method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method

Specified by:
intersection in interface FlowSet
Overrides:
intersection in class DavaFlowSet