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

Packages that use TermType

Package	Description
it.unibz.inf.ontop.exception
it.unibz.inf.ontop.iq.type
it.unibz.inf.ontop.iq.type.impl
it.unibz.inf.ontop.model.atom
it.unibz.inf.ontop.model.atom.impl
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 TermType in it.unibz.inf.ontop.exception

Constructors in it.unibz.inf.ontop.exception with parameters of type TermType

Constructor and Description
AbstractTermTypeException(TermType actualTermType)
FatalTypingException(String exception, TermType actualTermType)
FatalTypingException(TermType expectedTermType, TermType actualTermType)

Uses of TermType in it.unibz.inf.ontop.iq.type

Methods in it.unibz.inf.ontop.iq.type that return types with arguments of type TermType

Modifier and Type	Method and Description
Optional<TermType>	UniqueTermTypeExtractor.extractUniqueTermType(ImmutableTerm term, IQTree subTree) Is expecting the term type to be unique.

Uses of TermType in it.unibz.inf.ontop.iq.type.impl

Methods in it.unibz.inf.ontop.iq.type.impl that return types with arguments of type TermType

Modifier and Type	Method and Description
Optional<TermType>	BasicUniqueTermTypeExtractor.extractUniqueTermType(ImmutableTerm term, IQTree subTree)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitAggregation(AggregationNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitConstruction(ConstructionNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitDistinct(DistinctNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitEmpty(EmptyNode node)
protected Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitExtendedProjection(ExtendedProjectionNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitExtensionalData(ExtensionalDataNode dataNode)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitFilter(FilterNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitInnerJoin(InnerJoinNode rootNode, com.google.common.collect.ImmutableList<IQTree> children) Returns the first type found for a variable.
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitIntensionalData(IntensionalDataNode dataNode)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitLeftJoin(LeftJoinNode rootNode, IQTree leftChild, IQTree rightChild) Only consider the right child for right-specific variables
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitNative(NativeNode nativeNode)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitNonStandardBinaryNonCommutativeNode(BinaryNonCommutativeOperatorNode rootNode, IQTree leftChild, IQTree rightChild)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitNonStandardLeafNode(LeafIQTree leafNode)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitNonStandardNaryNode(NaryOperatorNode rootNode, com.google.common.collect.ImmutableList<IQTree> children)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitNonStandardUnaryNode(UnaryOperatorNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitOrderBy(OrderByNode rootNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitSlice(SliceNode sliceNode, IQTree child)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitTrue(TrueNode node)
Optional<TermType>	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.visitUnion(UnionNode rootNode, com.google.common.collect.ImmutableList<IQTree> children)

Uses of TermType in it.unibz.inf.ontop.model.atom

Methods in it.unibz.inf.ontop.model.atom that return types with arguments of type TermType

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<TermType>	AtomPredicate.getBaseTypesForValidation() Returns a base term type for each of its arguments.

Uses of TermType in it.unibz.inf.ontop.model.atom.impl

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

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<TermType>	AtomPredicateImpl.getBaseTypesForValidation()

Constructor parameters in it.unibz.inf.ontop.model.atom.impl with type arguments of type TermType

Constructor and Description
AtomPredicateImpl(String name, com.google.common.collect.ImmutableList<TermType> baseTypesForValidation)
QuadPredicateImpl(com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, RDFTermTypeConstant iriType, org.apache.commons.rdf.api.RDF rdfFactory)
RDFAtomPredicateImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, int subjectIndex, int propertyIndex, int objectIndex, RDFTermTypeConstant iriType, org.apache.commons.rdf.api.RDF rdfFactory)
TriplePredicateImpl(com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, RDFTermTypeConstant iriType, org.apache.commons.rdf.api.RDF rdfFactory)

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

Methods in it.unibz.inf.ontop.model.term that return TermType

Modifier and Type	Method and Description
TermType	NonNullConstant.getType()

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

Modifier and Type	Method and Description
default Optional<TermType>	NonNullConstant.getOptionalType()
Optional<TermType>	Constant.getOptionalType() Empty if and only if is null.

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

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return TermType

Modifier and Type	Method and Description
TermType	FunctionSymbol.getExpectedBaseType(int index)

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

Constructors in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with parameters of type TermType

Constructor and Description
AbstractDBStrictEqNeqFunctionSymbol(String name, int arity, boolean isEq, TermType rootTermType, DBTermType dbBooleanTermType)
DefaultDBStrictEqFunctionSymbol(int arity, TermType rootTermType, DBTermType dbBooleanTermType)
DefaultDBStrictNEqFunctionSymbol(int arity, TermType rootTermType, DBTermType dbBooleanTermType)

Constructor parameters in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with type arguments of type TermType

Constructor and Description
AbstractAggregationFunctionSymbol(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType targetType, boolean isDistinct)
AbstractArgDependentTypedDBFunctionSymbol(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
AbstractDBAggregationFunctionSymbol(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType targetType, boolean isDistinct, DBFunctionSymbolSerializer serializer)
AbstractTypedDBFunctionSymbol(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType targetType)
DBBooleanFunctionSymbolImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType dbBooleanTermType)
DBBooleanFunctionSymbolWithSerializerImpl(String name, com.google.common.collect.ImmutableList<TermType> inputDBTypes, DBTermType dbBooleanType, boolean isAlwaysInjective, DBFunctionSymbolSerializer serializer)
DBFunctionSymbolWithSerializerImpl(String name, com.google.common.collect.ImmutableList<TermType> inputDBTypes, DBTermType targetType, boolean isAlwaysInjective, DBFunctionSymbolSerializer serializer)
StandardNotationDBBooleanFunctionSymbolImpl(String nameInDialect, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType dbBooleanTermType)

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

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return TermType

Modifier and Type	Method and Description
TermType	FunctionSymbolImpl.getExpectedBaseType(int index)

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

Modifier and Type	Method and Description
protected com.google.common.collect.ImmutableList<TermType>	FunctionSymbolImpl.getExpectedBaseTypes()

Constructors in it.unibz.inf.ontop.model.term.functionsymbol.impl with parameters of type TermType

Constructor and Description
AbstractUnaryBooleanSPARQLFunctionSymbol(String functionSymbolName, org.apache.commons.rdf.api.IRI iri, TermType inputBaseType, RDFDatatype xsdBooleanType)
AbstractUnaryBooleanSPARQLFunctionSymbol(String functionSymbolName, String officialName, TermType inputBaseType, RDFDatatype xsdBooleanType)
RDFTermFunctionSymbolImpl(TermType lexicalType, MetaRDFTermType typeTermType)

Constructor parameters in it.unibz.inf.ontop.model.term.functionsymbol.impl with type arguments of type TermType

Constructor and Description
AbstractSubStrSPARQLFunctionSymbol(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, RDFDatatype xsdStringDatatype, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
BooleanFunctionSymbolImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType dbBooleanTermType)
FunctionSymbolImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
ReduciblePositiveAritySPARQLFunctionSymbolImpl(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
ReduciblePositiveAritySPARQLFunctionSymbolImpl(String functionSymbolName, String officialName, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
SPARQLFunctionSymbolImpl(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
SPARQLFunctionSymbolImpl(String functionSymbolName, String officialName, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)
SPARQLLikeFunctionSymbolImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes)

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

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

Modifier and Type	Method and Description
Optional<TermType>	NullConstantImpl.getOptionalType()

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

Classes in it.unibz.inf.ontop.model.type with type parameters of type TermType

Modifier and Type	Interface and Description
interface	TermTypeHierarchy<T extends TermType>

Subinterfaces of TermType in it.unibz.inf.ontop.model.type

Modifier and Type	Interface and Description
interface	ConcreteNumericRDFDatatype
interface	DBTermType For all sorts of DBs (SQL, MongoDB, etc.)
interface	MetaRDFTermType Type for the RDFTermTypeConstants
interface	NumericRDFDatatype
interface	ObjectRDFType IRIs and blank nodes
interface	RDFDatatype
interface	RDFTermType

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

Modifier and Type	Method and Description
TermType	TypeFactory.getAbstractAtomicTermType()
TermType	TermTypeAncestry.getClosestCommonAncestor(TermTypeAncestry otherAncestry) All the term types are expected to have the same origin
TermType	TermType.getCommonDenominator(TermType otherTermType)

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

Modifier and Type	Method and Description
Optional<TermType>	TermTypeInference.getTermType() Only present when the status is determined

Methods in it.unibz.inf.ontop.model.type with parameters of type TermType

Modifier and Type	Method and Description
DBTypeFactory	DBTypeFactory.Factory.createDBFactory(TermType rootTermType, TypeFactory typeFactory)
static TermTypeInference	TermTypeInference.declareTermType(TermType termType)
TermType	TermType.getCommonDenominator(TermType otherTermType)
boolean	TermType.isA(TermType otherTermType)
TermTypeAncestry	TermTypeAncestry.newAncestry(TermType childType) Builds a new ancestry

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

Classes in it.unibz.inf.ontop.model.type.impl with type parameters of type TermType

Modifier and Type	Class and Description
class	TermTypeHierarchyImpl<T extends TermType>

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

Modifier and Type	Class and Description
class	AbstractNumericRDFDatatype
class	AbstractObjectRDFType
class	AbstractRDFDatatype
class	BlankNodeTermType
class	BooleanDBTermType
class	ConcreteNumericRDFDatatypeImpl
class	DatetimeDBTermType
class	DBTermTypeImpl
class	IRITermType
class	LangDatatype
class	MetaRDFTermTypeImpl
class	NonStringNonNumberNonBooleanNonDatetimeDBTermType
class	NumberDBTermType
class	RDFTermTypeImpl
class	SimpleRDFDatatype Without a language tag
class	StringDBTermType
class	TermTypeImpl
class	UnsupportedRDFDatatype

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

Modifier and Type	Method and Description
TermType	TypeFactoryImpl.getAbstractAtomicTermType()
TermType	TermTypeAncestryImpl.getClosestCommonAncestor(TermTypeAncestry otherAncestry)
TermType	LangDatatype.getCommonDenominator(TermType otherTermType)
TermType	TermTypeImpl.getCommonDenominator(TermType otherTermType) Can be overloaded

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

Modifier and Type	Method and Description
Optional<TermType>	TermTypeInferenceImpl.getTermType()

Methods in it.unibz.inf.ontop.model.type.impl with parameters of type TermType

Modifier and Type	Method and Description
static TermTypeInference	TermTypeInferenceImpl.declareTermType(TermType termType)
TermType	LangDatatype.getCommonDenominator(TermType otherTermType)
TermType	TermTypeImpl.getCommonDenominator(TermType otherTermType) Can be overloaded
boolean	TermTypeImpl.isA(TermType moreGeneralType)
TermTypeAncestry	TermTypeAncestryImpl.newAncestry(TermType childType)

Constructors in it.unibz.inf.ontop.model.type.impl with parameters of type TermType

Constructor and Description
TermTypeAncestryImpl(TermType origin) ONLY for the TermType origin (which must be unique)!