Class CheckExpr

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

    • CheckExpr

      public CheckExpr(Expr expr, Type type)
      Constructor.
      Parameters:
      expr - An expression that is to be checked.
      type - The type of this expression.
  • Method Details

    • 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.