it.unibz.inf.ontop.iq.type.impl

Class NotYetTypedEqualityTransformerImpl.ExpressionTransformer

java.lang.Object

it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

it.unibz.inf.ontop.iq.type.impl.NotYetTypedEqualityTransformerImpl.ExpressionTransformer

All Implemented Interfaces:

IQTreeTransformer, IQTreeVisitingTransformer

Enclosing class:

NotYetTypedEqualityTransformerImpl

protected static class NotYetTypedEqualityTransformerImpl.ExpressionTransformer
extends DefaultRecursiveIQTreeVisitingTransformer

Field Summary

Fields inherited from class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

iqFactory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExpressionTransformer(IntermediateQueryFactory iqFactory, UniqueTermTypeExtractor typeExtractor, TermFactory termFactory, SubstitutionFactory substitutionFactory)

Method Summary

Modifier and Type	Method and Description
protected boolean	areIndependentFromConstants(ImmutableTerm term1, ImmutableTerm term2, IQTree tree)
IQTree	transformAggregation(IQTree tree, AggregationNode rootNode, IQTree child)
IQTree	transformConstruction(IQTree tree, ConstructionNode rootNode, IQTree child)
protected ImmutableExpression	transformDifferentTypesEquality(DBTermType type1, DBTermType type2, ImmutableTerm term1, ImmutableTerm term2)
protected ImmutableExpression	transformEquality(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, IQTree tree) NB: It tries to reduce equalities into strict equalities.
protected ImmutableExpression	transformExpression(ImmutableExpression expression, IQTree tree)
IQTree	transformFilter(IQTree tree, FilterNode rootNode, IQTree child)
protected ImmutableFunctionalTerm	transformFunctionalTerm(ImmutableFunctionalTerm functionalTerm, IQTree tree) Recursive
IQTree	transformInnerJoin(IQTree tree, InnerJoinNode rootNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	transformLeftJoin(IQTree tree, LeftJoinNode rootNode, IQTree leftChild, IQTree rightChild)
protected NonGroundTerm	transformNonGroundTerm(NonGroundTerm term, IQTree tree)
IQTree	transformOrderBy(IQTree tree, OrderByNode rootNode, IQTree child)
protected ImmutableTerm	transformTerm(ImmutableTerm term, IQTree tree)

Methods inherited from class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformBinaryNonCommutativeNode, transformDistinct, transformEmpty, transformExtensionalData, transformIntensionalData, transformLeaf, transformNaryCommutativeNode, transformNonStandardBinaryNonCommutativeNode, transformNonStandardLeafNode, transformNonStandardNaryNode, transformNonStandardUnaryNode, transformSlice, transformTrue, transformUnaryNode, transformUnion

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

transform

Constructor Detail

ExpressionTransformer

protected ExpressionTransformer(IntermediateQueryFactory iqFactory,
                                UniqueTermTypeExtractor typeExtractor,
                                TermFactory termFactory,
                                SubstitutionFactory substitutionFactory)

Method Detail

transformConstruction

public IQTree transformConstruction(IQTree tree,
                                    ConstructionNode rootNode,
                                    IQTree child)

Specified by:

transformConstruction in interface IQTreeVisitingTransformer

Overrides:

transformConstruction in class DefaultRecursiveIQTreeVisitingTransformer

transformAggregation

public IQTree transformAggregation(IQTree tree,
                                   AggregationNode rootNode,
                                   IQTree child)

Specified by:

transformAggregation in interface IQTreeVisitingTransformer

Overrides:

transformAggregation in class DefaultRecursiveIQTreeVisitingTransformer

transformFilter

public IQTree transformFilter(IQTree tree,
                              FilterNode rootNode,
                              IQTree child)

Specified by:

transformFilter in interface IQTreeVisitingTransformer

Overrides:

transformFilter in class DefaultRecursiveIQTreeVisitingTransformer

transformOrderBy

public IQTree transformOrderBy(IQTree tree,
                               OrderByNode rootNode,
                               IQTree child)

Specified by:

transformOrderBy in interface IQTreeVisitingTransformer

Overrides:

transformOrderBy in class DefaultRecursiveIQTreeVisitingTransformer

transformLeftJoin

public IQTree transformLeftJoin(IQTree tree,
                                LeftJoinNode rootNode,
                                IQTree leftChild,
                                IQTree rightChild)

Specified by:

transformLeftJoin in interface IQTreeVisitingTransformer

Overrides:

transformLeftJoin in class DefaultRecursiveIQTreeVisitingTransformer

transformInnerJoin

public IQTree transformInnerJoin(IQTree tree,
                                 InnerJoinNode rootNode,
                                 it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

Specified by:

transformInnerJoin in interface IQTreeVisitingTransformer

Overrides:

transformInnerJoin in class DefaultRecursiveIQTreeVisitingTransformer

transformTerm

protected ImmutableTerm transformTerm(ImmutableTerm term,
                                      IQTree tree)

transformNonGroundTerm

protected NonGroundTerm transformNonGroundTerm(NonGroundTerm term,
                                               IQTree tree)

transformExpression

protected ImmutableExpression transformExpression(ImmutableExpression expression,
                                                  IQTree tree)

transformFunctionalTerm

protected ImmutableFunctionalTerm transformFunctionalTerm(ImmutableFunctionalTerm functionalTerm,
                                                          IQTree tree)

Recursive

transformEquality

protected ImmutableExpression transformEquality(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                IQTree tree)

NB: It tries to reduce equalities into strict equalities. Essential for integers and strings as these kinds of types are often used to build IRIs.

transformDifferentTypesEquality

protected ImmutableExpression transformDifferentTypesEquality(DBTermType type1,
                                                              DBTermType type2,
                                                              ImmutableTerm term1,
                                                              ImmutableTerm term2)

areIndependentFromConstants

protected boolean areIndependentFromConstants(ImmutableTerm term1,
                                              ImmutableTerm term2,
                                              IQTree tree)