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:
- FlowSet
- Enclosing class:
- UnreachableCodeFinder
- public class UnreachableCodeFinder.UnreachableCodeFlowSet
- extends DavaFlowSet
Fields inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet |
elements |
Method Summary |
Object |
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 |
UnreachableCodeFinder.UnreachableCodeFlowSet
public UnreachableCodeFinder.UnreachableCodeFlowSet()
clone
public Object 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