edu.umd.cs.findbugs.ba.vna

Class AvailableLoad

public class AvailableLoad extends Object implements Comparable<AvailableLoad>

An AvailableLoad indicates a field and (optionally) object reference for which a value is available. It is used to implement redundant load elimination and forward substitution in ValueNumberAnalysis. The idea is that programmers often reload fields unnecessarily when they "know" that the value will not change. In order to deduce the intended meaning of such code, our analyses need to figure out that such loads return the same value.

AvailableLoad objects may be used as keys in both hash and tree sets and maps.

Author: David Hovemeyer

See Also: ValueNumberAnalysis

Constructor Summary
	AvailableLoad(StaticField staticField) Constructor from static field.
	AvailableLoad(ValueNumber reference, InstanceField field) Constructor from object reference and instance field.

Method Summary
int	compareTo(AvailableLoad other)
XField	getField() Get the field for which a load is available.
ValueNumber	getReference() Get the ValueNumber of the object reference.
boolean	matchesReference(ValueNumber v)