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

Class RegexpLike3FunctionSymbol

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

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

All Implemented Interfaces:

it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol, it.unibz.inf.ontop.model.term.functionsymbol.db.DBBooleanFunctionSymbol, it.unibz.inf.ontop.model.term.functionsymbol.db.DBFunctionSymbol, it.unibz.inf.ontop.model.term.functionsymbol.db.DBFunctionSymbolSerializer, it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol, it.unibz.inf.ontop.model.term.functionsymbol.Predicate

public class RegexpLike3FunctionSymbol
extends it.unibz.inf.ontop.model.term.functionsymbol.db.impl.SimpleTypedDBFunctionSymbolImpl
implements it.unibz.inf.ontop.model.term.functionsymbol.db.DBBooleanFunctionSymbol

Nested Class Summary

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

it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RegexpLike3FunctionSymbol(it.unibz.inf.ontop.model.type.DBTermType dbBooleanType, it.unibz.inf.ontop.model.type.DBTermType rootDBTermType)

Method Summary

Modifier and Type	Method and Description
boolean	blocksNegation()
it.unibz.inf.ontop.model.term.ImmutableExpression	negate(com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.ImmutableTerm> subTerms, it.unibz.inf.ontop.model.term.TermFactory termFactory)
static String	serialize(com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.ImmutableTerm> terms, Function<it.unibz.inf.ontop.model.term.ImmutableTerm,String> termConverter, it.unibz.inf.ontop.model.term.TermFactory termFactory)

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

canBePostProcessed, getNativeDBString, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

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, buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, 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.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

RegexpLike3FunctionSymbol

protected RegexpLike3FunctionSymbol(it.unibz.inf.ontop.model.type.DBTermType dbBooleanType,
                                    it.unibz.inf.ontop.model.type.DBTermType rootDBTermType)

Method Detail

blocksNegation

public boolean blocksNegation()

Specified by:

blocksNegation in interface it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol

negate

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

Specified by:

negate in interface it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol

serialize

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