/*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package com.facebook.presto.spi.type;
import com.facebook.presto.spi.function.OperatorType;
import java.lang.invoke.MethodHandle;
import java.util.Collection;
import java.util.List;
import java.util.Optional;
public interface TypeManager
{
/**
* Gets the type with the specified signature, or null if not found.
*/
Type getType(TypeSignature signature);
/**
* Gets the type with the specified base type, and the given parameters, or null if not found.
*/
Type getParameterizedType(String baseTypeName, List<TypeSignatureParameter> typeParameters);
/**
* Gets a list of all registered types.
*/
List<Type> getTypes();
/**
* Gets all registered parametric types.
*/
Collection<ParametricType> getParametricTypes();
Optional<Type> getCommonSuperType(Type firstType, Type secondType);
default boolean canCoerce(Type actualType, Type expectedType)
{
Optional<Type> commonSuperType = getCommonSuperType(actualType, expectedType);
return commonSuperType.isPresent() && commonSuperType.get().equals(expectedType);
}
boolean isTypeOnlyCoercion(Type actualType, Type expectedType);
Optional<Type> coerceTypeBase(Type sourceType, String resultTypeBase);
MethodHandle resolveOperator(OperatorType operatorType, List<? extends Type> argumentTypes);
}