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:

it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol, it.unibz.inf.ontop.model.term.functionsymbol.Predicate

public class Int2IRIStringFunctionSymbolImpl
extends it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

Should be ALWAYS post-processed

Nested Class Summary

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

it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Constructor and Description
Int2IRIStringFunctionSymbolImpl(it.unibz.inf.ontop.model.type.DBTermType integerType, it.unibz.inf.ontop.model.type.DBTermType dbStringType, IRIDictionary iriDictionary)

Method Summary

Modifier and Type	Method and Description
protected it.unibz.inf.ontop.model.term.ImmutableTerm	buildTermAfterEvaluation(com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.term.ImmutableTerm> newTerms, it.unibz.inf.ontop.model.term.TermFactory termFactory, it.unibz.inf.ontop.iq.node.VariableNullability variableNullability)
boolean	canBePostProcessed(com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.ImmutableTerm> arguments)
protected it.unibz.inf.ontop.model.term.IncrementalEvaluation	evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.ImmutableTerm> terms, it.unibz.inf.ontop.model.term.NonNullConstant otherTerm, it.unibz.inf.ontop.model.term.TermFactory termFactory, it.unibz.inf.ontop.iq.node.VariableNullability variableNullability)
Optional<it.unibz.inf.ontop.model.type.TermTypeInference>	inferType(com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.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, 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.Predicate

getArity, getName

Constructor Detail

Int2IRIStringFunctionSymbolImpl

public Int2IRIStringFunctionSymbolImpl(@Nonnull
                                       it.unibz.inf.ontop.model.type.DBTermType integerType,
                                       @Nonnull
                                       it.unibz.inf.ontop.model.type.DBTermType dbStringType,
                                       @Nonnull
                                       IRIDictionary iriDictionary)

Method Detail

tolerateNulls

protected boolean tolerateNulls()

Specified by:

tolerateNulls in class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

mayReturnNullWithoutNullArguments

protected boolean mayReturnNullWithoutNullArguments()

Specified by:

mayReturnNullWithoutNullArguments in class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

public boolean isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms()

Specified by:

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms in class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

inferType

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

canBePostProcessed

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

buildTermAfterEvaluation

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

Overrides:

buildTermAfterEvaluation in class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

evaluateStrictEqWithNonNullConstant

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

Overrides:

evaluateStrictEqWithNonNullConstant in class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl