edu.umd.cs.findbugs.ba

Class StackDepth

public class StackDepth extends Object

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

Constructor Summary
	StackDepth(int depth) Constructor.

Method Summary
int	getDepth() Get the stack depth.
void	setDepth(int depth) Set the stack depth.

Constructor Detail

public StackDepth(int depth)

Constructor.

Parameters: depth the stack depth

public int getDepth()

Get the stack depth.

public void setDepth(int depth)

Set the stack depth.