com.saxonica.ee.config

Class TypeHierarchyEE

java.lang.Object

net.sf.saxon.type.TypeHierarchy

com.saxonica.ee.config.TypeHierarchyEE

public class TypeHierarchyEE
extends TypeHierarchy

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

Field Summary

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

config, DISJOINT, OVERLAPS, SAME_TYPE, SUBSUMED_BY, SUBSUMES

Constructor Summary

Constructors

Constructor and Description
TypeHierarchyEE(Configuration config)

Method Summary

Methods

Modifier and Type	Method and Description
protected SequenceIterator	applyFunctionCoercion(SequenceIterator iterator, ItemType suppliedItemType, ItemType requiredItemType, RoleLocator role, Container container) Apply function coercion when a function item is supplied as a parameter in a function call
protected int	computeContentRelationship(ItemType t1, ItemType t2, IntSet n1, IntSet n2) Compute the relationship between the allowed content-types of two types
ItemType	getGenericFunctionItemType()

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

applyFunctionConversionRules, getConfiguration, isIdCode, isIdrefsCode, isSubType, relationship, schemaTypeRelationship

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeHierarchyEE

public TypeHierarchyEE(Configuration config)

Method Detail

getGenericFunctionItemType

public ItemType getGenericFunctionItemType()

Overrides:

getGenericFunctionItemType in class TypeHierarchy

applyFunctionCoercion

protected SequenceIterator applyFunctionCoercion(SequenceIterator iterator,
                                     ItemType suppliedItemType,
                                     ItemType requiredItemType,
                                     RoleLocator role,
                                     Container container)

Apply function coercion when a function item is supplied as a parameter in a function call

Overrides:

applyFunctionCoercion in class TypeHierarchy

Parameters:

iterator - An iterator over the supplied value of the parameter

suppliedItemType - the item type of the supplied value

requiredItemType - the required item type (typically a function item type)

role - information for diagnostics

container - information for diagnostics

Returns:

an iterator over the converted value

computeContentRelationship

protected int computeContentRelationship(ItemType t1,
                             ItemType t2,
                             IntSet n1,
                             IntSet n2)

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

Overrides:

computeContentRelationship in class TypeHierarchy

Parameters:

t1 - the first type

t2 - the second types

n1 - the set of element names allowed by the first type

n2 - the set of element names allowed by the second type

Returns:

the relationship (same type, subsumes, overlaps, subsumed-by)