Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> apache >> bcel >> verifier >> [ structurals overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

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.

Version:

$Id: LocalVariables.java 386056 2006-03-15 11:31:56Z tcurdt $

---

Field Summary
private  org.apache.bcel.generic.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)           Determine whether this Object is semantically equal to another Object.
org.apache.bcel.generic.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()           Get a value that represents this Object, as uniquely as possible within the confines of an int.
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, org.apache.bcel.generic.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

locals

private org.apache.bcel.generic.Type[] locals

The Type[] containing the local variable slots.

Constructor Detail

LocalVariables

public LocalVariables(int maxLocals)

Creates a new LocalVariables object.

Method Detail

clone

protected java.lang.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.

---

get

public org.apache.bcel.generic.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()).

---

maxLocals

public int maxLocals()

Returns the number of local variable slots this LocalVariables instance has.

---

set

public void set(int i,
                org.apache.bcel.generic.Type type)

Sets a new Type for the given local variable slot.

---

hashCode

public int hashCode()

Description copied from class: java.lang.Object

Get a value that represents this Object, as uniquely as possible within the confines of an int.

There are some requirements on this method which subclasses must follow:

• Semantic equality implies identical hashcodes. In other words, if a.equals(b) is true, then a.hashCode() == b.hashCode() must be as well. However, the reverse is not necessarily true, and two objects may have the same hashcode without being equal.
• It must be consistent. Whichever value o.hashCode() returns on the first invocation must be the value returned on all later invocations as long as the object exists. Notice, however, that the result of hashCode may change between separate executions of a Virtual Machine, because it is not invoked on the same object.

Notice that since hashCode is used in java.util.Hashtable and other hashing classes, a poor implementation will degrade the performance of hashing (so don't blindly implement it as returning a constant!). Also, if calculating the hash is time-consuming, a class may consider caching the results.

The default implementation returns System.identityHashCode(this)

---

equals

public boolean equals(java.lang.Object o)

Description copied from class: java.lang.Object

Determine whether this Object is semantically equal to another Object.

There are some fairly strict requirements on this method which subclasses must follow:

• It must be transitive. If a.equals(b) and b.equals(c), then a.equals(c) must be true as well.
• It must be symmetric. a.equals(b) and b.equals(a) must have the same value.
• It must be reflexive. a.equals(a) must always be true.
• It must be consistent. Whichever value a.equals(b) returns on the first invocation must be the value returned on all later invocations.
• a.equals(null) must be false.
• It must be consistent with hashCode(). That is, a.equals(b) must imply a.hashCode() == b.hashCode(). The reverse is not true; two objects that are not equal may have the same hashcode, but that has the potential to harm hashing performance.

This is typically overridden to throw a java.lang.ClassCastException if the argument is not comparable to the class performing the comparison, but that is not a requirement. It is legal for a.equals(b) to be true even though a.getClass() != b.getClass(). Also, it is typical to never cause a java.lang.NullPointerException.

In general, the Collections API (java.util) use the equals method rather than the == operator to compare objects. However, java.util.IdentityHashMap is an exception to this rule, for its own good reasons.

The default implementation returns this == o.

---

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.

---

toString

public java.lang.String toString()

Returns a String representation of this object.

---

initializeObject

public void initializeObject(UninitializedObjectType u)

Replaces all occurences of u in this local variables set with an "initialized" ObjectType.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> apache >> bcel >> verifier >> [ structurals overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---