Class ArrayExpressionSatisfies


  • public final class ArrayExpressionSatisfies
    extends java.lang.Object
    The Satisfies class represents the SATISFIES clause object in a quantified operator (ANY/ANY AND EVERY/EVERY <variable name> IN <expr> SATISFIES <expr>). The SATISFIES clause is used for specifying an expression that will be used to evaluate each item in the array.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Expression satisfies​(Expression expression)
      Creates a complete quantified operator with the given satisfies expression.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • satisfies

        @NonNull
        public Expression satisfies​(@NonNull
                                    Expression expression)
        Creates a complete quantified operator with the given satisfies expression.
        Parameters:
        expression - Parameter expression: The satisfies expression used for evaluating each item in the array.
        Returns:
        The quantified expression.