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

Class DefaultDBStrictNEqFunctionSymbol

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

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

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

All Implemented Interfaces:

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

public class DefaultDBStrictNEqFunctionSymbol
extends AbstractDBStrictEqNeqFunctionSymbol

TODO: should it make it a non-DB boolean function symbol? ---> that is, downgrading to a non-strict equality?

See Also:

Serialized Form

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	DefaultDBStrictNEqFunctionSymbol(int arity, TermType rootTermType, DBTermType dbBooleanTermType)

Method Summary

Modifier and Type	Method and Description
String	getNativeDBString(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Returns a String in the native query language.
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.AbstractDBStrictEqNeqFunctionSymbol

blocksNegation, buildTermAfterEvaluation, canBePostProcessed, evaluateIsNotNull, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, tolerateNulls

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

inBrackets, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments

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

enableIfElseNullLifting, inferType, tryToLiftIfThenTerm, tryToLiftMagicNumbers

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, 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.FunctionSymbol

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

DefaultDBStrictNEqFunctionSymbol

protected DefaultDBStrictNEqFunctionSymbol(int arity,
                                           TermType rootTermType,
                                           DBTermType dbBooleanTermType)

Method Detail

getNativeDBString

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

Description copied from interface: DBFunctionSymbolSerializer

Returns a String in the native query language.

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.