Class UCExpr

All Implemented Interfaces:
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 Details

  • Constructor Details

    • UCExpr

      public UCExpr(Expr expr, int kind, 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 Details

    • 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 Object clone()
      Specified by:
      clone in class Expr