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

Class AbstractDBConcatFunctionSymbol

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.AbstractTypedDBFunctionSymbol

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

All Implemented Interfaces:

DBConcatFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

Direct Known Subclasses:

NullRejectingDBConcatFunctionSymbol, NullToleratingDBConcatFunctionSymbol

public abstract class AbstractDBConcatFunctionSymbol
extends AbstractTypedDBFunctionSymbol
implements DBConcatFunctionSymbol

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	AbstractDBConcatFunctionSymbol(String nameInDialect, int arity, DBTermType dbStringType, DBTermType rootDBTermType, DBFunctionSymbolSerializer serializer)

Method Summary

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) To be overridden when is sometimes but not always injective in the absence of non-injective functional terms
String	getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Returns a String in the native query language.

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

getTargetType, inferType, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, tolerateNulls

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

buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, 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.db.DBFunctionSymbol

isPreferringToBePostProcessedOverBeingBlocked

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

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

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

getArity, getName

Constructor Detail

AbstractDBConcatFunctionSymbol

protected AbstractDBConcatFunctionSymbol(String nameInDialect,
                                         int arity,
                                         DBTermType dbStringType,
                                         DBTermType rootDBTermType,
                                         DBFunctionSymbolSerializer serializer)

Method Detail

analyzeInjectivity

public Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition> analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments,
                                                                                        com.google.common.collect.ImmutableSet<Variable> nonFreeVariables,
                                                                                        VariableNullability variableNullability,
                                                                                        VariableGenerator variableGenerator,
                                                                                        TermFactory termFactory)

Description copied from class: FunctionSymbolImpl

To be overridden when is sometimes but not always injective in the absence of non-injective functional terms

Specified by:

analyzeInjectivity in interface FunctionSymbol

Overrides:

analyzeInjectivity in class FunctionSymbolImpl

getNativeDBString

public String getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                Function<ImmutableTerm,String> termConverter,
                                TermFactory termFactory)

Description copied from interface: DBFunctionSymbolSerializer

Returns a String in the native query language.

Specified by:

getNativeDBString in interface DBFunctionSymbolSerializer