net.sf.saxon.type
public interface ItemType extends Serializable
See Also: AtomicType NodeTest
Method Summary | |
---|---|
AtomicType | getAtomizedItemType()
Get the item type of the atomic values that will be produced when an item
of this type is atomized |
ItemType | getPrimitiveItemType()
Get the primitive item type corresponding to this item type. |
int | getPrimitiveType()
Get the primitive type corresponding to this item type. |
ItemType | getSuperType(TypeHierarchy th)
Get the type from which this item type is derived by restriction. |
boolean | isAtomicType()
Determine whether this item type is atomic (that is, whether it can ONLY match
atomic values) |
boolean | matchesItem(Item item, XPathContext context, boolean allowURIPromotion)
Test whether a given item conforms to this type |
String | toString(NamePool pool)
Produce a representation of this type name for use in error messages.
|
In fact the concept of "supertype" is not really well-defined, because the types form a lattice rather than a hierarchy. The only real requirement on this function is that it returns a type that strictly subsumes this type, ideally as narrowly as possible.
Parameters: th
Returns: the supertype, or null if this type is item()
Returns: true if this is ANY_ATOMIC_TYPE or a subtype thereof
Parameters: item The item to be tested context allowURIPromotion
Returns: true if the item is an instance of this type; false otherwise