All Implemented Interfaces:
FromSourceLocation, ToNode, Into<Condition>, TypeCheck

public final class BooleanEquals extends Function
Represents a two argument function that compares two expression for boolean equality.
  • Field Details

  • Constructor Details

    • BooleanEquals

      public BooleanEquals(FunctionNode functionNode)
  • Method Details

    • ofExpressions

      public static Function ofExpressions(Expression left, Expression right)
      Returns a BooleanEquals Function comparing the left and right expressions for equality.
      Parameters:
      left - the left hand-side expression.
      right - the right hand-side expression.
      Returns:
      the function defining the BooleanEquals of the left and right expressions.
    • accept

      public <R> R accept(ExpressionVisitor<R> visitor)
      Description copied from class: Expression
      Invoke the ExpressionVisitor functions for this expression.
      Specified by:
      accept in class Expression
      Type Parameters:
      R - the visitor return type.
      Parameters:
      visitor - the visitor to be invoked.
      Returns:
      the return value of the visitor.
    • typeCheckLocal

      protected Type typeCheckLocal(Scope<Type> scope) throws InnerParseError
      Specified by:
      typeCheckLocal in class Expression
      Throws:
      InnerParseError