Package io.trino.sql.analyzer

Class ExpressionAnalyzer

java.lang.Object

io.trino.sql.analyzer.ExpressionAnalyzer

public class ExpressionAnalyzer
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ExpressionAnalyzer.ParametersTypeAndAnalysis
static final record	ExpressionAnalyzer.TypeAndAnalysis

Field Summary

Fields

Modifier and Type	Field	Description
static final RowType	JSON_NO_PARAMETERS_ROW_TYPE

Method Summary

Modifier and Type	Method	Description
Type	analyze(Expression expression, Scope scope)
Type	analyze(Expression expression, Scope scope, CorrelationSupport correlationSupport)
static ExpressionAnalysis	analyzeExpression(Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, Scope scope, Analysis analysis, Expression expression, WarningCollector warningCollector, CorrelationSupport correlationSupport)
static ExpressionAnalysis	analyzeExpressions(Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, TypeProvider types, Iterable<Expression> expressions, Map<NodeRef<Parameter>,Expression> parameters, WarningCollector warningCollector, QueryType queryType)
static void	analyzeExpressionWithoutSubqueries(Session session, PlannerContext plannerContext, AccessControl accessControl, Scope scope, Analysis analysis, Expression expression, ErrorCodeSupplier errorCode, String message, WarningCollector warningCollector, CorrelationSupport correlationSupport)
static ExpressionAnalyzer.ParametersTypeAndAnalysis	analyzeJsonPathInvocation(JsonTable node, Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, Scope scope, Analysis analysis, WarningCollector warningCollector, CorrelationSupport correlationSupport)
static Type	analyzeJsonQueryExpression(QueryColumn column, Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, Scope scope, Analysis analysis, WarningCollector warningCollector)
static ExpressionAnalyzer.TypeAndAnalysis	analyzeJsonValueExpression(ValueColumn column, JsonPathAnalyzer.JsonPathAnalysis pathAnalysis, Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, Scope scope, Analysis analysis, WarningCollector warningCollector, CorrelationSupport correlationSupport)
static ExpressionAnalysis	analyzePatternRecognitionExpression(Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, Scope scope, Analysis analysis, Expression expression, WarningCollector warningCollector, Set<String> labels)
static ExpressionAnalysis	analyzeWindow(Session session, PlannerContext plannerContext, StatementAnalyzerFactory statementAnalyzerFactory, AccessControl accessControl, Scope scope, Analysis analysis, WarningCollector warningCollector, CorrelationSupport correlationSupport, Analysis.ResolvedWindow window, Node originalNode)
static ExpressionAnalyzer	createConstantAnalyzer(PlannerContext plannerContext, AccessControl accessControl, Session session, Map<NodeRef<Parameter>,Expression> parameters, WarningCollector warningCollector)
static ExpressionAnalyzer	createConstantAnalyzer(PlannerContext plannerContext, AccessControl accessControl, Session session, Map<NodeRef<Parameter>,Expression> parameters, WarningCollector warningCollector, boolean isDescribe)
static ExpressionAnalyzer	createWithoutSubqueries(PlannerContext plannerContext, AccessControl accessControl, Session session, TypeProvider symbolTypes, Map<NodeRef<Parameter>,Expression> parameters, Function<? super Node,? extends RuntimeException> statementAnalyzerRejection, WarningCollector warningCollector, boolean isDescribe)
static ExpressionAnalyzer	createWithoutSubqueries(PlannerContext plannerContext, AccessControl accessControl, Session session, Map<NodeRef<Parameter>,Expression> parameters, ErrorCodeSupplier errorCode, String message, WarningCollector warningCollector, boolean isDescribe)
Map<NodeRef<Expression>,ResolvedField>	getColumnReferences()
Set<NodeRef<ExistsPredicate>>	getExistsSubqueries()
Map<NodeRef<Expression>,Type>	getExpressionCoercions()
Map<NodeRef<Expression>,Type>	getExpressionTypes()
Map<NodeRef<Expression>,ResolvedFunction>	getFrameBoundCalculations()
Map<NodeRef<Expression>,ResolvedFunction>	getJsonInputFunctions()
Map<NodeRef<Node>,ResolvedFunction>	getJsonOutputFunctions()
Map<NodeRef<Node>,JsonPathAnalyzer.JsonPathAnalysis>	getJsonPathAnalyses()
Map<NodeRef<Expression>,Optional<String>>	getLabels()
Map<NodeRef<Identifier>,LambdaArgumentDeclaration>	getLambdaArgumentReferences()
Map<NodeRef<WindowOperation>,MeasureDefinition>	getMeasureDefinitions()
Set<NodeRef<FunctionCall>>	getPatternNavigationFunctions()
Map<NodeRef<Expression>,List<PatternRecognitionAnalysis.PatternInputAnalysis>>	getPatternRecognitionInputs()
Map<NodeRef<Expression>,Analysis.PredicateCoercions>	getPredicateCoercions()
Set<NodeRef<QuantifiedComparisonExpression>>	getQuantifiedComparisons()
Map<NodeRef<RangeQuantifier>,Analysis.Range>	getRanges()
Map<NodeRef<Node>,ResolvedFunction>	getResolvedFunctions()
Map<NodeRef<Identifier>,String>	getResolvedLabels()
Map<NodeRef<Expression>,Type>	getSortKeyCoercionsForFrameBoundCalculation()
Map<NodeRef<Expression>,Type>	getSortKeyCoercionsForFrameBoundComparison()
List<Field>	getSourceFields()
Set<NodeRef<SubqueryExpression>>	getSubqueries()
Set<NodeRef<InPredicate>>	getSubqueryInPredicates()
Map<NodeRef<SubsetDefinition>,Set<String>>	getSubsetLabels()
com.google.common.collect.Multimap<QualifiedObjectName,String>	getTableColumnReferences()
Map<NodeRef<RowPattern>,Set<String>>	getUndefinedLabels()
Set<NodeRef<FunctionCall>>	getWindowFunctions()
static boolean	isCharacterStringType(Type type)
static boolean	isNumericType(Type type)
static boolean	isPatternRecognitionFunction(FunctionCall node)
static boolean	isStringType(Type type)
Type	setExpressionType(Expression expression, Type type)

