Package org.hibernate.query.sqm.produce.function

Class ArgumentTypesValidator

java.lang.Object

org.hibernate.query.sqm.produce.function.ArgumentTypesValidator

All Implemented Interfaces:

ArgumentsValidator

public class ArgumentTypesValidator
extends Object
implements ArgumentsValidator

Typechecks the arguments of HQL functions based on the assigned JDBC types.

API Note:

Originally, the main purpose for doing this was that we wanted to be able to check named queries at startup or build time, and we wanted to be able to check all queries in the IDE. But since Hibernate 6 it's of more general importance.

Implementation Note:

Access to the MappingMetamodel is very problematic here, since we are sometimes called in a context where we have not built a SessionFactoryImpl, and therefore we have no persisters.

Constructor Summary

Constructors

Constructor	Description
ArgumentTypesValidator(ArgumentsValidator delegate, FunctionParameterType... types)

Method Summary

Modifier and Type	Method	Description
static void	checkArgumentType(int paramNumber, String functionName, FunctionParameterType type, JdbcType jdbcType, Type javaType)
String	getSignature()	Pretty-print the signature of the argument list.
static boolean	isUnknownExpressionType(JdbcMappingContainer expressionType)	We can't validate some expressions involving parameters / unknown functions.
void	validate(List<? extends SqmTypedNode<?>> arguments, String functionName, BindingContext bindingContext)	We do an initial validation phase with just the SQM tree, even though we don't have all typing information available here (in particular, we don't have the final JDBC type codes for things with converters) because this is the phase that is run at startup for named queries, and can be done in an IDE.
void	validateSqlTypes(List<? extends SqlAstNode> arguments, String functionName)	This is the final validation phase with the fully-typed SQL nodes.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.hibernate.query.sqm.produce.function.ArgumentsValidator

validate

Constructor Details

ArgumentTypesValidator

public ArgumentTypesValidator(ArgumentsValidator delegate,
 FunctionParameterType... types)

Method Details

validate

public void validate(List<? extends SqmTypedNode<?>> arguments,
 String functionName,
 BindingContext bindingContext)

We do an initial validation phase with just the SQM tree, even though we don't have all typing information available here (in particular, we don't have the final JDBC type codes for things with converters) because this is the phase that is run at startup for named queries, and can be done in an IDE.

Specified by:

validate in interface ArgumentsValidator

validateSqlTypes

public void validateSqlTypes(List<? extends SqlAstNode> arguments,
 String functionName)

This is the final validation phase with the fully-typed SQL nodes. Note that these checks are much less useful, occurring "too late", right before we execute the query and get an error from the database. However, they help in the sense of (a) resulting in more consistent/understandable error messages, and (b) protecting the user from writing queries that depend on generally-unportable implicit type conversions happening at the database level. (Implicit type conversions between numeric types are portable, and are not prohibited here.)

Specified by:

validateSqlTypes in interface ArgumentsValidator

isUnknownExpressionType

public static boolean isUnknownExpressionType(JdbcMappingContainer expressionType)

We can't validate some expressions involving parameters / unknown functions.

checkArgumentType

@Internal
public static void checkArgumentType(int paramNumber,
 String functionName,
 FunctionParameterType type,
 JdbcType jdbcType,
 Type javaType)

getSignature

public String getSignature()

Description copied from interface: ArgumentsValidator

Pretty-print the signature of the argument list.

Specified by:

getSignature in interface ArgumentsValidator