Uses of Interface
it.unibz.inf.ontop.model.type.TermTypeInference

Packages that use TermTypeInference

Package	Description
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.model.type
it.unibz.inf.ontop.model.type.impl

Uses of TermTypeInference in it.unibz.inf.ontop.model.term

Methods in it.unibz.inf.ontop.model.term that return types with arguments of type TermTypeInference

Modifier and Type	Method and Description
default Optional<TermTypeInference>	ImmutableFunctionalTerm.inferType()
default Optional<TermTypeInference>	Variable.inferType()
default Optional<TermTypeInference>	NonNullConstant.inferType()
Optional<TermTypeInference>	ImmutableTerm.inferType() Returns empty when no TermType has been inferred (missing information or fatal error) and no non-fatal error has been detected.

Uses of TermTypeInference in it.unibz.inf.ontop.model.term.functionsymbol

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return types with arguments of type TermTypeInference

Modifier and Type	Method and Description
Optional<TermTypeInference>	FunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Uses of TermTypeInference in it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl that return types with arguments of type TermTypeInference

Modifier and Type	Method and Description
Optional<TermTypeInference>	AbstractArgDependentTypedDBFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Is supposed to be strongly typed: does not compare the types of the possible values because they are supposed to be the sames.
Optional<TermTypeInference>	DefaultTypedDBMathBinaryOperator.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractTypedDBFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	DefaultUntypedDBMathBinaryOperator.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	ObjectStringTemplateFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	DefaultUntypedDBFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractAggregationFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Uses of TermTypeInference in it.unibz.inf.ontop.model.term.functionsymbol.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return types with arguments of type TermTypeInference

Modifier and Type	Method and Description
Optional<TermTypeInference>	LangTagFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractSubStrSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractUnaryBooleanSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	NowSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	SameTermSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UnaryLatelyTypedFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Could be inferred after simplification
Optional<TermTypeInference>	AbstractCommonDenominatorFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	RDFTermFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	NumericBinarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex logic so not infer at this level (but after simplification into DB functional terms)
Optional<TermTypeInference>	ReplaceSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	BinaryNumericLexicalFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Could be inferred after simplification
Optional<TermTypeInference>	DatatypeSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	MultitypedInputUnarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	SimpleUnarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) If the child type is xsd:string or a language tag, then returns it.
Optional<TermTypeInference>	CoalesceSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) No inference at the moment, because it is too complex
Optional<TermTypeInference>	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complicated logic to determine if it is an XSD.STRING or a langString
Optional<TermTypeInference>	StrlenSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractUnaryStringSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) If the child type is xsd:string or a language tag, then returns it.
Optional<TermTypeInference>	StrUUIDSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	LangSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractHashSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	RDFTermTypeFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	CountSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UUIDSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	BooleanFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	RandSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	RDFDatatypeStringFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	RegexSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractBinaryComparisonSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractIsASPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	ConcatSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	StringBooleanBinarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UnaryNumericSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex logic so not infer at this level (but after simplification into DB functional terms)
Optional<TermTypeInference>	DummyGroupConcatSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	EBVSPARQLLikeFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	StrSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UnaryNumericSPARQLAggregationFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex to be implemented (for the moment)
Optional<TermTypeInference>	MinOrMaxSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex to be implemented for the moment

Uses of TermTypeInference in it.unibz.inf.ontop.model.term.impl

Methods in it.unibz.inf.ontop.model.term.impl that return types with arguments of type TermTypeInference

Modifier and Type	Method and Description
Optional<TermTypeInference>	NullConstantImpl.inferType()

Uses of TermTypeInference in it.unibz.inf.ontop.model.type

Methods in it.unibz.inf.ontop.model.type that return TermTypeInference

Modifier and Type	Method and Description
static TermTypeInference	TermTypeInference.declareRedirectionToVariable(Variable variable)
static TermTypeInference	TermTypeInference.declareTermType(TermType termType)

Uses of TermTypeInference in it.unibz.inf.ontop.model.type.impl

Classes in it.unibz.inf.ontop.model.type.impl that implement TermTypeInference

Modifier and Type	Class and Description
class	TermTypeInferenceImpl

Methods in it.unibz.inf.ontop.model.type.impl that return TermTypeInference

Modifier and Type	Method and Description
static TermTypeInference	TermTypeInferenceImpl.declareRedirectionVariable(Variable variable)
static TermTypeInference	TermTypeInferenceImpl.declareTermType(TermType termType)