Package EDU.purdue.cs.bloat.tree

Class ZeroCheckExpr

java.lang.Object

EDU.purdue.cs.bloat.tree.Node

EDU.purdue.cs.bloat.tree.Expr

EDU.purdue.cs.bloat.tree.CheckExpr

EDU.purdue.cs.bloat.tree.ZeroCheckExpr

All Implemented Interfaces:

java.lang.Cloneable

public class ZeroCheckExpr
extends CheckExpr

ZeroCheckExpr represents a check for a zero value. For instance, when a division operation is performed. a ZeroCheckExpr is inserted to ensure that the divisor is not zero. It is used when division is performed (idiv, ldiv) a remainder is taken (irem, lrem), or a field is accessed (getfield, putfield

Field Summary

Fields inherited from class EDU.purdue.cs.bloat.tree.Expr

type

Fields inherited from class EDU.purdue.cs.bloat.tree.Node

parent

Constructor Summary

Constructors

Constructor	Description
ZeroCheckExpr(Expr expr, Type type)	Constructor.

Method Summary

Modifier and Type	Method	Description
java.lang.Object	clone()
boolean	equalsExpr(Expr other)	Compares this expression to another.
void	visit(TreeVisitor visitor)

Methods inherited from class EDU.purdue.cs.bloat.tree.CheckExpr

expr, exprHashCode, visitForceChildren

Methods inherited from class EDU.purdue.cs.bloat.tree.Expr

cleanupOnly, comparator, copyInto, def, isDef, setDef, setType, stmt, type

Methods inherited from class EDU.purdue.cs.bloat.tree.Node

block, cleanup, copyInto, hasParent, key, parent, replaceWith, replaceWith, setKey, setParent, setValueNumber, toString, valueNumber, visitChildren, visitOnly

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ZeroCheckExpr

public ZeroCheckExpr(Expr expr,
                     Type type)

Constructor.

Parameters:

expr - The expression to check for a zero value.

type - The type of this expression.

Method Detail

visit

public void visit(TreeVisitor visitor)

Specified by:

visit in class Node

equalsExpr

public boolean equalsExpr(Expr other)

Description copied from class: Expr

Compares this expression to another.

Overrides:

equalsExpr in class CheckExpr

Parameters:

other - Expr to which to compare this.

clone

public java.lang.Object clone()

Specified by:

clone in class Expr