Class StackDepth

java.lang.Object
edu.umd.cs.findbugs.ba.StackDepth

public class StackDepth extends Object
Dataflow fact to represent the depth of the Java operand stack.
See Also:
  • Constructor Details

    • StackDepth

      public StackDepth(int depth)
      Constructor.
      Parameters:
      depth - the stack depth
  • Method Details

    • getDepth

      public int getDepth()
      Get the stack depth.
    • setDepth

      public void setDepth(int depth)
      Set the stack depth.
    • toString

      public String toString()
      Overrides:
      toString in class Object