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

Constructors

Constructor and Description
StackDepth(int depth) Constructor.

Method Summary

Methods

Modifier and Type	Method and 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