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,v 1.2 2002/08/02 11:57:51 enver Exp $
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.
|
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.
|
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.
|
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()).
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.
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.