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

Class DefaultCastIntegerToStringFunctionSymbol

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

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

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

All Implemented Interfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, DBTypeConversionFunctionSymbol, FunctionSymbol, Predicate, Serializable

public class DefaultCastIntegerToStringFunctionSymbol
extends DefaultSimpleDBCastFunctionSymbol

Can simplify itself in case of strict equalities with a constant

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class it.unibz.inf.ontop.model.term.functionsymbol.db.impl.AbstractDBTypeConversionFunctionSymbolImpl

AbstractDBTypeConversionFunctionSymbolImpl.DBTypeConversionException

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DefaultCastIntegerToStringFunctionSymbol(DBTermType inputType, DBTermType dbStringType, DBFunctionSymbolSerializer serializer)

Method Summary

Modifier and Type	Method and Description
protected IncrementalEvaluation	evaluateStrictEqWithNonNullConstant(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability) Gets rid of the cast and simplifies the strict equality

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

buildFromVariable, buildTermFromFunctionalTerm, canBePostProcessed, convertDBConstant, getInputType, getNativeDBString, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isSimple, isTemporary, perform2ndStepEvaluationStrictEqWithConstant

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

buildTermAfterEvaluation

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.db.DBTypeConversionFunctionSymbol

getTargetType, isTemporary, uncast

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, 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

DefaultCastIntegerToStringFunctionSymbol

protected DefaultCastIntegerToStringFunctionSymbol(@Nonnull
                                                   DBTermType inputType,
                                                   DBTermType dbStringType,
                                                   DBFunctionSymbolSerializer serializer)

Method Detail

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

Gets rid of the cast and simplifies the strict equality

Overrides:

evaluateStrictEqWithNonNullConstant in class DefaultSimpleDBCastFunctionSymbol