01: /* Copyright (C) 2004 - 2007 db4objects Inc. http://www.db4o.com
02:
03: This file is part of the db4o open source object database.
04:
05: db4o is free software; you can redistribute it and/or modify it under
06: the terms of version 2 of the GNU General Public License as published
07: by the Free Software Foundation and as clarified by db4objects' GPL
08: interpretation policy, available at
09: http://www.db4o.com/about/company/legalpolicies/gplinterpretation/
10: Alternatively you can write to db4objects, Inc., 1900 S Norfolk Street,
11: Suite 350, San Mateo, CA 94403, USA.
12:
13: db4o is distributed in the hope that it will be useful, but WITHOUT ANY
14: WARRANTY; without even the implied warranty of MERCHANTABILITY or
15: FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16: for more details.
17:
18: You should have received a copy of the GNU General Public License along
19: with this program; if not, write to the Free Software Foundation, Inc.,
20: 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21: package EDU.purdue.cs.bloat.tree;
22:
23: import EDU.purdue.cs.bloat.cfg.*;
24: import EDU.purdue.cs.bloat.editor.*;
25:
26: /**
27: * CatchExpr represents an expression that catches an exception. A CatchExpr is
28: * used when evaluating a method's try-catch blocks when a control flow graph is
29: * constructed.
30: *
31: * @see TryCatch
32: * @see FlowGraph#FlowGraph(MethodEditor)
33: * @see MethodEditor
34: */
35: public class CatchExpr extends Expr {
36: Type catchType;
37:
38: /**
39: * Constructor.
40: *
41: * @param catchType
42: * The type of the exception that is being caught.
43: * @param type
44: * The type of this expression.
45: */
46: public CatchExpr(final Type catchType, final Type type) {
47: super (type);
48: this .catchType = catchType;
49: }
50:
51: public void visitForceChildren(final TreeVisitor visitor) {
52: }
53:
54: public void visit(final TreeVisitor visitor) {
55: visitor.visitCatchExpr(this );
56: }
57:
58: public Type catchType() {
59: return catchType;
60: }
61:
62: public int exprHashCode() {
63: return 8 + type.simple().hashCode() ^ catchType.hashCode();
64: }
65:
66: public boolean equalsExpr(final Expr other) {
67: if (other instanceof CatchExpr) {
68: final CatchExpr c = (CatchExpr) other;
69:
70: if (catchType != null) {
71: return catchType.equals(c.catchType);
72: } else {
73: return c.catchType == null;
74: }
75: }
76:
77: return false;
78: }
79:
80: public Object clone() {
81: return copyInto(new CatchExpr(catchType, type));
82: }
83: }
|