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

Class DivideSPARQLFunctionSymbolImpl

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

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

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

public class DivideSPARQLFunctionSymbolImpl
extends NumericBinarySPARQLFunctionSymbolImpl

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	DivideSPARQLFunctionSymbolImpl(RDFDatatype abstractNumericType, RDFDatatype xsdDecimalType)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableExpression.Evaluation	evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Division by zero returns a NULL (SPARQL error) if the operands are both xsd:integer or xsd:decimal (but not if they are xsd:float and xsd:double)

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

canBePostProcessed, computeLexicalTerm, inferType, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms

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

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

DivideSPARQLFunctionSymbolImpl

protected DivideSPARQLFunctionSymbolImpl(RDFDatatype abstractNumericType,
                                         RDFDatatype xsdDecimalType)

Method Detail

evaluateInputTypeError

protected ImmutableExpression.Evaluation evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms,
                                                                com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms,
                                                                TermFactory termFactory,
                                                                VariableNullability variableNullability)

Division by zero returns a NULL (SPARQL error) if the operands are both xsd:integer or xsd:decimal (but not if they are xsd:float and xsd:double)

Overrides:

evaluateInputTypeError in class ReduciblePositiveAritySPARQLFunctionSymbolImpl

computeTypeTerm

protected ImmutableTerm computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms,
                                        com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms,
                                        TermFactory termFactory,
                                        VariableNullability variableNullability)

Overrides:

computeTypeTerm in class NumericBinarySPARQLFunctionSymbolImpl