public class Value
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.Object |
NO_VAL |
static Value |
V_UNDEFINED |
| Modifier and Type | Method and Description |
|---|---|
int |
category() |
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
getConstVal() |
int[] |
getCreationSites() |
int |
getNumSites() |
java.lang.String |
getTypeDesc() |
int |
hashCode() |
boolean |
isCategory1() |
boolean |
isCategory2() |
boolean |
isConstant() |
static Value |
make(int pos,
java.lang.String desc)
create a new Value with the given position and type and no constant value
|
static Value |
make(int pos,
java.lang.String desc,
java.lang.Object aConstVal)
create a new Value
|
Value |
merge(Detector det,
Value other)
Produces a new value (if necessary), if the instructions are different or
the types are different.
|
java.lang.String |
toString() |
public static java.lang.Object NO_VAL
public static Value V_UNDEFINED
public int getNumSites()
public int[] getCreationSites()
public java.lang.String getTypeDesc()
public java.lang.Object getConstVal()
public Value merge(Detector det, Value other)
vb - public boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic static Value make(int pos, java.lang.String desc)
pos - the position in the method for the corresponding instruction, or a unique value for method paramsdesc - the type descriptorpublic static Value make(int pos, java.lang.String desc, java.lang.Object aConstVal)
pos - the position in the method for the corresponding instruction, or a unique value for method paramsdesc - the type descriptoraConstVal - the constant valuepublic boolean isCategory2()
public boolean isCategory1()
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isConstant()
public int category()