Package edu.umd.cs.findbugs.ba.vna

Class ValueNumberSourceInfo

java.lang.Object

edu.umd.cs.findbugs.ba.vna.ValueNumberSourceInfo

public abstract class ValueNumberSourceInfo
extends Object

Helper methods to find out information about the source of the value represented by a given ValueNumber.

Author:

Bill Pugh, David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
ValueNumberSourceInfo()

Method Summary

Modifier and Type	Method	Description
static BugAnnotation	findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, String partialRole)
static FieldAnnotation	findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static LocalVariableAnnotation	findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static BugAnnotation	findRequiredAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame, String partialRole)
static XField	findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)
static BugAnnotation	getFromValueNumber(ClassContext classContext, org.apache.bcel.classfile.Method method, Location location, int stackPos)

Methods inherited from class java.lang.Object

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

Constructor Details

ValueNumberSourceInfo

public ValueNumberSourceInfo()

Method Details

findAnnotationFromValueNumber

@CheckForNull
public static BugAnnotation findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame,
 @CheckForNull
 String partialRole)

Parameters:

method -

location -

valueNumber -

vnaFrame -

partialRole - TODO

Returns:

the annotation

findRequiredAnnotationFromValueNumber

@Nonnull
public static BugAnnotation findRequiredAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame,
 @CheckForNull
 String partialRole)

Parameters:

method -

location -

valueNumber -

vnaFrame -

partialRole - TODO

Returns:

the annotation

findLocalAnnotationFromValueNumber

public static LocalVariableAnnotation findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

findFieldAnnotationFromValueNumber

public static FieldAnnotation findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

findXFieldFromValueNumber

public static XField findXFieldFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

getFromValueNumber

@CheckForNull
public static BugAnnotation getFromValueNumber(ClassContext classContext,
 org.apache.bcel.classfile.Method method,
 Location location,
 int stackPos)
                                        throws DataflowAnalysisException,
CFGBuilderException

Parameters:

classContext -

method -

location -

stackPos -

Throws:

DataflowAnalysisException

CFGBuilderException