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: * UPExpr represents an update check opcode which checks the persistent store to
27: * determine if a variable needs to be updated.
28: */
29: public class UCExpr extends CheckExpr {
30: public static final int POINTER = 1;
31:
32: public static final int SCALAR = 2;
33:
34: int kind;
35:
36: /**
37: * Constructor.
38: *
39: * @param expr
40: * The expression to check to see if it needs to be updated.
41: * @param kind
42: * The kind of expression (POINTER or SCALAR) to be checked.
43: * @param type
44: * The type of this expression.
45: */
46: public UCExpr(final Expr expr, final int kind, final Type type) {
47: super (expr, type);
48: this .kind = kind;
49: }
50:
51: public int kind() {
52: return kind;
53: }
54:
55: public void visit(final TreeVisitor visitor) {
56: visitor.visitUCExpr(this );
57: }
58:
59: public boolean equalsExpr(final Expr other) {
60: return (other instanceof UCExpr) && super .equalsExpr(other)
61: && (((UCExpr) other).kind == kind);
62: }
63:
64: public Object clone() {
65: return copyInto(new UCExpr((Expr) expr.clone(), kind, type));
66: }
67: }
|