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

Class GeofEnvelopeFunctionSymbolImpl

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

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

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

it.unibz.inf.ontop.model.term.functionsymbol.impl.geof.AbstractGeofWKTFunctionSymbolImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.geof.AbstractUnaryGeofWKTFunctionSymbolDirectImpl

it.unibz.inf.ontop.model.term.functionsymbol.impl.geof.GeofEnvelopeFunctionSymbolImpl

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

public class GeofEnvelopeFunctionSymbolImpl
extends AbstractUnaryGeofWKTFunctionSymbolDirectImpl

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Constructor and Description
GeofEnvelopeFunctionSymbolImpl(org.apache.commons.rdf.api.IRI functionIRI, RDFDatatype wktLiteralType)

Method Summary

Modifier and Type	Method and Description
Function<ImmutableTerm,ImmutableTerm>	getDBFunction(TermFactory termFactory)

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

computeDBTerm

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

canBePostProcessed, computeLexicalTerm, computeTypeTerm, inferType, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

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

buildTermAfterEvaluation, evaluateInputTypeError, tolerateNulls

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

getIRI, getOfficialName

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

extractLexicalTerm, extractRDFTermTypeTerm, isRDFFunctionalTerm, mayReturnNullWithoutNullArguments

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

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

analyzeInjectivity, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

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

getArity, getName

Constructor Detail

GeofEnvelopeFunctionSymbolImpl

public GeofEnvelopeFunctionSymbolImpl(@Nonnull
                                      org.apache.commons.rdf.api.IRI functionIRI,
                                      RDFDatatype wktLiteralType)

Method Detail

getDBFunction

public Function<ImmutableTerm,ImmutableTerm> getDBFunction(TermFactory termFactory)

Specified by:

getDBFunction in class AbstractUnaryGeofWKTFunctionSymbolDirectImpl