sandmark.obfuscate.boolsplitter.dtree
Class CheckExpr

java.lang.Object
  |
  +--sandmark.obfuscate.boolsplitter.dtree.Node
        |
        +--sandmark.obfuscate.boolsplitter.dtree.Expr
              |
              +--sandmark.obfuscate.boolsplitter.dtree.CheckExpr

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

RCExpr, UCExpr, ZeroCheckExpr

public abstract class CheckExpr

extends Expr

CheckExpr is a superclass for classes representing a check on an expression. For instance, a CheckExpr is inserted into the tree before the divisor of a divide operation. The CheckExpr checks to make sure that the divisor is not zero.

See Also:

RCExpr, UCExpr, ZeroCheckExpr

Field Summary

(package private) Expr

expr

Fields inherited from class sandmark.obfuscate.boolsplitter.dtree.Expr

B, BARRAY, BOOL, BOOLARRAY, range, type, UNDEF

Fields inherited from class sandmark.obfuscate.boolsplitter.dtree.Node

key, parent, valueNumber

Constructor Summary

CheckExpr(Expr expr, EDU.purdue.cs.bloat.editor.Type type)
Constructor.

Method Summary

boolean	equalsExpr(Expr other) Compares this expression to another.
Expr	expr() Returns the expression being checked.
int	exprHashCode() Returns the hash code for this expresion.
void	visitForceChildren(TreeVisitor visitor) Visit the children of this node.

Methods inherited from class sandmark.obfuscate.boolsplitter.dtree.Expr

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

Methods inherited from class sandmark.obfuscate.boolsplitter.dtree.Node

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

Methods inherited from class java.lang.Object

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

Field Detail

expr

Expr expr

Constructor Detail

CheckExpr

public CheckExpr(Expr expr,
                 EDU.purdue.cs.bloat.editor.Type type)

Constructor.

Parameters:

expr - An expression that is to be checked.

type - The type of this expression.

Method Detail

visitForceChildren

public void visitForceChildren(TreeVisitor visitor)

Description copied from class: Node

Visit the children of this node. Not all Nodes will have children to visit.

Specified by:

visitForceChildren in class Node

expr

public Expr expr()

Returns the expression being checked.

exprHashCode

public int exprHashCode()

Description copied from class: Expr

Returns the hash code for this expresion.

Specified by:

exprHashCode in class Expr

equalsExpr

public boolean equalsExpr(Expr other)

Description copied from class: Expr

Compares this expression to another.

Specified by:

equalsExpr in class Expr

Parameters:

other - Expr to which to compare this.