edu.umd.cs.findbugs.ba.bcp
public abstract class FieldAccess extends SingleInstruction implements Constants
Constructor Summary | |
---|---|
FieldAccess(String fieldVarName, String valueVarName)
Constructor.
|
Method Summary | |
---|---|
protected MatchResult | checkConsistent(Variable field, Variable value, BindingSet bindingSet)
Check that the Variables determined for the field and the value loaded/stored
are consistent with previous variable definitions.
|
protected static boolean | isLongOrDouble(FieldInstruction fieldIns, ConstantPoolGen cpg)
Return whether the given FieldInstruction accesses a long or double field.
|
protected static Variable | snarfFieldValue(FieldInstruction fieldIns, ConstantPoolGen cpg, ValueNumberFrame frame)
Get a Variable representing the stack value which will either be stored
into or loaded from a field.
|
Parameters: fieldVarName name of the variable to bind to the field valueVarName name of the variable to bind to the value store in or loaded from the field
Parameters: field Variable representing the field value Variable representing the value loaded/stored bindingSet previous definitions
Returns: a MatchResult containing an updated BindingSet if successful, or null if unsucessful
Parameters: fieldIns the FieldInstruction cpg the ConstantPoolGen for the method
Parameters: fieldIns the FieldInstruction accessing the field cpg the ConstantPoolGen for the method frame the ValueNumberFrame containing the value to be stored or the value loaded