|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.apache.bcel.verifier.structurals.LocalVariables
public class LocalVariables
This class implements an array of local variables used for symbolic JVM simulation.
Field Summary | |
---|---|
private Type[] |
locals
The Type[] containing the local variable slots. |
Constructor Summary | |
---|---|
LocalVariables(int maxLocals)
Creates a new LocalVariables object. |
Method Summary | |
---|---|
protected java.lang.Object |
clone()
Returns a deep copy of this object; i.e. |
boolean |
equals(java.lang.Object o)
|
Type |
get(int i)
Returns the type of the local variable slot i. |
LocalVariables |
getClone()
Returns a (correctly typed) clone of this object. |
int |
hashCode()
|
void |
initializeObject(UninitializedObjectType u)
Replaces all occurences of u in this local variables set with an "initialized" ObjectType. |
int |
maxLocals()
Returns the number of local variable slots this LocalVariables instance has. |
void |
merge(LocalVariables lv)
Merges two local variables sets as described in the Java Virtual Machine Specification, Second Edition, section 4.9.2, page 146. |
private void |
merge(LocalVariables lv,
int i)
Merges a single local variable. |
void |
set(int i,
Type type)
Sets a new Type for the given local variable slot. |
java.lang.String |
toString()
Returns a String representation of this object. |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private Type[] locals
Constructor Detail |
---|
public LocalVariables(int maxLocals)
Method Detail |
---|
protected java.lang.Object clone()
clone
in class java.lang.Object
public Type get(int i)
public LocalVariables getClone()
public int maxLocals()
public void set(int i, Type type)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public void merge(LocalVariables lv)
private void merge(LocalVariables lv, int i)
merge(LocalVariables)
public java.lang.String toString()
toString
in class java.lang.Object
public void initializeObject(UninitializedObjectType u)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |