Class 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
    • Constructor Detail

      • CheckExpr

        public CheckExpr​(Expr expr,
                         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.