io.prestosql.type

Class TypeRegistry

java.lang.Object

io.prestosql.type.TypeRegistry

All Implemented Interfaces:

TypeManager

@ThreadSafe
public final class TypeRegistry
extends Object
implements TypeManager

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TypeRegistry.TypeCompatibility

Constructor Summary

Constructors

Constructor and Description
TypeRegistry()
TypeRegistry(Set<Type> types, FeaturesConfig featuresConfig)

Method Summary

Modifier and Type	Method and Description
void	addParametricType(ParametricType parametricType)
void	addType(Type type)
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)
Type	getParameterizedType(String baseTypeName, List<TypeSignatureParameter> typeParameters)
Collection<ParametricType>	getParametricTypes()
Type	getType(TypeSignature signature)
List<Type>	getTypes()
static boolean	isCovariantTypeBase(String typeBase)
boolean	isTypeOnlyCoercion(Type source, Type result)
MethodHandle	resolveOperator(OperatorType operatorType, List<? extends Type> argumentTypes)
void	setFunctionRegistry(FunctionRegistry functionRegistry)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeRegistry

public TypeRegistry()

TypeRegistry

@Inject
public TypeRegistry(Set<Type> types,
                            FeaturesConfig featuresConfig)

Method Detail

setFunctionRegistry

public void setFunctionRegistry(FunctionRegistry functionRegistry)

getType

public Type getType(TypeSignature signature)

Specified by:

getType in interface TypeManager

getParameterizedType

public Type getParameterizedType(String baseTypeName,
                                 List<TypeSignatureParameter> typeParameters)

Specified by:

getParameterizedType in interface TypeManager

getTypes

public List<Type> getTypes()

Specified by:

getTypes in interface TypeManager

isTypeOnlyCoercion

public boolean isTypeOnlyCoercion(Type source,
                                  Type result)

Specified by:

isTypeOnlyCoercion in interface TypeManager

getCommonSuperType

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

Specified by:

getCommonSuperType in interface TypeManager

canCoerce

public boolean canCoerce(Type fromType,
                         Type toType)

Specified by:

canCoerce in interface TypeManager

addType

public void addType(Type type)

addParametricType

public void addParametricType(ParametricType parametricType)

getParametricTypes

public Collection<ParametricType> getParametricTypes()

Specified by:

getParametricTypes in interface TypeManager

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.

Specified by:

coerceTypeBase in interface TypeManager

isCovariantTypeBase

public static boolean isCovariantTypeBase(String typeBase)

resolveOperator

public MethodHandle resolveOperator(OperatorType operatorType,
                                    List<? extends Type> argumentTypes)

Specified by:

resolveOperator in interface TypeManager