Interface SemanticValidatorHelper
- All Known Implementing Classes:
GenericSemanticValidatorHelper
AbstractSemanticValidator
in order to retrieve JPA information.
This helper allows third party adopter to write an instance of this helper that directly access
the JPA information without having to implement Hermes SPI, which can improve performance.
GenericSemanticValidatorHelper
is a default implementation that uses Hermes SPI.
Provisional API: This interface is part of an interim API that is still under development and expected to change significantly before reaching stability. It is available at this early stage to solicit feedback from pioneering adopters on the understanding that any code that uses this API will almost certainly be broken (repeatedly) as the API evolves.
- Since:
- 2.4
- Version:
- 2.5
-
Method Summary
Modifier and TypeMethodDescriptionvoid
collectAllDeclarationIdentificationVariables
(Map<String, List<IdentificationVariable>> identificationVariables) Collects the identification variables that are defined in theFROM
clause of the current query and from the parent queries.void
collectLocalDeclarationIdentificationVariables
(Map<String, List<IdentificationVariable>> identificationVariables) Collects the identification variables that are defined in theFROM
clause of the current query.void
Disposes this context, which is the current context being used by a subquery.String[]
Returns the name of the all entities that are present in the context of a persistence unit.Returns the ordered list ofJPQLQueryDeclaration
, which contain the information contained in the query'sFROM
clause.Object[]
getConstructors
(Object type) Returns the constructors for the given type.List
<? extends JPQLQueryDeclaration> Returns the ordered list ofJPQLQueryDeclaration
, which contain the information contained in the query'sFROM
clause.getEmbeddable
(Object type) Retrieves the embeddable with the given type.getEntityNamed
(String entityName) Retrieves the entity with the given entity name.String[]
getEnumConstants
(Object type) Returns the constant names for the givenEnum
type.Returns theJPQLGrammar
that defines how the JPQL query was parsed.getManagedType
(Expression expression) Returns the managed type by resolving the givenExpression
.getMappingNamed
(Object managedType, String name) Returns the mapping with the given name.getMappingType
(Object mapping) Returns the type of the given mapping object.Object[]
getMethodParameterTypeDeclarations
(Object constructor) Returns the list of type declarations representing the given constructor's parameter types.getReferenceManagedType
(Object relationshipMapping) Returns the reference managed type from the given relationship mapping.Returns the type defined for the Java member.Retrieves the class with the given fully qualified name.getType
(Expression expression) Returns the type by resolving the givenExpression
.getTypeDeclaration
(Expression expression) Returns the type declaration for the givenExpression
's type.Returns the helper that gives access to the most common class metadata.getTypeName
(Object type) Returns the fully qualified class name of the given type.boolean
isAssignableTo
(Object type1, Object type2) Determines whether type 1 is an instance of type 2.boolean
isCollectionIdentificationVariable
(String variableName) Determines whether the given identification variable is defining a join or a collection member declaration expressions.boolean
isCollectionMapping
(Object mapping) Determines whether the given mapping is a collection type mapping.boolean
isEmbeddableMapping
(Object mapping) Determines whether the given mapping is an embeddable type mapping.boolean
isEnumType
(Object type) Determines whether the given type represents anEnum
.boolean
Determines whether an identification variable can be used in a comparison expression when the operator is either '<', '<=', '>', '>='.boolean
isManagedTypeResolvable
(Object managedType) Determines whether the given managed type actually exists.boolean
isPropertyMapping
(Object mapping) Determines whether the given mapping is a property type mapping.boolean
isRelationshipMapping
(Object mapping) Determines whether the given mapping is a relationship type mapping.boolean
isResultVariable
(String variableName) Determines if the given variable is a result variable.boolean
isTransient
(Object mapping) Determines whether the given mapping is a transient attribute.boolean
isTypeDeclarationAssignableTo
(Object typeDeclaration1, Object typeDeclaration2) Determines whether type declaration 1 is an instance of type declaration 2.boolean
isTypeResolvable
(Object type) Determines whether the given type actually exists.void
newSubqueryContext
(SimpleSelectStatement expression) Changes the state of this helper to use the given subquery.resolveMapping
(String identificationVariable, String name) Returns the mapping that should be a persistence field from the entity defined by the given identification variable.resolveMapping
(Expression expression) Returns the mapping for the field represented by the givenExpression
.
-
Method Details
-
collectAllDeclarationIdentificationVariables
void collectAllDeclarationIdentificationVariables(Map<String, List<IdentificationVariable>> identificationVariables) Collects the identification variables that are defined in theFROM
clause of the current query and from the parent queries.- Parameters:
identificationVariables
- TheMap
used to store the variables
-
collectLocalDeclarationIdentificationVariables
void collectLocalDeclarationIdentificationVariables(Map<String, List<IdentificationVariable>> identificationVariables) Collects the identification variables that are defined in theFROM
clause of the current query.- Parameters:
identificationVariables
- TheMap
used to store the variables
-
disposeSubqueryContext
void disposeSubqueryContext()Disposes this context, which is the current context being used by a subquery. Once it is disposed, any information retrieved will be for the subquery's parent query. -
entityNames
String[] entityNames()Returns the name of the all entities that are present in the context of a persistence unit.- Returns:
- The list of entity names
-
getAllDeclarations
List<JPQLQueryDeclaration> getAllDeclarations()Returns the ordered list ofJPQLQueryDeclaration
, which contain the information contained in the query'sFROM
clause.- Returns:
- The list of
JPQLQueryDeclaration
of the current query that was parsed and from the parent queries
-
getConstructors
Returns the constructors for the given type. All public, protected, default (package) access, and private constructors should be included.If it was going through Hermes SPI, the type of the argument would be
IType
and the return type would beIConstructor
.- Returns:
- The declared constructors
-
getDeclarations
List<? extends JPQLQueryDeclaration> getDeclarations()Returns the ordered list ofJPQLQueryDeclaration
, which contain the information contained in the query'sFROM
clause.- Returns:
- The list of
JPQLQueryDeclaration
of the current query that was parsed
-
getEmbeddable
Retrieves the embeddable with the given type.- Parameters:
type
- The Java type of the embeddable to retrieve- Returns:
- The embeddable for the given type if it's representing an embeddable;
null
otherwise
-
getEntityNamed
Retrieves the entity with the given entity name.- Parameters:
entityName
- The abstract schema name of the entity to retrieve- Returns:
- The entity with the given name;
null
otherwise
-
getEnumConstants
Returns the constant names for the givenEnum
type.If it was going through Hermes SPI, the type of the argument would be
IType
.- Parameters:
type
- TheEnum
type- Returns:
- The list of constant names
-
getGrammar
JPQLGrammar getGrammar()Returns theJPQLGrammar
that defines how the JPQL query was parsed.- Returns:
- The
JPQLGrammar
that was used to parse the JPQL query
-
getManagedType
Returns the managed type by resolving the givenExpression
.If it was going through Hermes SPI, the return type would be
IManagedType
. -
getMappingNamed
Returns the mapping with the given name.If it was going through Hermes SPI, the type of the argument would be
IManagedType
and the return type would beIMapping
.- Parameters:
managedType
- The managed type that has a mapping with the given namename
- The name of the mapping to retrieve- Returns:
- Either the mapping or
null
if it could not be found
-
getMappingType
Returns the type of the given mapping object.If it was going through Hermes SPI, the type of the argument would be
IMapping
and the return type would beIType
.- Parameters:
mapping
- The mapping object- Returns:
- The type of the given mapping
-
getMethodParameterTypeDeclarations
Returns the list of type declarations representing the given constructor's parameter types. If this is the default constructor, then an empty array should be returned.If it was going through Hermes SPI, the type of the argument would be
IConstructor
and the return type would beITypeDeclaration
.- Parameters:
constructor
- The constructor to return its parameter types- Returns:
- The list of parameter types or an empty list
-
getReferenceManagedType
Returns the reference managed type from the given relationship mapping.If it was going through Hermes SPI, the type of the argument would be
IMapping
and the return type would beIManagedType
.- Parameters:
relationshipMapping
- The relationship mapping- Returns:
- The managed type referenced by the given relationship mapping
-
getType
Returns the type by resolving the givenExpression
.If it was going through Hermes SPI, the return type would be
IType
.- Parameters:
expression
- TheExpression
to resolve- Returns:
- The type of the given
Expression
ornull
if it could not be validated
-
getType
Returns the type defined for the Java member.If it was going through Hermes SPI, the type of the argument would be
ITypeDeclaration
and the return type would beIType
.- Returns:
- The type defined for the Java member
-
getType
Retrieves the class with the given fully qualified name.If it was going through Hermes SPI, an
IType
would be returned.- Parameters:
typeName
- The fully qualified name of the class to retrieve- Returns:
- The class to retrieve
-
getTypeDeclaration
Returns the type declaration for the givenExpression
's type.If it was going through Hermes SPI, the type of the argument would be
ITypeDeclaration
.- Parameters:
expression
- TheExpression
to resolve- Returns:
- Either the type declaration that was resolved for the given
Expression
-
getTypeHelper
ITypeHelper getTypeHelper()Returns the helper that gives access to the most common class metadata.- Returns:
- A helper containing a collection of methods related to class metadata
-
getTypeName
Returns the fully qualified class name of the given type.If it was going through Hermes SPI, the type of the argument would be
IType
.- Parameters:
type
- The type to retrieve its name- Returns:
- The name of the class represented by this one
-
isAssignableTo
Determines whether type 1 is an instance of type 2.If it was going through Hermes SPI, the type of the arguments would be
IType
.- Parameters:
type1
- The type to check if it is an instance of type 2type2
- The type used to determine if the class represented by type 1 is an instance of with one- Returns:
true
if type 1 is an instance of the type 2;false
otherwise
-
isCollectionIdentificationVariable
Determines whether the given identification variable is defining a join or a collection member declaration expressions.- Parameters:
variableName
- The identification variable to check for what it maps- Returns:
true
if the given identification variable maps a collection-valued field defined in aJOIN
orIN
expression;false
if it's not defined or it's mapping an abstract schema name
-
isCollectionMapping
Determines whether the given mapping is a collection type mapping.If it was going through Hermes SPI, the type of the arguments would be
IMapping
.- Parameters:
mapping
- The mapping object to verify if it represents a collection mapping- Returns:
true
if the given mapping is a collection mapping;false
otherwise
-
isEmbeddableMapping
Determines whether the given mapping is an embeddable type mapping.If it was going through Hermes SPI, the type of the arguments would be
IMapping
.- Parameters:
mapping
- The mapping object to verify if it represents an embeddable mapping- Returns:
true
if the given mapping is an embeddable mapping;false
otherwise
-
isEnumType
Determines whether the given type represents anEnum
.If it was going through Hermes SPI, the type of the argument would be
IType
.- Returns:
true
if the given type is anEnum
;false
otherwise
-
isIdentificationVariableValidInComparison
Determines whether an identification variable can be used in a comparison expression when the operator is either '<', '<=', '>', '>='.- Parameters:
expression
- TheIdentificationVariable
that is mapped to either an entity, a singled-object value field, a collection-valued object field- Returns:
true
if it can be used in a ordering comparison expression;false
if it can't
-
isManagedTypeResolvable
Determines whether the given managed type actually exists.If it was going through Hermes SPI, the type of the argument would be
IManagedType
.- Returns:
true
if the given managed type can be located;false
if it could not be found
-
isPropertyMapping
Determines whether the given mapping is a property type mapping.If it was going through Hermes SPI, the type of the arguments would be
IMapping
.- Parameters:
mapping
- The mapping object to verify if it represents a property mapping- Returns:
true
if the given mapping is a property mapping;false
otherwise
-
isRelationshipMapping
Determines whether the given mapping is a relationship type mapping.If it was going through Hermes SPI, the type of the arguments would be
IMapping
.- Parameters:
mapping
- The mapping object to verify if it represents a relationship mapping- Returns:
true
if the given mapping is a relationship mapping;false
otherwise
-
isResultVariable
Determines if the given variable is a result variable.- Parameters:
variableName
- The variable to check if it's a result variable- Returns:
true
if the given variable is defined as a result variable;false
otherwise
-
isTransient
Determines whether the given mapping is a transient attribute.If it was going through Hermes SPI, the type of the arguments would be
IMapping
.- Parameters:
mapping
- The mapping object to verify if it represents a transient attribute- Returns:
true
if the given attribute is a transient mapping;false
otherwise
-
isTypeDeclarationAssignableTo
Determines whether type declaration 1 is an instance of type declaration 2.If it was going through Hermes SPI, the type of the arguments would be
ITypeDeclaration
.- Parameters:
typeDeclaration1
- The type declaration to check if it is an instance of type declaration 2typeDeclaration2
- The type used to determine if the class represented by type declaration 1 is an instance of with one- Returns:
true
if type declaration 1 is an instance of the type declaration 2;false
otherwise
-
isTypeResolvable
Determines whether the given type actually exists.If it was going through Hermes SPI, the type of the argument would be
IType
.- Returns:
true
if the actual class exists;false
otherwise
-
newSubqueryContext
Changes the state of this helper to use the given subquery.- Parameters:
expression
- The parsed tree representation of the subquery that will become the current query- See Also:
-
resolveMapping
Returns the mapping for the field represented by the givenExpression
.If it was going through Hermes SPI, the return type would be
IMapping
.- Parameters:
expression
- TheExpression
representing a state field path expression or a collection-valued path expression- Returns:
- Either the mapping or
null
if none exists
-
resolveMapping
Returns the mapping that should be a persistence field from the entity defined by the given identification variable.If it was going through Hermes SPI, the return type would be
IMapping
.- Parameters:
identificationVariable
- The identification variable that is defined in theFROM
clause of the query (which can be in the current subquery) or in one of the parent queries.name
- The name of the persistent field to retrieve- Returns:
- The persistence field with the given name or
null
if it could not be found
-