Package io.trino.type

Class TypeCoercion

java.lang.Object

io.trino.type.TypeCoercion

public final class TypeCoercion
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TypeCoercion.TypeCompatibility

Constructor Summary

Constructors

Constructor	Description
TypeCoercion(Function<TypeSignature,Type> lookupType)

Method Summary

Modifier and Type	Method	Description
boolean	canCoerce(Type fromType, Type toType)
Optional<Type>	coerceTypeBase(Type sourceType, String resultTypeBase)	coerceTypeBase and isCovariantParametrizedType defines all hand-coded rules for type coercion.
Optional<Type>	getCommonSuperType(Type firstType, Type secondType)
boolean	isCompatible(Type fromType, Type toType)
static boolean	isCovariantTypeBase(String typeBase)
boolean	isInjectiveCoercion(Type source, Type result)
boolean	isTypeOnlyCoercion(Type source, Type result)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TypeCoercion

public TypeCoercion(Function<TypeSignature,Type> lookupType)

Method Details

isTypeOnlyCoercion

public boolean isTypeOnlyCoercion(Type source,
 Type result)

isInjectiveCoercion

public boolean isInjectiveCoercion(Type source,
 Type result)

getCommonSuperType

public Optional<Type> getCommonSuperType(Type firstType,
 Type secondType)

isCompatible

public boolean isCompatible(Type fromType,
 Type toType)

canCoerce

public boolean canCoerce(Type fromType,
 Type toType)

coerceTypeBase

public Optional<Type> coerceTypeBase(Type sourceType,
 String resultTypeBase)

coerceTypeBase and isCovariantParametrizedType defines all hand-coded rules for type coercion. Other methods should reference these two functions instead of hand-code new rules.

isCovariantTypeBase

public static boolean isCovariantTypeBase(String typeBase)