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

Class DBBooleanFunctionSymbolImpl

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.impl.BooleanFunctionSymbolImpl

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

Direct Known Subclasses:

AbstractDBBooleanConnectorFunctionSymbol, AbstractDBInequalityOperator, AbstractDBIsNullOrNotFunctionSymbol, AbstractDBIsStringEmptyFunctionSymbol, AbstractDBNonStrictEqOperator, AbstractDBStrictEqNeqFunctionSymbol, AbstractOrNullFunctionSymbol, DBContainsFunctionSymbolImpl, DBLikeFunctionSymbolImpl, DefaultDBIsTrueFunctionSymbol, DefaultDBNotFunctionSymbol, DefaultDBStrEndsWithFunctionSymbol, DefaultDBStrStartsWithFunctionSymbol, StandardNotationDBBooleanFunctionSymbolImpl

public abstract class DBBooleanFunctionSymbolImpl
extends BooleanFunctionSymbolImpl
implements DBBooleanFunctionSymbol

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DBBooleanFunctionSymbolImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType dbBooleanTermType)

Method Summary

Modifier and Type	Method and Description
protected String	inBrackets(String expression)
boolean	isPreferringToBePostProcessedOverBeingBlocked() By default, to be overridden when necessary
protected boolean	mayReturnNullWithoutNullArguments() Returns false when a functional term with this symbol: 1.

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

buildTermAfterEvaluation, enableIfElseNullLifting, inferType, tryToLiftIfThenTerm, tryToLiftMagicNumbers

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, tolerateNulls, 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.BooleanFunctionSymbol

blocksNegation, negate, simplify2VL

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

DBBooleanFunctionSymbolImpl

protected DBBooleanFunctionSymbolImpl(@Nonnull
                                      String name,
                                      @Nonnull
                                      com.google.common.collect.ImmutableList<TermType> expectedBaseTypes,
                                      DBTermType dbBooleanTermType)

Method Detail

inBrackets

protected String inBrackets(String expression)

mayReturnNullWithoutNullArguments

protected boolean mayReturnNullWithoutNullArguments()

Description copied from class: FunctionSymbolImpl

Returns false when a functional term with this symbol: 1. never produce NULLs 2. May produce NULLs but it is always due to a NULL argument

Specified by:

mayReturnNullWithoutNullArguments in class FunctionSymbolImpl

isPreferringToBePostProcessedOverBeingBlocked

public boolean isPreferringToBePostProcessedOverBeingBlocked()

By default, to be overridden when necessary

Specified by:

isPreferringToBePostProcessedOverBeingBlocked in interface DBFunctionSymbol