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

Class DBBooleanCaseFunctionSymbolImpl

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

All Implemented Interfaces:

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

Direct Known Subclasses:

WrappedDBBooleanCaseFunctionSymbolImpl

public class DBBooleanCaseFunctionSymbolImpl
extends DefaultDBCaseFunctionSymbol
implements DBBooleanFunctionSymbol

See Also:

Serialized Form

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	DBBooleanCaseFunctionSymbolImpl(int arity, DBTermType dbBooleanType, DBTermType rootDBTermType, boolean doOrderingMatter)

Method Summary

Modifier and Type	Method and Description
boolean	blocksNegation() Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e.
protected ImmutableFunctionalTerm	buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory) Can be overridden
ImmutableExpression	negate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) Usually NOT supported when the function symbol blocks negation.
ImmutableTerm	simplify2VL(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Can further simplify than the simplify(...) because here FALSE can be treated as equivalent to NULL (2-valued logic) By default, reuses simplify(...).
protected ImmutableExpression	simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory) Can be overridden

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

extractDefaultValue, getNativeDBString

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

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

getNativeDBString

Constructor Detail

DBBooleanCaseFunctionSymbolImpl

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

Method Detail

blocksNegation

public boolean blocksNegation()

Description copied from interface: BooleanFunctionSymbol

Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e. cannot lead to a change in the operator or cannot be delegated to sub-expressions)

Specified by:

blocksNegation in interface BooleanFunctionSymbol

negate

public ImmutableExpression negate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms,
                                  TermFactory termFactory)

Description copied from interface: BooleanFunctionSymbol

Usually NOT supported when the function symbol blocks negation. Please use ImmutableExpression.negate() instead.

Specified by:

negate in interface BooleanFunctionSymbol

simplifyValue

protected ImmutableExpression simplifyValue(ImmutableTerm immutableTerm,
                                            VariableNullability variableNullability,
                                            TermFactory termFactory)

Description copied from class: AbstractDBIfThenFunctionSymbol

Can be overridden

Overrides:

simplifyValue in class AbstractDBIfThenFunctionSymbol

buildCase

protected ImmutableFunctionalTerm buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs,
                                            ImmutableTerm defaultValue,
                                            TermFactory termFactory)

Description copied from class: AbstractDBIfThenFunctionSymbol

Can be overridden

Overrides:

buildCase in class AbstractDBIfThenFunctionSymbol

simplify2VL

public ImmutableTerm simplify2VL(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                 TermFactory termFactory,
                                 VariableNullability variableNullability)

Description copied from interface: BooleanFunctionSymbol

Can further simplify than the simplify(...) because here FALSE can be treated as equivalent to NULL (2-valued logic) By default, reuses simplify(...).

Specified by:

simplify2VL in interface BooleanFunctionSymbol