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

Class AbstractEncodeURIorIRIFunctionSymbol

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

All Implemented Interfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate, Serializable

Direct Known Subclasses:

MockupEncodeURIorIRIFunctionSymbol

public abstract class AbstractEncodeURIorIRIFunctionSymbol
extends AbstractTypedDBFunctionSymbol

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AbstractEncodeURIorIRIFunctionSymbol.EnDecoderForURI Not preserving international characters
protected static class	AbstractEncodeURIorIRIFunctionSymbol.IRISafeEnDecoder reserving international characters

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractEncodeURIorIRIFunctionSymbol(DBTermType dbStringType, boolean preserveInternationalChars)

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) By default, just build a new functional term.
protected IncrementalEvaluation	evaluateStrictEqWithNonNullConstant(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation, does nothing, can be overridden
protected boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, 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.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

AbstractEncodeURIorIRIFunctionSymbol

protected AbstractEncodeURIorIRIFunctionSymbol(DBTermType dbStringType,
                                               boolean preserveInternationalChars)

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: FunctionSymbolImpl

By default, just build a new functional term. NB: If the function symbol does not tolerate NULL values, no need to handle them here.

Overrides:

buildTermAfterEvaluation in class FunctionSymbolImpl

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

protected boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()

Description copied from class: FunctionSymbolImpl

When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)

Specified by:

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms in class FunctionSymbolImpl

evaluateStrictEqWithNonNullConstant

protected IncrementalEvaluation evaluateStrictEqWithNonNullConstant(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                                                    NonNullConstant otherTerm,
                                                                    TermFactory termFactory,
                                                                    VariableNullability variableNullability)

Description copied from class: FunctionSymbolImpl

Default implementation, does nothing, can be overridden

Overrides:

evaluateStrictEqWithNonNullConstant in class FunctionSymbolImpl