Class FieldAccess

java.lang.Object

edu.umd.cs.findbugs.ba.bcp.PatternElement

edu.umd.cs.findbugs.ba.bcp.SingleInstruction

edu.umd.cs.findbugs.ba.bcp.FieldAccess

Direct Known Subclasses:

Load, Store

public abstract class FieldAccess
extends SingleInstruction

Base class for Load and Store PatternElements. Handles some of the grunt work of representing fields and extracting field values from the stack frame.

See Also:

• Load
• Store

Field Summary

Fields

Modifier and Type	Field	Description
private final String	fieldVarName
private final String	valueVarName

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FieldAccess(String fieldVarName, String valueVarName)	Constructor.

Method Summary

Modifier and Type	Method	Description
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(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg)	Return whether the given FieldInstruction accesses a long or double field.
protected static Variable	snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame frame)	Get a Variable representing the stack value which will either be stored into or loaded from a field.

Methods inherited from class SingleInstruction

acceptBranch, maxOccur, minOccur

Methods inherited from class PatternElement

addOrCheckDefinition, allowTrailingEdges, dominatedBy, getDominatedBy, getLabel, getNext, label, lookup, match, setAllowTrailingEdges, setIndex, setNext, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

fieldVarName

private final String fieldVarName

valueVarName

private final String valueVarName

Constructor Details

FieldAccess

protected FieldAccess(String fieldVarName,
 String valueVarName)

Constructor.

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

Method Details

checkConsistent

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.

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 unsuccessful

isLongOrDouble

protected static boolean isLongOrDouble(org.apache.bcel.generic.FieldInstruction fieldIns,
 org.apache.bcel.generic.ConstantPoolGen cpg)

Return whether the given FieldInstruction accesses a long or double field.

Parameters:

fieldIns - the FieldInstruction

cpg - the ConstantPoolGen for the method

snarfFieldValue

protected static Variable snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns,
 org.apache.bcel.generic.ConstantPoolGen cpg,
 ValueNumberFrame frame)
                                   throws DataflowAnalysisException

Get a Variable representing the stack value which will either be stored into or loaded from a field.

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

Throws:

DataflowAnalysisException