Class StackDepth

java.lang.Object

edu.umd.cs.findbugs.ba.StackDepth

public class StackDepth
extends Object

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

See Also:

• StackDepthAnalysis

Field Summary

Fields

Modifier and Type	Field	Description
private int	depth

Constructor Summary

Constructors

Constructor	Description
StackDepth(int depth)	Constructor.

Method Summary

Modifier and Type	Method	Description
int	getDepth()	Get the stack depth.
void	setDepth(int depth)	Set the stack depth.
String	toString()

Methods inherited from class Object

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

Field Details

depth

private int depth

Constructor Details

StackDepth

public StackDepth(int depth)

Constructor.

Parameters:

depth - the stack depth

Method Details

getDepth

public int getDepth()

Get the stack depth.

setDepth

public void setDepth(int depth)

Set the stack depth.

toString

public String toString()

Overrides:

toString in class Object