All Implemented Interfaces:
FromSourceLocation, ToNode, TypeCheck, ToCondition, ToExpression

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

  • Method Details

    • getDefinition

      public static BooleanEquals.Definition getDefinition()
      Gets the FunctionDefinition implementation.
      Returns:
      the function definition.
    • ofExpressions

      public static BooleanEquals ofExpressions(ToExpression arg1, ToExpression arg2)
      Creates a BooleanEquals function from the given expressions.
      Parameters:
      arg1 - the first argument to compare.
      arg2 - the second argument to compare.
      Returns:
      The resulting BooleanEquals function.
    • ofExpressions

      public static BooleanEquals ofExpressions(ToExpression arg1, boolean arg2)
      Creates a BooleanEquals function from the given expressions.
      Parameters:
      arg1 - the first argument to compare.
      arg2 - the second argument to compare.
      Returns:
      The resulting BooleanEquals function.
    • canonicalize

      public BooleanEquals canonicalize()
      Description copied from class: LibraryFunction
      Returns a canonical form of this function.

      Default implementation returns this. Override for functions that need canonicalization.

      Overrides:
      canonicalize in class LibraryFunction
      Returns:
      the canonical form of this function
    • 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.