edu.umd.cs.findbugs.ba
Class StackDepth

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

public class StackDepth
extends java.lang.Object

Dataflow fact to represent the depth of the Java operand stack.

See Also:
StackDepthAnalysis

Field Summary
private  int depth
           
 
Constructor Summary
StackDepth(int depth)
          Constructor.
 
Method Summary
 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
 

Field Detail

depth

private int depth
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