Class OrArgumentTypeStrategy

  • All Implemented Interfaces:
    ArgumentTypeStrategy

    @Internal
    public final class OrArgumentTypeStrategy
    extends Object
    implements ArgumentTypeStrategy
    Strategy for inferring and validating an argument using a disjunction of multiple ArgumentTypeStrategys into one like f(NUMERIC || STRING).

    Some ArgumentTypeStrategys cannot contribute an inferred type that is different from the input type (e.g. InputTypeStrategies.LITERAL). Therefore, the order f(X || Y) or f(Y || X) matters as it defines the precedence in case the result must be casted to a more specific type.

    This strategy aims to infer a type that is equal to the input type (to prevent unnecessary casting) or (if this is not possible) the first more specific, casted type.

    • Constructor Detail

    • Method Detail

      • inferArgumentType

        public Optional<DataType> inferArgumentType​(CallContext callContext,
                                                    int argumentPos,
                                                    boolean throwOnFailure)
        Description copied from interface: ArgumentTypeStrategy
        Main logic for inferring and validating an argument. Returns the data type that is valid for the given call. If the returned type differs from CallContext.getArgumentDataTypes() at argumentPos, a casting operation can be inserted. An empty result means that the given input type could not be inferred.
        Specified by:
        inferArgumentType in interface ArgumentTypeStrategy
        Parameters:
        callContext - provides details about the function call
        argumentPos - argument index in the CallContext
        throwOnFailure - whether this function is allowed to throw an ValidationException with a meaningful exception in case the inference is not successful or if this function should simply return an empty result.
        Returns:
        three-state result for either "true, same data type as argument", "true, but argument must be casted to returned data type", or "false, no inferred data type could be found"
        See Also:
        CallContext.newValidationError(String, Object...)
      • getExpectedArgument

        public Signature.Argument getExpectedArgument​(FunctionDefinition functionDefinition,
                                                      int argumentPos)
        Description copied from interface: ArgumentTypeStrategy
        Returns a summary of the function's expected argument at argumentPos.
        Specified by:
        getExpectedArgument in interface ArgumentTypeStrategy
        Parameters:
        functionDefinition - the function definition that defines the function currently being called.
        argumentPos - the position within the function call for which the signature should be retrieved
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object