elements
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() |
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
add, difference, hashCode, intersection, isSubSet, remove, union
finalize, getClass, notify, notifyAll, wait, wait, wait
forEach, spliterator
public CPFlowSet()
public CPFlowSet(CPFlowSet other)
public void addIfNotPresent(CPTuple newTuple)
public void addIfNotPresentButDontUpdate(CPTuple newTuple)
public void intersection(FlowSet otherFlow, FlowSet destFlow)
DavaFlowSet
intersection
in interface FlowSet<CPTuple>
intersection
in class DavaFlowSet<CPTuple>
public CPFlowSet clone()
FlowSet
public String toString()
toString
in class DavaFlowSet<CPTuple>