|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.ValueNumber
public class 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.
ValueNumberAnalysis
Field Summary | |
---|---|
(package private) int |
flags
Flags representing meta information about the value. |
(package private) int |
number
The value number. |
static int |
RETURN_VALUE
Flag specifying that this value was the return value of a called method. |
Constructor Summary | |
---|---|
ValueNumber(int number)
Constructor. |
Method Summary | |
---|---|
int |
compareTo(ValueNumber other)
|
int |
getFlags()
|
int |
getNumber()
|
boolean |
hasFlag(int flag)
|
void |
setFlag(int flag)
|
void |
setFlags(int flags)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
int number
int flags
public static final int RETURN_VALUE
Constructor Detail |
---|
ValueNumber(int number)
number
- the value numberMethod Detail |
---|
public int getNumber()
public int getFlags()
public void setFlags(int flags)
public void setFlag(int flag)
public boolean hasFlag(int flag)
public java.lang.String toString()
toString
in class java.lang.Object
public int compareTo(ValueNumber other)
compareTo
in interface java.lang.Comparable<ValueNumber>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |