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

Class AbstractArgDependentTypedDBFunctionSymbol

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.db.impl.AbstractArgDependentTypedDBFunctionSymbol

All Implemented Interfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

Direct Known Subclasses:

AbstractDBIfThenFunctionSymbol, DBIntIndexFunctionSymbolImpl, DefaultDBCoalesceFunctionSymbol, NullIfDBFunctionSymbolImpl

public abstract class AbstractArgDependentTypedDBFunctionSymbol
extends FunctionSymbolImpl
implements DBFunctionSymbol

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractArgDependentTypedDBFunctionSymbol(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)

Method Summary

Modifier and Type	Method and Description
protected abstract Stream<? extends ImmutableTerm>	extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Is supposed to be strongly typed: does not compare the types of the possible values because they are supposed to be the sames.

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

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

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

clone, equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

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

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

isPreferringToBePostProcessedOverBeingBlocked

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

analyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

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

getNativeDBString

Constructor Detail

AbstractArgDependentTypedDBFunctionSymbol

protected AbstractArgDependentTypedDBFunctionSymbol(@Nonnull
                                                    String name,
                                                    @Nonnull
                                                    com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)

Method Detail

inferType

public Optional<TermTypeInference> inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Is supposed to be strongly typed: does not compare the types of the possible values because they are supposed to be the sames.

Specified by:

inferType in interface FunctionSymbol

extractPossibleValues

protected abstract Stream<? extends ImmutableTerm> extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)