Methods inherited from class java.lang.Object

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

Field Details

JSON_NO_PARAMETERS_ROW_TYPE

public static final RowType JSON_NO_PARAMETERS_ROW_TYPE

Method Details

getResolvedFunctions

public Map<NodeRef<Node>,ResolvedFunction> getResolvedFunctions()

getExpressionTypes

public Map<NodeRef<Expression>,Type> getExpressionTypes()

setExpressionType

public Type setExpressionType(Expression expression,
 Type type)

getExpressionCoercions

public Map<NodeRef<Expression>,Type> getExpressionCoercions()

getSortKeyCoercionsForFrameBoundCalculation

public Map<NodeRef<Expression>,Type> getSortKeyCoercionsForFrameBoundCalculation()

getSortKeyCoercionsForFrameBoundComparison

public Map<NodeRef<Expression>,Type> getSortKeyCoercionsForFrameBoundComparison()

getFrameBoundCalculations

public Map<NodeRef<Expression>,ResolvedFunction> getFrameBoundCalculations()

getSubqueryInPredicates

public Set<NodeRef<InPredicate>> getSubqueryInPredicates()

getPredicateCoercions

public Map<NodeRef<Expression>,Analysis.PredicateCoercions> getPredicateCoercions()

getColumnReferences

public Map<NodeRef<Expression>,ResolvedField> getColumnReferences()

getLambdaArgumentReferences

public Map<NodeRef<Identifier>,LambdaArgumentDeclaration> getLambdaArgumentReferences()

analyze

public Type analyze(Expression expression,
 Scope scope)

analyze

public Type analyze(Expression expression,
 Scope scope,
 CorrelationSupport correlationSupport)

getSubqueries

public Set<NodeRef<SubqueryExpression>> getSubqueries()

getExistsSubqueries

public Set<NodeRef<ExistsPredicate>> getExistsSubqueries()

getQuantifiedComparisons

public Set<NodeRef<QuantifiedComparisonExpression>> getQuantifiedComparisons()

getWindowFunctions

public Set<NodeRef<FunctionCall>> getWindowFunctions()

getTableColumnReferences

public com.google.common.collect.Multimap<QualifiedObjectName,String> getTableColumnReferences()

getSourceFields

public List<Field> getSourceFields()

getLabels

public Map<NodeRef<Expression>,Optional<String>> getLabels()

getRanges

public Map<NodeRef<RangeQuantifier>,Analysis.Range> getRanges()

getUndefinedLabels

public Map<NodeRef<RowPattern>,Set<String>> getUndefinedLabels()

getResolvedLabels

public Map<NodeRef<Identifier>,String> getResolvedLabels()

getSubsetLabels

public Map<NodeRef<SubsetDefinition>,Set<String>> getSubsetLabels()

