Class BaseFirstOrderFunctionCall.EagerSinglePrimitiveTypeEval<RETURN_T extends Value,​PARAM_T extends AttributeValue>

  • Type Parameters:
    RETURN_T - function return type
    PARAM_T - arg values' common (super)type. If argument expressions return different data-types, the common concrete supertype of all may be specified.
    All Implemented Interfaces:
    FirstOrderFunctionCall<RETURN_T>, FunctionCall<RETURN_T>
    Enclosing class:
    BaseFirstOrderFunctionCall<RETURN extends Value>

    public abstract static class BaseFirstOrderFunctionCall.EagerSinglePrimitiveTypeEval<RETURN_T extends Value,​PARAM_T extends AttributeValue>
    extends BaseFirstOrderFunctionCall.EagerEval<RETURN_T>
    Function call, for functions requiring eager (a.k.a. greedy) evaluation of ALL their arguments' expressions to actual values, before the function can be evaluated. All arguments must be primitive values and have the same primitive datatype.