public class SequenceType
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static SequenceType |
ANY
Constant representing the universal sequence type
item()* , which permits any value |
static SequenceType |
EMPTY
Constant representing the sequence type
empty-sequence() , which permits only one
value, namely the empty sequence |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other)
Test whether two SequenceType objects represent the same type
|
static SequenceType |
fromUnderlyingSequenceType(Processor processor,
SequenceType st)
Factory method to construct a s9api
SequenceType from an underlying
instance of SequenceType |
ItemType |
getItemType()
Get the item type
|
OccurrenceIndicator |
getOccurrenceIndicator()
Get the occurrence indicator
|
SequenceType |
getUnderlyingSequenceType()
Get the underlying internal SequenceType
|
int |
hashCode()
Get a hash code with semantics corresponding to the equals() method
|
static SequenceType |
makeSequenceType(ItemType itemType,
OccurrenceIndicator occurrenceIndicator)
Factory method to construct a SequenceType
|
public static final SequenceType ANY
item()*
, which permits any valuepublic static final SequenceType EMPTY
empty-sequence()
, which permits only one
value, namely the empty sequencepublic static SequenceType makeSequenceType(ItemType itemType, OccurrenceIndicator occurrenceIndicator)
itemType
- the ItemTypeoccurrenceIndicator
- the permitted number of occurrences of the item in the sequencepublic ItemType getItemType()
public OccurrenceIndicator getOccurrenceIndicator()
public final boolean equals(java.lang.Object other)
equals
in class java.lang.Object
other
- the other SequenceType objectpublic final int hashCode()
hashCode
in class java.lang.Object
public SequenceType getUnderlyingSequenceType()
SequenceType
public static SequenceType fromUnderlyingSequenceType(Processor processor, SequenceType st)
SequenceType
from an underlying
instance of SequenceType
Copyright (c) 2004-2022 Saxonica Limited. All rights reserved.