edu.umd.cs.findbugs.ba.deref
public class UnconditionalValueDerefSet extends Object
Constructor Summary | |
---|---|
UnconditionalValueDerefSet(int numValueNumbersInMethod)
Constructor.
|
Method Summary | |
---|---|
void | addDeref(ValueNumber vn, Location location)
Mark a value as being dereferenced at given Location.
|
void | cleanDerefSet(Location location, ValueNumberFrame vnaFrame) |
void | clearDerefSet(ValueNumber value)
Clear the set of dereferences for given ValueNumber
|
int | getLastUpdateTimestamp() |
Set<Location> | getUnconditionalDerefLocationSet(ValueNumber vn)
Get the set of Locations where given value is guaranteed to be dereferenced.
|
Set<ValueNumber> | getValueNumbersThatAreUnconditionallyDereferenced() |
boolean | isBottom()
Is this the bottom value?
|
boolean | isEmpty() |
boolean | isSameAs(UnconditionalValueDerefSet otherFact)
Return whether or not this dataflow fact is identical
to the one given.
|
boolean | isTop()
Is this the top value?
|
boolean | isUnconditionallyDereferenced(ValueNumber vn)
Return whether or not the given value number is unconditionally dereferenced.
|
void | makeSameAs(UnconditionalValueDerefSet source)
Make this dataflow fact the same as the given one.
|
void | mergeWith(UnconditionalValueDerefSet fact, ValueNumber skipMe, ValueNumberFactory valueNumberFactory)
Merge given dataflow fact into this one.
|
void | retainOnlyTheseValueNumbers(Collection<ValueNumber> valueNumbers) |
void | setDerefSet(ValueNumber vn, Set<Location> derefSet)
Set a value as being unconditionally dereferenced at the
given set of locations.
|
void | setIsBottom()
Make this dataflow fact the bottom value. |
void | setIsTop()
Make this dataflow fact the top value. |
void | setLastUpdateTimestamp(int lastUpdateTimestamp) |
void | unionWith(UnconditionalValueDerefSet fact, ValueNumberFactory valueNumberFactory) |
Parameters: numValueNumbersInMethod number of distinct value numbers in method
Parameters: vn the value location the Location
Parameters: location vnaFrame
Parameters: value the ValueNumber
Returns: Returns the lastUpdateTimestamp.
Parameters: vn the value
Returns: set of Locations, one of which will definitely be reached if non-implicit-exception control paths are followed
Returns: true if this is the bottom value, false otherwise
Returns:
Parameters: otherFact another dataflow fact
Returns: true if the other dataflow fact is identical to this one, false otherwise
Returns: true if this is the top value, false otherwise
Parameters: vn the value number
Returns: true if the value is unconditionally dereferenced, false otherwise
Parameters: source another dataflow fact
Parameters: fact another dataflow fact skipMe TODO
Parameters: vn the value derefSet the Set of dereference Locations
Parameters: lastUpdateTimestamp The lastUpdateTimestamp to set.