soot.dava.toolkits.base.AST.structuredAnalysis
Class CPFlowSet
java.lang.Object
soot.toolkits.scalar.AbstractFlowSet
soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet
soot.dava.toolkits.base.AST.structuredAnalysis.CPFlowSet
- All Implemented Interfaces:
- Iterable, FlowSet
public class CPFlowSet
- 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, union |
CPFlowSet
public CPFlowSet()
CPFlowSet
public CPFlowSet(CPFlowSet other)
contains
public Object contains(String className,
String localOrField)
addIfNotPresent
public void addIfNotPresent(CPTuple newTuple)
addIfNotPresentButDontUpdate
public void addIfNotPresentButDontUpdate(CPTuple newTuple)
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
clone
public CPFlowSet clone()
- Description copied from interface:
FlowSet
- Clones the current FlowSet.
- Specified by:
clone in interface FlowSet- Overrides:
clone in class DavaFlowSet
toString
public String toString()
- Overrides:
toString in class DavaFlowSet