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

Class Int2IRIStringFunctionSymbolImpl

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

All Implemented Interfaces:

FunctionSymbol, Predicate

public class Int2IRIStringFunctionSymbolImpl
extends FunctionSymbolImpl

Should be ALWAYS post-processed

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Constructor	Description
Int2IRIStringFunctionSymbolImpl(DBTermType integerType, DBTermType dbStringType, IRIDictionary iriDictionary)

Method Summary

Modifier and Type	Method	Description
protected ImmutableTerm	buildTermAfterEvaluation(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
boolean	canBePostProcessed(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
protected IncrementalEvaluation	evaluateStrictEqWithNonNullConstant(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
Optional<TermTypeInference>	inferType(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()
protected boolean	mayReturnNullWithoutNullArguments()
protected boolean	tolerateNulls()

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, canBeSafelyDecomposedIntoConjunctionWhenInjective, decomposeInjectiveTopFunctionalTerm, enableCoalesceLifting, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, shouldBeDecomposedInUnion, 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

Constructor Detail

Int2IRIStringFunctionSymbolImpl

public Int2IRIStringFunctionSymbolImpl(@Nonnull
                                       DBTermType integerType,
                                       @Nonnull
                                       DBTermType dbStringType,
                                       @Nonnull
                                       IRIDictionary iriDictionary)

Method Detail

tolerateNulls

protected boolean tolerateNulls()

Specified by:

tolerateNulls in class FunctionSymbolImpl

mayReturnNullWithoutNullArguments

protected boolean mayReturnNullWithoutNullArguments()

Specified by:

mayReturnNullWithoutNullArguments in class FunctionSymbolImpl

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

public boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()

Specified by:

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms in class FunctionSymbolImpl

inferType

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

canBePostProcessed

public boolean canBePostProcessed(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)

buildTermAfterEvaluation

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

Overrides:

buildTermAfterEvaluation 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)

Overrides:

evaluateStrictEqWithNonNullConstant in class FunctionSymbolImpl