it.unibz.inf.ontop.model.term.functionsymbol.impl

Class CommonPropagatedOrSubstitutedNumericTypeFunctionSymbolImpl

java.lang.Object

it.unibz.inf.ontop.model.term.impl.PredicateImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.AbstractCommonDenominatorFunctionSymbol

it.unibz.inf.ontop.model.term.functionsymbol.impl.CommonPropagatedOrSubstitutedNumericTypeFunctionSymbolImpl

All Implemented Interfaces:

FunctionSymbol, Predicate

public class CommonPropagatedOrSubstitutedNumericTypeFunctionSymbolImpl
extends AbstractCommonDenominatorFunctionSymbol

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

FunctionSymbol.FunctionalTermNullability

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildTermAfterEvaluation(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) To be overridden by concrete classes Default case: looks for DBIfThen
protected Optional<RDFTermTypeConstant>	evaluateCombination(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants, Optional<RDFTermTypeConstant> optionalMergedTypeConstant, TermFactory termFactory)

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.AbstractCommonDenominatorFunctionSymbol

canBePostProcessed, enableIfElseNullLifting, inferType, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, mayReturnNullWithoutNullArguments, simplifyUsingMagicNumbers, tolerateNulls

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, transformIntoRegularArguments, tryToLiftMagicNumbers

Methods inherited from class it.unibz.inf.ontop.model.term.impl.PredicateImpl

equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName

Method Detail

buildTermAfterEvaluation

protected ImmutableTerm buildTermAfterEvaluation(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                 TermFactory termFactory,
                                                 VariableNullability variableNullability)

Description copied from class: AbstractCommonDenominatorFunctionSymbol

To be overridden by concrete classes Default case: looks for DBIfThen

Overrides:

buildTermAfterEvaluation in class AbstractCommonDenominatorFunctionSymbol

evaluateCombination

protected Optional<RDFTermTypeConstant> evaluateCombination(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants,
                                                            Optional<RDFTermTypeConstant> optionalMergedTypeConstant,
                                                            TermFactory termFactory)

Specified by:

evaluateCombination in class AbstractCommonDenominatorFunctionSymbol