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

Field Summary

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

elements

Constructor Summary

CPFlowSet()

CPFlowSet(CPFlowSet other)

Method Summary

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

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

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