|
|||||||||
| 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 number| Method 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.Objectpublic 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 | ||||||||