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:

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, putfieldinvalid input: '<'/i).

Field Summary

Fields inherited from class Expr

type

Fields inherited from class Node

parent

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class CheckExpr

expr, exprHashCode, visitForceChildren

Methods inherited from class Expr

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

Methods inherited from class Node

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

Methods inherited from class Object

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

Constructor Details

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 Details

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 Object clone()

Specified by:

clone in class Expr