edu.umd.cs.findbugs.ba.vna
public class ValueNumberFrame extends Frame<ValueNumber> implements ValueNumberAnalysisFeatures
See Also: ValueNumber ValueNumberAnalysis
Field Summary | |
---|---|
boolean | phiNodeForLoads |
Constructor Summary | |
---|---|
ValueNumberFrame(int numLocals) |
Method Summary | |
---|---|
void | addAvailableLoad(AvailableLoad availableLoad, ValueNumber[] value)
Add an available load.
|
String | availableLoadMapAsString() |
boolean | fromMatchingLoads(ValueNumber v1, ValueNumber v2) |
boolean | fuzzyMatch(ValueNumber v1, ValueNumber v2) |
ValueNumber[] | getAvailableLoad(AvailableLoad availableLoad)
Look for an available load.
|
boolean | haveMatchingFlags(ValueNumber v1, ValueNumber v2) |
void | killAllLoads()
Kill all loads.
|
void | killAllLoadsOf(ValueNumber v)
Kill all loads.
|
void | killLoadsOfField(XField field)
Kill all loads of given field.
|
void | killLoadsWithSimilarName(String className, String methodName) |
Collection<ValueNumber> | valueNumbersForLoads() |
Parameters: availableLoad the AvailableLoad (reference and field) value the value(s) loaded
Parameters: availableLoad the AvailableLoad (reference and field)
Returns: the value(s) available, or null if no matching entry is found
Parameters: v1 v2
Returns: true if v1 and v2 have a flag in common
Parameters: field the field