Package com.saxonica.ee.config

Class SubsumptionEE

java.lang.Object

net.sf.saxon.type.TypeHierarchy

com.saxonica.ee.config.SubsumptionEE

public class SubsumptionEE
extends TypeHierarchy

Refinement of the TypeHierarchy class to handle schema-aware types such as schema-element(A).

Field Summary

Fields inherited from class net.sf.saxon.type.TypeHierarchy

config

Constructor Summary

Constructors

Constructor	Description
SubsumptionEE(Configuration config)

Method Summary

Modifier and Type	Method	Description
static Affinity	computeContentRelationship(XNodeType t1, XNodeType t2)	Compute the relationship between the allowed content-types of two types
static Optional<Affinity>	schemaDeclarationAffinity(ItemType t1, ItemType t2)	Compare two item types if one is a schema-element or schema-attribute tests.

Methods inherited from class net.sf.saxon.type.TypeHierarchy

getConfiguration, getNearestNamedType, isSubType, normalizeItemType, relationship, toSet

Methods inherited from class java.lang.Object

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

Constructor Details

SubsumptionEE

public SubsumptionEE(Configuration config)

Method Details

computeContentRelationship

public static Affinity computeContentRelationship(XNodeType t1,
 XNodeType t2)

Compute the relationship between the allowed content-types of two types

Parameters:

t1 - the first type

t2 - the second type

Returns:

the relationship, as one of the constants Affinity.SAME_TYPE, Affinity.SUBSUMES, Affinity.SUBSUMED_BY, Affinity.DISJOINT, Affinity.OVERLAPS

schemaDeclarationAffinity

public static Optional<Affinity> schemaDeclarationAffinity(ItemType t1,
 ItemType t2)

Compare two item types if one is a schema-element or schema-attribute tests. This method is implemented in a subclass for Saxon-EE: without schema-awareness, such tests do not arise.

Parameters:

t1 - the first item type

t2 - the second item type

Returns:

the relationship between the two, if one is a schema-element or schema-attribute test; otherwise Optional.empty().