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: * <tt>ArrayLengthExpr</tt> represents the <i>arraylength</i> opcode which
27: * gets length of an array.
28: */
29: public class ArrayLengthExpr extends Expr {
30: Expr array;
31:
32: /**
33: * Constructor.
34: *
35: * @param array
36: * Array whose length is sought.
37: * @param type
38: * The type of this expression.
39: */
40: public ArrayLengthExpr(final Expr array, final Type type) {
41: super (type);
42: this .array = array;
43: array.setParent(this );
44: }
45:
46: public Expr array() {
47: return array;
48: }
49:
50: public void visitForceChildren(final TreeVisitor visitor) {
51: if (visitor.reverse()) {
52: array.visit(visitor);
53: } else {
54: array.visit(visitor);
55: }
56: }
57:
58: public void visit(final TreeVisitor visitor) {
59: visitor.visitArrayLengthExpr(this );
60: }
61:
62: public int exprHashCode() {
63: return 3 + array.exprHashCode() ^ type.simple().hashCode();
64: }
65:
66: public boolean equalsExpr(final Expr other) {
67: return (other != null) && (other instanceof ArrayLengthExpr)
68: && ((ArrayLengthExpr) other).array.equalsExpr(array);
69: }
70:
71: public Object clone() {
72: return copyInto(new ArrayLengthExpr((Expr) array.clone(), type));
73: }
74: }
|