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.editor.*;
24:
25: /**
26: * InstanceOfExpr represnts the <i>instanceof</i> opcode which determine if an
27: * object is of a given type.
28: */
29: public class InstanceOfExpr extends CondExpr {
30: // instanceof
31:
32: Expr expr; // Expression (object) whose type we verify
33:
34: Type checkType; // Type to verify against
35:
36: /**
37: * Constructor.
38: *
39: * @param expr
40: * Expression (object) whose type is to be verified.
41: * @param checkType
42: * Type to verify against (That is, is expr of type checkType?)
43: * @param type
44: * Type of this expression.
45: */
46: public InstanceOfExpr(final Expr expr, final Type checkType,
47: final Type type) {
48: super (type);
49: this .expr = expr;
50: this .checkType = checkType;
51:
52: expr.setParent(this );
53: }
54:
55: public Expr expr() {
56: return expr;
57: }
58:
59: public Type checkType() {
60: return checkType;
61: }
62:
63: public void visitForceChildren(final TreeVisitor visitor) {
64: if (visitor.reverse()) {
65: expr.visit(visitor);
66: } else {
67: expr.visit(visitor);
68: }
69: }
70:
71: public void visit(final TreeVisitor visitor) {
72: visitor.visitInstanceOfExpr(this );
73: }
74:
75: public int exprHashCode() {
76: return 12 + expr.exprHashCode();
77: }
78:
79: public boolean equalsExpr(final Expr other) {
80: return (other != null) && (other instanceof InstanceOfExpr)
81: && ((InstanceOfExpr) other).checkType.equals(checkType)
82: && ((InstanceOfExpr) other).expr.equalsExpr(expr);
83: }
84:
85: public Object clone() {
86: return copyInto(new InstanceOfExpr((Expr) expr.clone(),
87: checkType, type));
88: }
89: }
|