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

Class StrAfterSPARQLFunctionSymbolImpl

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

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

All Implemented Interfaces:

FunctionSymbol, Predicate, SPARQLFunctionSymbol

public class StrAfterSPARQLFunctionSymbolImpl
extends AbstractStrBeforeOrAfterSPARQLFunctionSymbol

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	StrAfterSPARQLFunctionSymbolImpl(RDFDatatype xsdStringType)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm) Compute the lexical term when there is no input type error
protected ImmutableTerm	computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)

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

canBePostProcessed, computeTypeTerm, evaluateInputTypeError, 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

clone, equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

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

StrAfterSPARQLFunctionSymbolImpl

protected StrAfterSPARQLFunctionSymbolImpl(RDFDatatype xsdStringType)

Method Detail

computeLexicalTerm

protected ImmutableTerm computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms,
                                           com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms,
                                           TermFactory termFactory,
                                           ImmutableTerm returnedTypeTerm)

Description copied from class: ReduciblePositiveAritySPARQLFunctionSymbolImpl

Compute the lexical term when there is no input type error

Specified by:

computeLexicalTerm in class ReduciblePositiveAritySPARQLFunctionSymbolImpl

computeLexicalTermWhenSecondArgIsNotEmpty

protected ImmutableTerm computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms,
                                                                  TermFactory termFactory)

Specified by:

computeLexicalTermWhenSecondArgIsNotEmpty in class AbstractStrBeforeOrAfterSPARQLFunctionSymbol