edu.umd.cs.findbugs.ba.vna

Class ValueNumber

public class ValueNumber extends Object implements Comparable<ValueNumber>

A "value number" is a value produced somewhere in a methods. We use value numbers as dataflow values in Frames. When two frame slots have the same value number, then the same value is in both of those slots.

Instances of ValueNumbers produced by the same ValueNumberFactory are unique, so reference equality may be used to determine whether or not two value numbers are the same. In general, ValueNumbers from different factories cannot be compared.

Author: David Hovemeyer

See Also: ValueNumberAnalysis

Field Summary
static intARRAY_VALUE
static intCONSTANT_CLASS_OBJECT
static intPHI_NODE
static intRETURN_VALUE
Flag specifying that this value was the return value of a called method.
Method Summary
intcompareTo(ValueNumber other)
intgetFlags()
intgetNumber()
booleanhasFlag(int flag)
voidsetFlag(int flag)
voidsetFlags(int flags)

Field Detail

ARRAY_VALUE

public static final int ARRAY_VALUE

CONSTANT_CLASS_OBJECT

public static final int CONSTANT_CLASS_OBJECT

PHI_NODE

public static final int PHI_NODE

RETURN_VALUE

public static final int RETURN_VALUE
Flag specifying that this value was the return value of a called method.

Method Detail

compareTo

public int compareTo(ValueNumber other)

getFlags

public int getFlags()

getNumber

public int getNumber()

hasFlag

public boolean hasFlag(int flag)

setFlag

public void setFlag(int flag)

setFlags

public void setFlags(int flags)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.