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: * ZeroCheckExpr represents a check for a zero value. For instance, when a
27: * division operation is performed. a ZeroCheckExpr is inserted to ensure that
28: * the divisor is not zero. It is used when division is performed (<i>idiv</i>,
29: * <i>ldiv</i>) a remainder is taken (<i>irem</i>, <i>lrem</i>), or a field
30: * is accessed (<i>getfield</i>, <i>putfield</i).
31: */
32: public class ZeroCheckExpr extends CheckExpr {
33: /**
34: * Constructor.
35: *
36: * @param expr
37: * The expression to check for a zero value.
38: * @param type
39: * The type of this expression.
40: */
41: public ZeroCheckExpr(final Expr expr, final Type type) {
42: super (expr, type);
43: }
44:
45: public void visit(final TreeVisitor visitor) {
46: visitor.visitZeroCheckExpr(this );
47: }
48:
49: public boolean equalsExpr(final Expr other) {
50: return (other instanceof ZeroCheckExpr)
51: && super .equalsExpr(other);
52: }
53:
54: public Object clone() {
55: return copyInto(new ZeroCheckExpr((Expr) expr.clone(), type));
56: }
57: }
|