Package edu.umd.cs.findbugs.ba

Class StackDepth

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

    • Constructor Summary

      Constructors 
      Constructor Description
      StackDepth​(int depth)
      Constructor.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getDepth()
      Get the stack depth.
      void setDepth​(int depth)
      Set the stack depth.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • StackDepth

        public StackDepth​(int depth)
        Constructor.
        Parameters:
        depth - the stack depth

    • Method Detail

      • getDepth

        public int getDepth()
        Get the stack depth.

      • setDepth

        public void setDepth​(int depth)
        Set the stack depth.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object