sandmark.obfuscate.boolsplitter.dtree
Class ZeroCheckExpr

java.lang.Object
  |
  +--sandmark.obfuscate.boolsplitter.dtree.Node
        |
        +--sandmark.obfuscate.boolsplitter.dtree.Expr
              |
              +--sandmark.obfuscate.boolsplitter.dtree.CheckExpr
                    |
                    +--sandmark.obfuscate.boolsplitter.dtree.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 sandmark.obfuscate.boolsplitter.dtree.CheckExpr

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

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

Method Summary

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

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

expr, exprHashCode, visitForceChildren

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

cleanupOnly, 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, 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,
                     EDU.purdue.cs.bloat.editor.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