soot.dava.toolkits.base.AST.structuredAnalysis
Class UnreachableCodeFinder.UnreachableCodeFlowSet
java.lang.Object
soot.toolkits.scalar.AbstractFlowSet
soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet
soot.dava.toolkits.base.AST.structuredAnalysis.UnreachableCodeFinder.UnreachableCodeFlowSet
- All Implemented Interfaces:
- Iterable, FlowSet
- Enclosing class:
- UnreachableCodeFinder
public class UnreachableCodeFinder.UnreachableCodeFlowSet
- extends DavaFlowSet
Fields inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet |
elements |
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 |
UnreachableCodeFinder.UnreachableCodeFlowSet
public UnreachableCodeFinder.UnreachableCodeFlowSet()
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