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

Class AbstractDBIfThenElseFunctionSymbol

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

All Implemented Interfaces:

DBFunctionSymbol, DBFunctionSymbolSerializer, DBIfThenFunctionSymbol, FunctionSymbol, Predicate

Direct Known Subclasses:

MockupDBIfElseNullFunctionSymbol

public abstract class AbstractDBIfThenElseFunctionSymbol
extends AbstractDBIfThenFunctionSymbol

IF cond THEN v1 ELSE v2 TODO: simplify strict equalities

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	AbstractDBIfThenElseFunctionSymbol(DBTermType dbBooleanType, DBTermType rootDBTermType)

Method Summary

Modifier and Type	Method and Description
boolean	canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Only looks if the second and third argument are guaranteed to be post-processed or not since the first argument (the condition expression) will always be evaluated.
protected ImmutableTerm	extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
ImmutableTerm	simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)

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

buildCase, extractPossibleValues, extractSubFunctionalTerms, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, pushDownExpression, pushDownFunctionalTerm, pushDownRegularFunctionalTerm, simplifyValue, 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

clone, equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

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

analyzeInjectivity, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

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

getNativeDBString

Constructor Detail

AbstractDBIfThenElseFunctionSymbol

protected AbstractDBIfThenElseFunctionSymbol(DBTermType dbBooleanType,
                                             DBTermType rootDBTermType)

Method Detail

extractDefaultValue

protected ImmutableTerm extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                            TermFactory termFactory)

Specified by:

extractDefaultValue in class AbstractDBIfThenFunctionSymbol

simplify

public ImmutableTerm simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                              TermFactory termFactory,
                              VariableNullability variableNullability)

Specified by:

simplify in interface FunctionSymbol

Overrides:

simplify in class AbstractDBIfThenFunctionSymbol

canBePostProcessed

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

Only looks if the second and third argument are guaranteed to be post-processed or not since the first argument (the condition expression) will always be evaluated.

Specified by:

canBePostProcessed in interface FunctionSymbol

Overrides:

canBePostProcessed in class AbstractDBIfThenFunctionSymbol