01: /*
02: * Bytecode Analysis Framework
03: * Copyright (C) 2003,2004 University of Maryland
04: *
05: * This library is free software; you can redistribute it and/or
06: * modify it under the terms of the GNU Lesser General Public
07: * License as published by the Free Software Foundation; either
08: * version 2.1 of the License, or (at your option) any later version.
09: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library; if not, write to the Free Software
17: * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18: */
19:
20: package edu.umd.cs.findbugs.ba;
21:
22: /**
23: * Dataflow fact to represent the depth of the Java operand stack.
24: *
25: * @see StackDepthAnalysis
26: */
27: public class StackDepth {
28: private int depth;
29:
30: /**
31: * Constructor.
32: *
33: * @param depth the stack depth
34: */
35: public StackDepth(int depth) {
36: this .depth = depth;
37: }
38:
39: /**
40: * Get the stack depth.
41: */
42: public int getDepth() {
43: return depth;
44: }
45:
46: /**
47: * Set the stack depth.
48: */
49: public void setDepth(int depth) {
50: this .depth = depth;
51: }
52:
53: @Override
54: public String toString() {
55: if (getDepth() == StackDepthAnalysis.TOP)
56: return "[TOP]";
57: else if (getDepth() == StackDepthAnalysis.BOTTOM)
58: return "[BOTTOM]";
59: else
60: return "[" + String.valueOf(depth) + "]";
61: }
62: }
63:
64: // vim:ts=4
|