org.apache.bcel.verifier.structurals

## Class LocalVariables

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

- All Implemented Interfaces:
    Cloneable

      public class LocalVariables
      extends Object
      implements Cloneable

  This class implements an array of local variables used for symbolic JVM simulation.

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `LocalVariables(int localVariableCount)` Creates a new LocalVariables object.

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `Object` | `clone()` Returns a deep copy of this object; i.e.
    `boolean` | `equals(Object o)`
    `Type` | `get(int slotIndex)` Returns the type of the local variable slot index.
    `LocalVariables` | `getClone()` Returns a (correctly typed) clone of this object.
    `int` | `hashCode()`
    `void` | `initializeObject(UninitializedObjectType uninitializedObjectType)` Replaces all occurrences of `uninitializedObjectType` in this local variables set with an "initialized" ObjectType.
    `int` | `maxLocals()` Returns the number of local variable slots.
    `void` | `merge(LocalVariables localVariable)` Merges two local variables sets as described in the Java Virtual Machine Specification, Second Edition, section 4.9.2, page 146.
    `void` | `set(int slotIndex, Type type)` Sets a new Type for the given local variable slot.
    `String` | `toString()` Returns a String representation of this object.

    - ### Methods inherited from class java.lang.Object

      `finalize, getClass, notify, notifyAll, wait, wait, wait`

- - ### Constructor Detail

    - #### LocalVariables

          public LocalVariables(int localVariableCount)

      Creates a new LocalVariables object.
      Parameters:
        `localVariableCount` - local variable count.

  - ### Method Detail

    - #### clone

          public 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 slotIndex)

      Returns the type of the local variable slot index.
      Parameters:
        `slotIndex` - Slot to look up.
      Returns:
        the type of the local variable slot index.

    - #### getClone

          public LocalVariables getClone()

      Returns a (correctly typed) clone of this object. This is equivalent to ((LocalVariables) this.clone()).
      Returns:
        a (correctly typed) clone of this object.

    - #### maxLocals

          public int maxLocals()

      Returns the number of local variable slots.
      Returns:
        the number of local variable slots.

    - #### set

          public void set(int slotIndex,
                          Type type)

      Sets a new Type for the given local variable slot.
      Parameters:
        `slotIndex` - Target slot index.
        `type` - Type to save at the given slot index.

    - #### 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 localVariable)

      Merges two local variables sets as described in the Java Virtual Machine Specification, Second Edition, section 4.9.2, page 146.
      Parameters:
        `localVariable` - other local variable.

    - #### toString

          public String toString()

      Returns a String representation of this object.
      Overrides:
        `toString` in class `Object`

    - #### initializeObject

          public void initializeObject(UninitializedObjectType uninitializedObjectType)

      Replaces all occurrences of `uninitializedObjectType` in this local variables set with an "initialized" ObjectType.
      Parameters:
        `uninitializedObjectType` - the object to match.

Copyright © 2004–2020 The Apache Software Foundation. All rights reserved.