getMeasureDefinitions

public Map<NodeRef<WindowOperation>,MeasureDefinition> getMeasureDefinitions()

getPatternRecognitionInputs

public Map<NodeRef<Expression>,List<PatternRecognitionAnalysis.PatternInputAnalysis>> getPatternRecognitionInputs()

getPatternNavigationFunctions

public Set<NodeRef<FunctionCall>> getPatternNavigationFunctions()

getJsonPathAnalyses

public Map<NodeRef<Node>,JsonPathAnalyzer.JsonPathAnalysis> getJsonPathAnalyses()

getJsonInputFunctions

public Map<NodeRef<Expression>,ResolvedFunction> getJsonInputFunctions()

getJsonOutputFunctions

public Map<NodeRef<Node>,ResolvedFunction> getJsonOutputFunctions()

isPatternRecognitionFunction

public static boolean isPatternRecognitionFunction(FunctionCall node)

analyzePatternRecognitionExpression

public static ExpressionAnalysis analyzePatternRecognitionExpression(Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 Expression expression,
 WarningCollector warningCollector,
 Set<String> labels)

analyzeExpressions

public static ExpressionAnalysis analyzeExpressions(Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 TypeProvider types,
 Iterable<Expression> expressions,
 Map<NodeRef<Parameter>,Expression> parameters,
 WarningCollector warningCollector,
 QueryType queryType)

analyzeExpression

public static ExpressionAnalysis analyzeExpression(Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 Expression expression,
 WarningCollector warningCollector,
 CorrelationSupport correlationSupport)

analyzeJsonPathInvocation

public static ExpressionAnalyzer.ParametersTypeAndAnalysis analyzeJsonPathInvocation(JsonTable node,
 Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 WarningCollector warningCollector,
 CorrelationSupport correlationSupport)

analyzeJsonValueExpression

public static ExpressionAnalyzer.TypeAndAnalysis analyzeJsonValueExpression(ValueColumn column,
 JsonPathAnalyzer.JsonPathAnalysis pathAnalysis,
 Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 WarningCollector warningCollector,
 CorrelationSupport correlationSupport)

analyzeJsonQueryExpression

public static Type analyzeJsonQueryExpression(QueryColumn column,
 Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 WarningCollector warningCollector)

analyzeExpressionWithoutSubqueries

public static void analyzeExpressionWithoutSubqueries(Session session,
 PlannerContext plannerContext,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 Expression expression,
 ErrorCodeSupplier errorCode,
 String message,
 WarningCollector warningCollector,
 CorrelationSupport correlationSupport)

analyzeWindow

public static ExpressionAnalysis analyzeWindow(Session session,
 PlannerContext plannerContext,
 StatementAnalyzerFactory statementAnalyzerFactory,
 AccessControl accessControl,
 Scope scope,
 Analysis analysis,
 WarningCollector warningCollector,
 CorrelationSupport correlationSupport,
 Analysis.ResolvedWindow window,
 Node originalNode)

createConstantAnalyzer

public static ExpressionAnalyzer createConstantAnalyzer(PlannerContext plannerContext,
 AccessControl accessControl,
 Session session,
 Map<NodeRef<Parameter>,Expression> parameters,
 WarningCollector warningCollector)

createConstantAnalyzer

public static ExpressionAnalyzer createConstantAnalyzer(PlannerContext plannerContext,
 AccessControl accessControl,
 Session session,
 Map<NodeRef<Parameter>,Expression> parameters,
 WarningCollector warningCollector,
 boolean isDescribe)

createWithoutSubqueries

public static ExpressionAnalyzer createWithoutSubqueries(PlannerContext plannerContext,
 AccessControl accessControl,
 Session session,
 Map<NodeRef<Parameter>,Expression> parameters,
 ErrorCodeSupplier errorCode,
 String message,
 WarningCollector warningCollector,
 boolean isDescribe)

createWithoutSubqueries

public static ExpressionAnalyzer createWithoutSubqueries(PlannerContext plannerContext,
 AccessControl accessControl,
 Session session,
 TypeProvider symbolTypes,
 Map<NodeRef<Parameter>,Expression> parameters,
 Function<? super Node,? extends RuntimeException> statementAnalyzerRejection,
 WarningCollector warningCollector,
 boolean isDescribe)

isNumericType

public static boolean isNumericType(Type type)

isStringType

public static boolean isStringType(Type type)

isCharacterStringType

public static boolean isCharacterStringType(Type type)