it.unibz.inf.ontop.spec.mapping.transformer.impl

Class MappingEqualityTransformerImpl.ExpressionTransformer

java.lang.Object

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

it.unibz.inf.ontop.spec.mapping.transformer.impl.MappingEqualityTransformerImpl.ExpressionTransformer

All Implemented Interfaces:

it.unibz.inf.ontop.iq.transform.IQTreeTransformer, it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Enclosing class:

MappingEqualityTransformerImpl

protected static class MappingEqualityTransformerImpl.ExpressionTransformer
extends it.unibz.inf.ontop.iq.transform.impl.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(it.unibz.inf.ontop.iq.type.UniqueTermTypeExtractor typeExtractor, CoreSingletons coreSingletons)

Method Summary

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

Method Detail

transformConstruction

public it.unibz.inf.ontop.iq.IQTree transformConstruction(it.unibz.inf.ontop.iq.IQTree tree,
                                                          it.unibz.inf.ontop.iq.node.ConstructionNode rootNode,
                                                          it.unibz.inf.ontop.iq.IQTree child)

Specified by:

transformConstruction in interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Overrides:

transformConstruction in class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformAggregation

public it.unibz.inf.ontop.iq.IQTree transformAggregation(it.unibz.inf.ontop.iq.IQTree tree,
                                                         it.unibz.inf.ontop.iq.node.AggregationNode rootNode,
                                                         it.unibz.inf.ontop.iq.IQTree child)

Specified by:

transformAggregation in interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Overrides:

transformAggregation in class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformFilter

public it.unibz.inf.ontop.iq.IQTree transformFilter(it.unibz.inf.ontop.iq.IQTree tree,
                                                    it.unibz.inf.ontop.iq.node.FilterNode rootNode,
                                                    it.unibz.inf.ontop.iq.IQTree child)

Specified by:

transformFilter in interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Overrides:

transformFilter in class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformOrderBy

public it.unibz.inf.ontop.iq.IQTree transformOrderBy(it.unibz.inf.ontop.iq.IQTree tree,
                                                     it.unibz.inf.ontop.iq.node.OrderByNode rootNode,
                                                     it.unibz.inf.ontop.iq.IQTree child)

Specified by:

transformOrderBy in interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Overrides:

transformOrderBy in class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformLeftJoin

public it.unibz.inf.ontop.iq.IQTree transformLeftJoin(it.unibz.inf.ontop.iq.IQTree tree,
                                                      it.unibz.inf.ontop.iq.node.LeftJoinNode rootNode,
                                                      it.unibz.inf.ontop.iq.IQTree leftChild,
                                                      it.unibz.inf.ontop.iq.IQTree rightChild)

Specified by:

transformLeftJoin in interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Overrides:

transformLeftJoin in class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformInnerJoin

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

Specified by:

transformInnerJoin in interface it.unibz.inf.ontop.iq.transform.IQTreeVisitingTransformer

Overrides:

transformInnerJoin in class it.unibz.inf.ontop.iq.transform.impl.DefaultRecursiveIQTreeVisitingTransformer

transformTerm

protected it.unibz.inf.ontop.model.term.ImmutableTerm transformTerm(it.unibz.inf.ontop.model.term.ImmutableTerm term,
                                                                    it.unibz.inf.ontop.iq.IQTree tree)

transformNonGroundTerm

protected it.unibz.inf.ontop.model.term.NonGroundTerm transformNonGroundTerm(it.unibz.inf.ontop.model.term.NonGroundTerm term,
                                                                             it.unibz.inf.ontop.iq.IQTree tree)

transformExpression

protected it.unibz.inf.ontop.model.term.ImmutableExpression transformExpression(it.unibz.inf.ontop.model.term.ImmutableExpression expression,
                                                                                it.unibz.inf.ontop.iq.IQTree tree)

transformFunctionalTerm

protected it.unibz.inf.ontop.model.term.ImmutableFunctionalTerm transformFunctionalTerm(it.unibz.inf.ontop.model.term.ImmutableFunctionalTerm functionalTerm,
                                                                                        it.unibz.inf.ontop.iq.IQTree tree)

Recursive

transformEquality

protected it.unibz.inf.ontop.model.term.ImmutableExpression transformEquality(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.term.ImmutableTerm> newTerms,
                                                                              it.unibz.inf.ontop.iq.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 it.unibz.inf.ontop.model.term.ImmutableExpression transformDifferentTypesEquality(it.unibz.inf.ontop.model.type.DBTermType type1,
                                                                                            it.unibz.inf.ontop.model.type.DBTermType type2,
                                                                                            it.unibz.inf.ontop.model.term.ImmutableTerm term1,
                                                                                            it.unibz.inf.ontop.model.term.ImmutableTerm term2)

areIndependentFromConstants

protected boolean areIndependentFromConstants(it.unibz.inf.ontop.model.term.ImmutableTerm term1,
                                              it.unibz.inf.ontop.model.term.ImmutableTerm term2,
                                              it.unibz.inf.ontop.iq.IQTree tree)