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

Class DefaultSimpleDBBooleanCastFunctionSymbol

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, DBTypeConversionFunctionSymbol, FunctionSymbol, Predicate

public class DefaultSimpleDBBooleanCastFunctionSymbol
extends DefaultSimpleDBCastFunctionSymbol
implements DBBooleanFunctionSymbol

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	DefaultSimpleDBBooleanCastFunctionSymbol(DBTermType inputBaseType, DBTermType booleanType, DBFunctionSymbolSerializer serializer)

Method Summary

Modifier and Type	Method and Description
boolean	blocksNegation() Returns TRUE if the NOT operator has to stay ABOVE the expression (i.e.
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.

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

buildFromVariable, buildTermFromFunctionalTerm, canBePostProcessed, convertDBConstant, evaluateStrictEqWithNonNullConstant, getInputType, getNativeDBString, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isSimple, isTemporary, perform2ndStepEvaluationStrictEqWithConstant

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

simplify2VL

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

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

getTargetType

Constructor Detail

DefaultSimpleDBBooleanCastFunctionSymbol

protected DefaultSimpleDBBooleanCastFunctionSymbol(@Nonnull
                                                   DBTermType inputBaseType,
                                                   DBTermType booleanType,
                                                   DBFunctionSymbolSerializer serializer)

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