Class LocalVariables

java.lang.Object
org.apache.bcel.verifier.structurals.LocalVariables

public class LocalVariables extends Object
This class implements an array of local variables used for symbolic JVM simulation.
  • Constructor Summary

    Constructors
    Constructor
    Description
    LocalVariables(int maxLocals)
    Creates a new LocalVariables object.
  • Method Summary

    Modifier and Type
    Method
    Description
    protected Object
    Returns a deep copy of this object; i.e.
    boolean
     
    get(int i)
    Returns the type of the local variable slot i.
    Returns a (correctly typed) clone of this object.
    int
     
    void
    Replaces all occurences of u in this local variables set with an "initialized" ObjectType.
    int
    Returns the number of local variable slots this LocalVariables instance has.
    void
    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.
    Returns a String representation of this object.

    Methods inherited from class java.lang.Object

    finalize, getClass, notify, notifyAll, wait, wait, wait
  • Constructor Details

    • LocalVariables

      public LocalVariables(int maxLocals)
      Creates a new LocalVariables object.
  • Method Details

    • 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.
      Overrides:
      clone in class Object
    • 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()).
    • maxLocals

      public int maxLocals()
      Returns the number of local variable slots this LocalVariables instance has.
    • set

      public void set(int i, Type type)
      Sets a new Type for the given local variable slot.
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
      Returns:
      a hash code value for the object.
    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object
    • 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.
    • toString

      public String toString()
      Returns a String representation of this object.
      Overrides:
      toString in class Object
    • initializeObject

      public void initializeObject(UninitializedObjectType u)
      Replaces all occurences of u in this local variables set with an "initialized" ObjectType.