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

Class WrappedDBBooleanCaseFunctionSymbolImpl

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

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

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

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, DBIfThenFunctionSymbol, FunctionSymbol, Predicate

public class WrappedDBBooleanCaseFunctionSymbolImpl
extends DBBooleanCaseFunctionSymbolImpl

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Field Summary

Fields inherited from class it.unibz.inf.ontop.model.term.functionsymbol.db.impl.AbstractDBIfThenFunctionSymbol

doOrderingMatter

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	WrappedDBBooleanCaseFunctionSymbolImpl(int arity, DBTermType dbBooleanType, DBTermType rootDBTermType, boolean doOrderingMatter)

Method Summary

Modifier and Type	Method and Description
String	getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Replaces the then expressions by cases.

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

blocksNegation, buildCase, negate, simplify2VL, simplifyValue

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

extractDefaultValue

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

canBePostProcessed, extractPossibleValues, extractSubFunctionalTerms, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, pushDownExpression, pushDownFunctionalTerm, pushDownRegularFunctionalTerm, simplify, tolerateNulls, transformIntoRegularArguments

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

inferType

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

analyzeInjectivity, buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplifyAsGuaranteedToBeNonNull, 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.DBFunctionSymbol

isPreferringToBePostProcessedOverBeingBlocked

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

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

WrappedDBBooleanCaseFunctionSymbolImpl

protected WrappedDBBooleanCaseFunctionSymbolImpl(int arity,
                                                 DBTermType dbBooleanType,
                                                 DBTermType rootDBTermType,
                                                 boolean doOrderingMatter)

Method Detail

getNativeDBString

public String getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                Function<ImmutableTerm,String> termConverter,
                                TermFactory termFactory)

Replaces the then expressions by cases. Wraps the full expression into an equality.

Specified by:

getNativeDBString in interface DBFunctionSymbolSerializer

Overrides:

getNativeDBString in class DefaultDBCaseFunctionSymbol