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

Class DefaultSimpleDBCastFunctionSymbol

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

All Implemented Interfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, DBTypeConversionFunctionSymbol, FunctionSymbol, Predicate

Direct Known Subclasses:

DefaultCastIntegerToStringFunctionSymbol, DefaultSimpleDBBooleanCastFunctionSymbol, MockupSimpleDBCastFunctionSymbol, NonPostProcessedSimpleDBCastFunctionSymbol

public class DefaultSimpleDBCastFunctionSymbol
extends AbstractDBTypeConversionFunctionSymbolImpl

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	DefaultSimpleDBCastFunctionSymbol(DBTermType inputBaseType, DBTermType targetType, DBFunctionSymbolSerializer serializer)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildFromVariable(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Default implementation
protected ImmutableTerm	buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability) Tries to simplify nested casts
boolean	canBePostProcessed(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) 1.
protected DBConstant	convertDBConstant(DBConstant constant, TermFactory termFactory)
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
Optional<DBTermType>	getInputType()
String	getNativeDBString(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Returns a String in the native query language.
boolean	isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms() When the function symbol is, in the absence of non-injective functional sub-terms, sometimes but not always injective, please override isInjective(...)
boolean	isSimple() Returns true if does not transform the string representation of the value (i.e.
boolean	isTemporary()
protected IncrementalEvaluation	perform2ndStepEvaluationStrictEqWithConstant(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, String otherLexicalValue, TermFactory termFactory, VariableNullability variableNullability) After making the compatibility checks (2nd step) Low-level.

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

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

DefaultSimpleDBCastFunctionSymbol

protected DefaultSimpleDBCastFunctionSymbol(@Nonnull
                                            DBTermType inputBaseType,
                                            DBTermType targetType,
                                            DBFunctionSymbolSerializer serializer)

Method Detail

convertDBConstant

protected DBConstant convertDBConstant(DBConstant constant,
                                       TermFactory termFactory)

Specified by:

convertDBConstant in class AbstractDBTypeConversionFunctionSymbolImpl

buildTermFromFunctionalTerm

protected ImmutableTerm buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm,
                                                    TermFactory termFactory,
                                                    VariableNullability variableNullability)

Tries to simplify nested casts

Overrides:

buildTermFromFunctionalTerm in class AbstractDBTypeConversionFunctionSymbolImpl

buildFromVariable

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

Description copied from class: AbstractDBTypeConversionFunctionSymbolImpl

Default implementation

Overrides:

buildFromVariable in class AbstractDBTypeConversionFunctionSymbolImpl

getInputType

public Optional<DBTermType> getInputType()

isSimple

public boolean isSimple()

Description copied from interface: DBTypeConversionFunctionSymbol

Returns true if does not transform the string representation of the value (i.e. no normalization). Useful for simplifying nested casts ( A-to-B(B-to-A(x)) === x if both casts are simple)

isTemporary

public boolean isTemporary()

isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

public 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

canBePostProcessed

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

Description copied from interface: FunctionSymbol

1. When a functional term simplifies itself in a BOTTOM-UP manner: Returns true if is guaranteed to "simplify itself" as a Constant when receiving Constants as arguments (outside the optimization phase) . 2. When a functional term simplifies itself in a TOP-DOWN manner (e.g. IF-THEN-ELSE functional terms): The permission for post-processing may depend on the ability of sub-functional terms to be post-processed or safely evaluated by the DB engine. (Recall that top-down evaluation allows some arguments not to be evaluated when their pre-conditions are not met. This is particularly valuable for preventing fatal errors).

getNativeDBString

public String getNativeDBString(it.unibz.inf.ontop.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.

evaluateStrictEqWithNonNullConstant

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

Overrides:

evaluateStrictEqWithNonNullConstant in class FunctionSymbolImpl

perform2ndStepEvaluationStrictEqWithConstant

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

After making the compatibility checks (2nd step) Low-level.