it.unibz.inf.ontop.iq.type.impl

Class BasicUniqueTermTypeExtractor

java.lang.Object

it.unibz.inf.ontop.iq.type.impl.BasicUniqueTermTypeExtractor

All Implemented Interfaces:

UniqueTermTypeExtractor

public class BasicUniqueTermTypeExtractor
extends Object
implements UniqueTermTypeExtractor

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

extractUniqueTermType

public Optional<TermType> extractUniqueTermType(ImmutableTerm term,
                                                IQTree subTree)

Description copied from interface: UniqueTermTypeExtractor

Is expecting the term type to be unique. If multiple types are detected in an UNION or a CONSTRUCTION node, throws a NonUniqueTermTypeException. For data nodes and joins, multiple term types due to multiple occurrences of a VARIABLE is not a problem ---> the filter condition will fail (as STRICT equality is required). Any type can be therefore returned. DO NOT use it when you don't have such a uniqueness guarantee (---> NonUniqueTermTypeException is interpreted as an internal bug)

Specified by:

extractUniqueTermType in interface UniqueTermTypeExtractor