edu.umd.cs.findbugs.ba.vna

Class ValueNumberFrameModelingVisitor

public class ValueNumberFrameModelingVisitor extends AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame> implements Debug, ValueNumberAnalysisFeatures

Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.

Author: David Hovemeyer

Constructor Summary
	ValueNumberFrameModelingVisitor(MethodGen methodGen, ValueNumberFactory factory, ValueNumberCache cache, LoadedFieldSet loadedFieldSet, RepositoryLookupFailureCallback lookupFailureCallback) Constructor.

Method Summary
ValueNumber	getClassObjectValue(String className) Get the ValueNumber for given class's Class object.
void	setHandle(InstructionHandle handle) Set the instruction handle of the instruction currently being visited.

Constructor Detail

ValueNumberFrameModelingVisitor

public ValueNumberFrameModelingVisitor(MethodGen methodGen, ValueNumberFactory factory, ValueNumberCache cache, LoadedFieldSet loadedFieldSet, RepositoryLookupFailureCallback lookupFailureCallback)

Constructor.

Parameters: methodGen the method being analyzed factory factory for ValueNumbers for the method cache cache of input/output transformations for each instruction loadedFieldSet fields loaded/stored by each instruction and entire method lookupFailureCallback callback to use to report class lookup failures

Method Detail

getClassObjectValue

public ValueNumber getClassObjectValue(String className)

Get the ValueNumber for given class's Class object.

Parameters: className the class

setHandle

public void setHandle(InstructionHandle handle)

Set the instruction handle of the instruction currently being visited. This must be called before the instruction accepts this visitor!