soot.dava.toolkits.base.AST.structuredAnalysis

Class CPFlowSet

java.lang.Object

soot.toolkits.scalar.AbstractFlowSet<T>

soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet<CPTuple>

soot.dava.toolkits.base.AST.structuredAnalysis.CPFlowSet

All Implemented Interfaces:

Iterable<CPTuple>, FlowSet<CPTuple>

public class CPFlowSet
extends DavaFlowSet<CPTuple>

Field Summary

Fields inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet

elements

Constructor Summary

Constructors

Constructor and Description
CPFlowSet()
CPFlowSet(CPFlowSet other)

Method Summary

Modifier and Type	Method and Description
void	addIfNotPresent(CPTuple newTuple)
void	addIfNotPresentButDontUpdate(CPTuple newTuple)
CPFlowSet	clone() Clones the current FlowSet.
Object	contains(String className, String localOrField)
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
String	toString()

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, getElementAt, getElementCount, getImplicitBreaks, getImplicitContinues, getImplicitlyBrokenSets, getImplicitlyContinuedSets, internalDataMatchesTo, isEmpty, iterator, remove, remove, size, toList, union

Methods inherited from class soot.toolkits.scalar.AbstractFlowSet

add, difference, hashCode, intersection, isSubSet, remove, union

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

CPFlowSet

public CPFlowSet()

CPFlowSet

public CPFlowSet(CPFlowSet other)

Method Detail

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<CPTuple>

Overrides:

intersection in class DavaFlowSet<CPTuple>

clone

public CPFlowSet clone()

Description copied from interface: FlowSet

Clones the current FlowSet.

Specified by:

clone in interface FlowSet<CPTuple>

Overrides:

clone in class DavaFlowSet<CPTuple>

toString

public String toString()

Overrides:

toString in class DavaFlowSet<CPTuple>