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

public final class StringEquals extends LibraryFunction
A rule-set function for comparing strings for equality.
  • Field Details

  • Method Details

    • getDefinition

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

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

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

      public StringEquals 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.