edu.umd.cs.findbugs.ba
Class StackDepth

java.lang.Object
  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

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

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