it.unibz.inf.ontop.iq.node.impl

Class ExtendedProjectionNodeImpl

java.lang.Object

it.unibz.inf.ontop.iq.node.impl.QueryNodeImpl

it.unibz.inf.ontop.iq.node.impl.CompositeQueryNodeImpl

it.unibz.inf.ontop.iq.node.impl.ExtendedProjectionNodeImpl

All Implemented Interfaces:

ExplicitVariableProjectionNode, ExtendedProjectionNode, QueryNode, UnaryOperatorNode, Cloneable

Direct Known Subclasses:

AggregationNodeImpl, ConstructionNodeImpl

public abstract class ExtendedProjectionNodeImpl
extends CompositeQueryNodeImpl
implements ExtendedProjectionNode

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static interface	ExtendedProjectionNodeImpl.DescendingSubstitutionChildUpdateFunction
protected class	ExtendedProjectionNodeImpl.EmptyTreeException

Constructor Summary

Constructors

Constructor and Description
ExtendedProjectionNodeImpl(SubstitutionFactory substitutionFactory, IntermediateQueryFactory iqFactory, ImmutableUnificationTools unificationTools, ConstructionNodeTools constructionNodeTools, ImmutableSubstitutionTools substitutionTools, TermFactory termFactory, CoreUtilsFactory coreUtilsFactory)

Method Summary

Modifier and Type	Method and Description
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, IQTree child)
protected abstract Optional<ExtendedProjectionNode>	computeNewProjectionNode(com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
VariableNullability	getVariableNullability(IQTree child)
boolean	isConstructed(Variable variable, IQTree child)
IQTree	propagateDownConstraint(ImmutableExpression constraint, IQTree child)

Methods inherited from class it.unibz.inf.ontop.iq.node.impl.QueryNodeImpl

clone

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.iq.node.ExtendedProjectionNode

getChildVariables, getSubstitution

Methods inherited from interface it.unibz.inf.ontop.iq.node.ExplicitVariableProjectionNode

getVariables

Methods inherited from interface it.unibz.inf.ontop.iq.node.UnaryOperatorNode

acceptNodeTransformer, acceptTransformer, acceptVisitor, applyFreshRenaming, computeNotInternallyRequiredVariables, getPossibleVariableDefinitions, inferUniqueConstraints, isDistinct, liftIncompatibleDefinitions, normalizeForOptimization, removeDistincts, validateNode

Methods inherited from interface it.unibz.inf.ontop.iq.node.QueryNode

acceptVisitor, clone, getLocallyDefinedVariables, getLocallyRequiredVariables, getLocalVariables, getRequiredVariables, isEquivalentTo, isSyntacticallyEquivalentTo, isVariableNullable

Constructor Detail

ExtendedProjectionNodeImpl

public ExtendedProjectionNodeImpl(SubstitutionFactory substitutionFactory,
                                  IntermediateQueryFactory iqFactory,
                                  ImmutableUnificationTools unificationTools,
                                  ConstructionNodeTools constructionNodeTools,
                                  ImmutableSubstitutionTools substitutionTools,
                                  TermFactory termFactory,
                                  CoreUtilsFactory coreUtilsFactory)

Method Detail

applyDescendingSubstitution

public IQTree applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                          Optional<ImmutableExpression> constraint,
                                          IQTree child)

Specified by:

applyDescendingSubstitution in interface UnaryOperatorNode

applyDescendingSubstitutionWithoutOptimizing

public IQTree applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                           IQTree child)

Specified by:

applyDescendingSubstitutionWithoutOptimizing in interface UnaryOperatorNode

computeNewProjectionNode

protected abstract Optional<ExtendedProjectionNode> computeNewProjectionNode(com.google.common.collect.ImmutableSet<Variable> newProjectedVariables,
                                                                             ImmutableSubstitution<ImmutableTerm> theta,
                                                                             IQTree newChild)

propagateDownConstraint

public IQTree propagateDownConstraint(ImmutableExpression constraint,
                                      IQTree child)

Specified by:

propagateDownConstraint in interface UnaryOperatorNode

getVariableNullability

public VariableNullability getVariableNullability(IQTree child)

Specified by:

getVariableNullability in interface UnaryOperatorNode

isConstructed

public boolean isConstructed(Variable variable,
                             IQTree child)

Specified by:

isConstructed in interface UnaryOperatorNode