java.lang.Object
- org.apache.flink.table.types.inference.TypeInferenceUtil

```
@Internal
public final class TypeInferenceUtil
extends Object
```
Utility for performing type inference.
It assumes that argument assignments have been applied by argument reordering and inserting values for optional arguments.
The following steps summarize the type inference process.
- 1. Validate number of arguments.
- 2. For resolving unknown (NULL) operands: Access the outer wrapping call and try to get its operand type for the return type of the actual call. E.g. for takes_string(this_function(NULL)) infer operands from takes_string(NULL) and use the inferred string type as the return type of this_function(NULL).
- 3. Try infer unknown operands, fail if not possible.
- 4. Perform input type validation.
- 5. Infer return type.
- 6. (Optional) Infer state types.
- 7. In the planner: Call the strategies again at any point in time to enrich a DataType that has been created from a logical type with a conversion class.
- 8. In the planner: Check for an implementation evaluation method matching the operands. The matching happens class-based. Thus, for example, eval(Object) is valid for (INT). Or eval(Object...) is valid for (INT, STRING). We rely on the conversion classes specified by DataType.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`TypeInferenceUtil.Result`	The result of a type inference run.
`static class`	`TypeInferenceUtil.StateInfo`	Result of running `StateTypeStrategy`.
`static interface`	`TypeInferenceUtil.SurroundingInfo`	Information what the outer world (i.e. an outer wrapping call) expects from the current function call.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static CallContext`	`castArguments(TypeInference typeInference, CallContext callContext, DataType outputType)`	Casts the call's argument if necessary.
`static ValidationException`	`createInvalidCallException(CallContext callContext, ValidationException cause)`	Returns an exception for an invalid call to a function.
`static ValidationException`	`createInvalidInputException(TypeInference typeInference, CallContext callContext, ValidationException cause)`	Returns an exception for invalid input arguments.
`static TableException`	`createUnexpectedException(CallContext callContext, Throwable cause)`	Returns an exception for an unexpected error during type inference.
`static String`	`generateSignature(TypeInference typeInference, String name, FunctionDefinition definition)`	Generates a signature of the given `FunctionDefinition`.
`static DataType`	`inferOutputType(CallContext callContext, TypeStrategy outputTypeStrategy)`	Infers an output type using the given `TypeStrategy`.
`static LinkedHashMap<String,TypeInferenceUtil.StateInfo>`	`inferStateInfos(CallContext callContext, LinkedHashMap<String,StateTypeStrategy> stateTypeStrategies)`	Infers `TypeInferenceUtil.StateInfo`s using the given `StateTypeStrategy`s.
`static TypeInferenceUtil.Result`	`runTypeInference(TypeInference typeInference, CallContext callContext, TypeInferenceUtil.SurroundingInfo surroundingInfo)`	Runs the entire type inference process.
`static boolean`	`validateArgumentCount(ArgumentCount argumentCount, int actualCount, boolean throwOnFailure)`	Validates argument counts.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

runTypeInference

public static TypeInferenceUtil.Result runTypeInference(TypeInference typeInference,
                                                        CallContext callContext,
                                                        @Nullable
                                                        TypeInferenceUtil.SurroundingInfo surroundingInfo)

Runs the entire type inference process.

Parameters:: typeInference - type inference of the current call; callContext - call context of the current call; surroundingInfo - information about the outer wrapping call of a current function call for performing input type inference

castArguments

public static CallContext castArguments(TypeInference typeInference,
                                        CallContext callContext,
                                        @Nullable
                                        DataType outputType)

Casts the call's argument if necessary.

inferOutputType

public static DataType inferOutputType(CallContext callContext,
                                       TypeStrategy outputTypeStrategy)

Infers an output type using the given TypeStrategy. It assumes that input arguments have been adapted before if necessary.

inferStateInfos

public static LinkedHashMap<String,TypeInferenceUtil.StateInfo> inferStateInfos(CallContext callContext,
                                                                                      LinkedHashMap<String,StateTypeStrategy> stateTypeStrategies)

Infers TypeInferenceUtil.StateInfos using the given StateTypeStrategys. It assumes that input arguments have been adapted before if necessary.

generateSignature

public static String generateSignature(TypeInference typeInference,
                                       String name,
                                       FunctionDefinition definition)

Generates a signature of the given FunctionDefinition.

createInvalidInputException

public static ValidationException createInvalidInputException(TypeInference typeInference,
                                                              CallContext callContext,
                                                              ValidationException cause)

Returns an exception for invalid input arguments.

createInvalidCallException

public static ValidationException createInvalidCallException(CallContext callContext,
                                                             ValidationException cause)

Returns an exception for an invalid call to a function.

createUnexpectedException

public static TableException createUnexpectedException(CallContext callContext,
                                                       Throwable cause)

Returns an exception for an unexpected error during type inference.

validateArgumentCount
```
public static boolean validateArgumentCount(ArgumentCount argumentCount,
                                            int actualCount,
                                            boolean throwOnFailure)
```
Validates argument counts.

Parameters:

argumentCount - expected argument count

actualCount - actual argument count

throwOnFailure - if true, the function throws a ValidationException if the actual value does not meet the expected argument count

Returns:

a boolean indicating if expected argument counts match the actual counts

Class TypeInferenceUtil