org.apache.bcel.verifier.structurals
Class LocalVariables
java.lang.Object
org.apache.bcel.verifier.structurals.LocalVariables
public class LocalVariables
extends java.lang.Object
This class implements an array of local variables used for symbolic JVM
simulation.
$Id: LocalVariables.java 386056 2006-03-15 11:31:56Z tcurdt $private Type[] | locals - The Type[] containing the local variable slots.
|
protected Object | clone() - Returns a deep copy of this object; i.e.
|
boolean | equals(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.
|
String | toString() - Returns a String representation of this object.
|
locals
private Type[] locals
The Type[] containing the local variable slots.
LocalVariables
public LocalVariables(int maxLocals)
Creates a new LocalVariables object.
clone
protected Object clone()
Returns a deep copy of this object; i.e. the clone
operates on a new local variable array.
However, the Type objects in the array are shared.
equals
public boolean equals(Object o)
get
public Type get(int i)
Returns the type of the local variable slot i.
getClone
public LocalVariables getClone()
Returns a (correctly typed) clone of this object.
This is equivalent to ((LocalVariables) this.clone()).
hashCode
public int hashCode()
- a hash code value for the object.
initializeObject
public void initializeObject(UninitializedObjectType u)
Replaces all occurences of u in this local variables set
with an "initialized" ObjectType.
maxLocals
public int maxLocals()
Returns the number of local variable slots this
LocalVariables instance has.
merge
public 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.
merge
private void merge(LocalVariables lv,
int i)
Merges a single local variable.
set
public void set(int i,
Type type)
Sets a new Type for the given local variable slot.
toString
public String toString()
Returns a String representation of this object.