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

Class AbstractUnaryStringSPARQLFunctionSymbol

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

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

Direct Known Subclasses:

LcaseSPARQLFunctionSymbolImpl, UcaseSPARQLFunctionSymbolImpl

public abstract class AbstractUnaryStringSPARQLFunctionSymbol
extends ReduciblePositiveAritySPARQLFunctionSymbolImpl

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	AbstractUnaryStringSPARQLFunctionSymbol(String name, org.apache.commons.rdf.api.IRI functionIRI, RDFDatatype xsdStringDatatype)

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)
Optional<TermTypeInference>	inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) If the child type is xsd:string or a language tag, then returns it.

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

buildTermAfterEvaluation, computeLexicalTerm, 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, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, 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, canBePostProcessed, 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

AbstractUnaryStringSPARQLFunctionSymbol

protected AbstractUnaryStringSPARQLFunctionSymbol(@Nonnull
                                                  String name,
                                                  org.apache.commons.rdf.api.IRI functionIRI,
                                                  RDFDatatype xsdStringDatatype)

Method Detail

inferType

public Optional<TermTypeInference> inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

If the child type is xsd:string or a language tag, then returns it.

computeTypeTerm

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

Specified by:

computeTypeTerm in class ReduciblePositiveAritySPARQLFunctionSymbolImpl