sandmark.obfuscate.boolsplitter.dtree
Class UCExpr

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

All Implemented Interfaces:

java.lang.Cloneable

public class UCExpr

extends CheckExpr

UPExpr represents an update check opcode which checks the persistent store to determine if a variable needs to be updated.

Field Summary

(package private) int	kind
static int	POINTER
static int	SCALAR

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

UCExpr(Expr expr, int kind, EDU.purdue.cs.bloat.editor.Type type)
Constructor.

Method Summary

java.lang.Object	clone()
boolean	equalsExpr(Expr other) Compares this expression to another.
int	kind()
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

Field Detail

POINTER

public static final int POINTER

See Also:

Constant Field Values

SCALAR

public static final int SCALAR

See Also:

Constant Field Values

kind

int kind

Constructor Detail

UCExpr

public UCExpr(Expr expr,
              int kind,
              EDU.purdue.cs.bloat.editor.Type type)

Constructor.

Parameters:

expr - The expression to check to see if it needs to be updated.

kind - The kind of expression (POINTER or SCALAR) to be checked.

type - The type of this expression.

Method Detail

kind

public int kind()

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