Class GenericSemanticValidatorHelper

  • All Implemented Interfaces:
    SemanticValidatorHelper

    public class GenericSemanticValidatorHelper
    extends java.lang.Object
    implements SemanticValidatorHelper
    An implementation of SemanticValidatorHelper that uses JPQLQueryContext to return the required information and 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.

    Version:
    2.5
    Author:
    Pascal Filion
    Since:
    2.4
    • Constructor Detail

      • GenericSemanticValidatorHelper

        public GenericSemanticValidatorHelper​(JPQLQueryContext queryContext)
        Creates a new GenericSemanticValidatorHelper.
        Parameters:
        queryContext - The context used to query information about the JPQL query
        Throws:
        java.lang.NullPointerException - The given JPQLQueryContext cannot be null
    • Method Detail

      • addIdentificationVariable

        protected void addIdentificationVariable​(IdentificationVariable identificationVariable,
                                                 java.util.Map<java.lang.String,​java.util.List<IdentificationVariable>> identificationVariables)
      • collectAllDeclarationIdentificationVariables

        public void collectAllDeclarationIdentificationVariables​(java.util.Map<java.lang.String,​java.util.List<IdentificationVariable>> identificationVariables)
        Collects the identification variables that are defined in the FROM clause of the current query and from the parent queries.
        Specified by:
        collectAllDeclarationIdentificationVariables in interface SemanticValidatorHelper
        Parameters:
        identificationVariables - The Map used to store the variables
      • collectLocalDeclarationIdentificationVariables

        protected void collectLocalDeclarationIdentificationVariables​(JPQLQueryContext queryContext,
                                                                      java.util.Map<java.lang.String,​java.util.List<IdentificationVariable>> identificationVariables)
      • collectLocalDeclarationIdentificationVariables

        public void collectLocalDeclarationIdentificationVariables​(java.util.Map<java.lang.String,​java.util.List<IdentificationVariable>> identificationVariables)
        Collects the identification variables that are defined in the FROM clause of the current query.
        Specified by:
        collectLocalDeclarationIdentificationVariables in interface SemanticValidatorHelper
        Parameters:
        identificationVariables - The Map used to store the variables
      • disposeSubqueryContext

        public 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.
        Specified by:
        disposeSubqueryContext in interface SemanticValidatorHelper
      • entityNames

        public java.lang.String[] entityNames()
        Returns the name of the all entities that are present in the context of a persistence unit.
        Specified by:
        entityNames in interface SemanticValidatorHelper
        Returns:
        The list of entity names
      • getConstructors

        public IConstructor[] getConstructors​(java.lang.Object type)
        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 be IConstructor.

        Specified by:
        getConstructors in interface SemanticValidatorHelper
        Returns:
        The declared constructors
      • getEmbeddable

        public IManagedType getEmbeddable​(java.lang.Object type)
        Retrieves the embeddable with the given type.
        Specified by:
        getEmbeddable in interface SemanticValidatorHelper
        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

        public IEntity getEntityNamed​(java.lang.String entityName)
        Retrieves the entity with the given entity name.
        Specified by:
        getEntityNamed in interface SemanticValidatorHelper
        Parameters:
        entityName - The abstract schema name of the entity to retrieve
        Returns:
        The entity with the given name; null otherwise
      • getEnumConstants

        public java.lang.String[] getEnumConstants​(java.lang.Object type)
        Returns the constant names for the given Enum type.

        If it was going through Hermes SPI, the type of the argument would be IType.

        Specified by:
        getEnumConstants in interface SemanticValidatorHelper
        Parameters:
        type - The Enum type
        Returns:
        The list of constant names
      • getMappingNamed

        public IMapping getMappingNamed​(java.lang.Object managedType,
                                        java.lang.String path)
        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 be IMapping.

        Specified by:
        getMappingNamed in interface SemanticValidatorHelper
        Parameters:
        managedType - The managed type that has a mapping with the given name
        path - The name of the mapping to retrieve
        Returns:
        Either the mapping or null if it could not be found
      • getMappingType

        public IType getMappingType​(java.lang.Object mapping)
        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 be IType.

        Specified by:
        getMappingType in interface SemanticValidatorHelper
        Parameters:
        mapping - The mapping object
        Returns:
        The type of the given mapping
      • getMethodParameterTypeDeclarations

        public ITypeDeclaration[] getMethodParameterTypeDeclarations​(java.lang.Object constructor)
        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 be ITypeDeclaration.

        Specified by:
        getMethodParameterTypeDeclarations in interface SemanticValidatorHelper
        Parameters:
        constructor - The constructor to return its parameter types
        Returns:
        The list of parameter types or an empty list
      • getQueryContext

        public JPQLQueryContext getQueryContext()
        Returns the context used to query information about the JPQL query.
        Returns:
        The context used to query information about the JPQL query
      • getReferenceManagedType

        public IManagedType getReferenceManagedType​(java.lang.Object relationshipMapping)
        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 be IManagedType.

        Specified by:
        getReferenceManagedType in interface SemanticValidatorHelper
        Parameters:
        relationshipMapping - The relationship mapping
        Returns:
        The managed type referenced by the given relationship mapping
      • getType

        public IType getType​(java.lang.Object typeDeclaration)
        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 be IType.

        Specified by:
        getType in interface SemanticValidatorHelper
        Returns:
        The type defined for the Java member
      • getType

        public IType getType​(java.lang.String typeName)
        Retrieves the class with the given fully qualified name.

        If it was going through Hermes SPI, an IType would be returned.

        Specified by:
        getType in interface SemanticValidatorHelper
        Parameters:
        typeName - The fully qualified name of the class to retrieve
        Returns:
        The class to retrieve
      • getTypeHelper

        public ITypeHelper getTypeHelper()
        Returns the helper that gives access to the most common class metadata.
        Specified by:
        getTypeHelper in interface SemanticValidatorHelper
        Returns:
        A helper containing a collection of methods related to class metadata
      • getTypeName

        public java.lang.String getTypeName​(java.lang.Object type)
        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.

        Specified by:
        getTypeName in interface SemanticValidatorHelper
        Parameters:
        type - The type to retrieve its name
        Returns:
        The name of the class represented by this one
      • isAssignableTo

        public boolean isAssignableTo​(java.lang.Object type1,
                                      java.lang.Object type2)
        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.

        Specified by:
        isAssignableTo in interface SemanticValidatorHelper
        Parameters:
        type1 - The type to check if it is an instance of type 2
        type2 - 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

        public boolean isCollectionIdentificationVariable​(java.lang.String variableName)
        Determines whether the given identification variable is defining a join or a collection member declaration expressions.
        Specified by:
        isCollectionIdentificationVariable in interface SemanticValidatorHelper
        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 a JOIN or IN expression; false if it's not defined or it's mapping an abstract schema name
      • isCollectionMapping

        public boolean isCollectionMapping​(java.lang.Object mapping)
        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.

        Specified by:
        isCollectionMapping in interface SemanticValidatorHelper
        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

        public boolean isEmbeddableMapping​(java.lang.Object mapping)
        Description copied from interface: SemanticValidatorHelper
        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.

        Specified by:
        isEmbeddableMapping in interface SemanticValidatorHelper
        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

        public boolean isEnumType​(java.lang.Object type)
        Determines whether the given type represents an Enum.

        If it was going through Hermes SPI, the type of the argument would be IType.

        Specified by:
        isEnumType in interface SemanticValidatorHelper
        Returns:
        true if the given type is an Enum; false otherwise
      • isIdentificationVariableValidInComparison

        public boolean isIdentificationVariableValidInComparison​(IdentificationVariable expression)
        Determines whether an identification variable can be used in a comparison expression when the operator is either '<', '<=', '>', '>='.
        Specified by:
        isIdentificationVariableValidInComparison in interface SemanticValidatorHelper
        Parameters:
        expression - The IdentificationVariable 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

        public boolean isManagedTypeResolvable​(java.lang.Object managedType)
        Determines whether the given managed type actually exists.

        If it was going through Hermes SPI, the type of the argument would be IManagedType.

        Specified by:
        isManagedTypeResolvable in interface SemanticValidatorHelper
        Returns:
        true if the given managed type can be located; false if it could not be found
      • isPropertyMapping

        public boolean isPropertyMapping​(java.lang.Object mapping)
        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.

        Specified by:
        isPropertyMapping in interface SemanticValidatorHelper
        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

        public boolean isRelationshipMapping​(java.lang.Object mapping)
        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.

        Specified by:
        isRelationshipMapping in interface SemanticValidatorHelper
        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

        public boolean isResultVariable​(java.lang.String variableName)
        Determines if the given variable is a result variable.
        Specified by:
        isResultVariable in interface SemanticValidatorHelper
        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

        public boolean isTransient​(java.lang.Object mapping)
        Determines whether the given mapping is a transient attribute.

        If it was going through Hermes SPI, the type of the arguments would be IMapping.

        Specified by:
        isTransient in interface SemanticValidatorHelper
        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

        public boolean isTypeDeclarationAssignableTo​(java.lang.Object typeDeclaration1,
                                                     java.lang.Object typeDeclaration2)
        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.

        Specified by:
        isTypeDeclarationAssignableTo in interface SemanticValidatorHelper
        Parameters:
        typeDeclaration1 - The type declaration to check if it is an instance of type declaration 2
        typeDeclaration2 - 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

        public boolean isTypeResolvable​(java.lang.Object type)
        Determines whether the given type actually exists.

        If it was going through Hermes SPI, the type of the argument would be IType.

        Specified by:
        isTypeResolvable in interface SemanticValidatorHelper
        Returns:
        true if the actual class exists; false otherwise
      • resolveMapping

        public IMapping resolveMapping​(Expression expression)
        Returns the mapping for the field represented by the given Expression.

        If it was going through Hermes SPI, the return type would be IMapping.

        Specified by:
        resolveMapping in interface SemanticValidatorHelper
        Parameters:
        expression - The Expression representing a state field path expression or a collection-valued path expression
        Returns:
        Either the mapping or null if none exists
      • resolveMapping

        public IMapping resolveMapping​(java.lang.String variableName,
                                       java.lang.String name)
        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.

        Specified by:
        resolveMapping in interface SemanticValidatorHelper
        Parameters:
        variableName - The identification variable that is defined in the FROM 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