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

Class DefaultDBStringInequalityOperator

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, DBBooleanFunctionSymbol, DBFunctionSymbol, DBFunctionSymbolSerializer, FunctionSymbol, Predicate

public class DefaultDBStringInequalityOperator
extends AbstractDBInequalityOperator

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

inequalityLabel

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DefaultDBStringInequalityOperator(InequalityLabel inequalityLabel, DBTermType rootDBTermType, DBTermType dbBoolean) TODO: type the input

Method Summary

Modifier and Type	Method and Description
protected ImmutableExpression	buildInequality(InequalityLabel inequalityLabel, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
boolean	canBePostProcessed(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it

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

blocksNegation, getNativeDBString, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, negate, 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

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

Constructor Detail

DefaultDBStringInequalityOperator

protected DefaultDBStringInequalityOperator(InequalityLabel inequalityLabel,
                                            DBTermType rootDBTermType,
                                            DBTermType dbBoolean)

TODO: type the input

Method Detail

canBePostProcessed

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

TODO: allow it

buildInequality

protected ImmutableExpression buildInequality(InequalityLabel inequalityLabel,
                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms,
                                              TermFactory termFactory)

Specified by:

buildInequality in class AbstractDBInequalityOperator