Package net.sf.saxon.value

Class SequenceType

java.lang.Object
net.sf.saxon.value.SequenceType
public final class SequenceType extends Object
SequenceType: a sequence type consists of a primary type, which indicates the type of item, and a cardinality, which indicates the number of occurrences permitted. Where the primary type is element or attribute, there may also be a content type, indicating the required type annotation on the element or attribute content.

  • Field Details Link icon

    • ANY_SEQUENCE Link icon

      public static final SequenceType ANY_SEQUENCE
      A type that allows any sequence of items

    • SINGLE_ITEM Link icon

      public static final SequenceType SINGLE_ITEM
      A type that allows exactly one item, of any kind

    • OPTIONAL_ITEM Link icon

      public static final SequenceType OPTIONAL_ITEM
      A type that allows zero or one items, of any kind

    • SINGLE_ATOMIC Link icon

      public static final SequenceType SINGLE_ATOMIC
      A type that allows exactly one atomic value

    • OPTIONAL_ATOMIC Link icon

      public static final SequenceType OPTIONAL_ATOMIC
      A type that allows zero or one atomic values

    • ATOMIC_SEQUENCE Link icon

      public static final SequenceType ATOMIC_SEQUENCE

    • SINGLE_STRING Link icon

      public static final SequenceType SINGLE_STRING
      A type that allows a single string

    • SINGLE_UNTYPED_ATOMIC Link icon

      public static final SequenceType SINGLE_UNTYPED_ATOMIC
      A type that allows a single untyped atomic

    • OPTIONAL_STRING Link icon

      public static final SequenceType OPTIONAL_STRING
      A type that allows a single optional string

    • SINGLE_BOOLEAN Link icon

      public static final SequenceType SINGLE_BOOLEAN
      A type that allows a single boolean

    • OPTIONAL_BOOLEAN Link icon

      public static final SequenceType OPTIONAL_BOOLEAN
      A type that allows a single optional boolean

    • SINGLE_INTEGER Link icon

      public static final SequenceType SINGLE_INTEGER
      A type that allows a single integer

    • SINGLE_DECIMAL Link icon

      public static final SequenceType SINGLE_DECIMAL
      A type that allows a single decimal

    • OPTIONAL_INTEGER Link icon

      public static final SequenceType OPTIONAL_INTEGER
      A type that allows a single optional integer

    • INTEGER_SEQUENCE Link icon

      public static final SequenceType INTEGER_SEQUENCE
      A type that allows a sequence of integers

    • SINGLE_SHORT Link icon

      public static final SequenceType SINGLE_SHORT
      A type that allows a single short

    • OPTIONAL_SHORT Link icon

      public static final SequenceType OPTIONAL_SHORT
      A type that allows a single optional short

    • SINGLE_BYTE Link icon

      public static final SequenceType SINGLE_BYTE
      A type that allows a single short

    • OPTIONAL_BYTE Link icon

      public static final SequenceType OPTIONAL_BYTE
      A type that allows a single optional byte

    • SINGLE_DOUBLE Link icon

      public static final SequenceType SINGLE_DOUBLE
      A type that allows a single double

    • OPTIONAL_DOUBLE Link icon

      public static final SequenceType OPTIONAL_DOUBLE
      A type that allows a single optional double

    • SINGLE_FLOAT Link icon

      public static final SequenceType SINGLE_FLOAT
      A type that allows a single float

    • OPTIONAL_FLOAT Link icon

      public static final SequenceType OPTIONAL_FLOAT
      A type that allows a single optional float

    • OPTIONAL_DECIMAL Link icon

      public static final SequenceType OPTIONAL_DECIMAL
      A type that allows a single optional decimal

    • OPTIONAL_ANY_URI Link icon

      public static final SequenceType OPTIONAL_ANY_URI
      A type that allows a single optional anyURI

    • OPTIONAL_DATE Link icon

      public static final SequenceType OPTIONAL_DATE
      A type that allows a single optional date

    • OPTIONAL_TIME Link icon

      public static final SequenceType OPTIONAL_TIME
      A type that allows a single optional time

    • OPTIONAL_G_YEAR Link icon

      public static final SequenceType OPTIONAL_G_YEAR
      A type that allows a single optional gYear

    • OPTIONAL_G_YEAR_MONTH Link icon

      public static final SequenceType OPTIONAL_G_YEAR_MONTH
      A type that allows a single optional gYearMonth

    • OPTIONAL_G_MONTH Link icon

      public static final SequenceType OPTIONAL_G_MONTH
      A type that allows a single optional gMonth

    • OPTIONAL_G_MONTH_DAY Link icon

      public static final SequenceType OPTIONAL_G_MONTH_DAY
      A type that allows a single optional gMonthDay

    • OPTIONAL_G_DAY Link icon

      public static final SequenceType OPTIONAL_G_DAY
      A type that allows a single optional gDay

    • OPTIONAL_DATE_TIME Link icon

      public static final SequenceType OPTIONAL_DATE_TIME
      A type that allows a single optional dateTime

    • OPTIONAL_DURATION Link icon

      public static final SequenceType OPTIONAL_DURATION
      A type that allows a single optional duration

    • OPTIONAL_YEAR_MONTH_DURATION Link icon

      public static final SequenceType OPTIONAL_YEAR_MONTH_DURATION
      A type that allows a single optional yearMonthDuration

    • OPTIONAL_DAY_TIME_DURATION Link icon

      public static final SequenceType OPTIONAL_DAY_TIME_DURATION
      A type that allows a single optional dayTimeDuration

    • SINGLE_QNAME Link icon

      public static final SequenceType SINGLE_QNAME
      A type that allows a single xs:QName

    • OPTIONAL_QNAME Link icon

      public static final SequenceType OPTIONAL_QNAME
      A type that allows a single optional xs:QName

    • OPTIONAL_NOTATION Link icon

      public static final SequenceType OPTIONAL_NOTATION
      A type that allows a single optional xs:NOTATION

    • OPTIONAL_BASE64_BINARY Link icon

      public static final SequenceType OPTIONAL_BASE64_BINARY
      A type that allows a single optional xs:Base64Binary

    • OPTIONAL_HEX_BINARY Link icon

      public static final SequenceType OPTIONAL_HEX_BINARY
      A type that allows a single optional xs:hexBinary

    • OPTIONAL_NUMERIC Link icon

      public static final SequenceType OPTIONAL_NUMERIC
      A type that allows an optional numeric value

    • SINGLE_NUMERIC Link icon

      public static final SequenceType SINGLE_NUMERIC

    • OPTIONAL_NODE Link icon

      public static final SequenceType OPTIONAL_NODE
      A type that allows zero or one nodes

    • SINGLE_NODE Link icon

      public static final SequenceType SINGLE_NODE
      A type that allows a single node

    • OPTIONAL_DOCUMENT_NODE Link icon

      public static final SequenceType OPTIONAL_DOCUMENT_NODE
      A type that allows a single document node

    • NODE_SEQUENCE Link icon

      public static final SequenceType NODE_SEQUENCE
      A type that allows a sequence of zero or more nodes

    • STRING_SEQUENCE Link icon

      public static final SequenceType STRING_SEQUENCE
      A type that allows a sequence of zero or more string values

    • SINGLE_FUNCTION Link icon

      public static final SequenceType SINGLE_FUNCTION
      A type that allows a single function item

    • OPTIONAL_FUNCTION_ITEM Link icon

      public static final SequenceType OPTIONAL_FUNCTION_ITEM
      A type that allows a sequence of zero or one function items

    • FUNCTION_ITEM_SEQUENCE Link icon

      public static final SequenceType FUNCTION_ITEM_SEQUENCE
      A type that allows a sequence of zero or mode function items

    • EMPTY_SEQUENCE Link icon

      public static final SequenceType EMPTY_SEQUENCE
      A type that only permits the empty sequence

    • NON_EMPTY_SEQUENCE Link icon

      public static final SequenceType NON_EMPTY_SEQUENCE
      A type that only permits a non-empty sequence

    • VOID Link icon

      public static final SequenceType VOID
      A type that has no instances

  • Constructor Details Link icon

    • SequenceType Link icon

      public SequenceType(ItemType primaryType, int cardinality)
      Construct an instance of SequenceType.
      Parameters:
      primaryType - The item type
      cardinality - The required cardinality

  • Method Details Link icon

    • makeSequenceType Link icon

      public static SequenceType makeSequenceType(ItemType primaryType, int cardinality)
      Construct an instance of SequenceType. This is a factory method: it maintains a pool of SequenceType objects to reduce the amount of object creation.
      Parameters:
      primaryType - The item type
      cardinality - The required cardinality. This must be one of the constants StaticProperty.EXACTLY_ONE, StaticProperty.ALLOWS_ONE_OR_MORE, etc
      Returns:
      the SequenceType (either a newly created object, or an existing one from the cache)

    • one Link icon

      public static SequenceType one(ItemType itemType)

    • getPrimaryType Link icon

      public ItemType getPrimaryType()
      Get the "primary" part of this required type. E.g. for type element(*, xs:date) the "primary type" is element()
      Returns:
      The item type code of the primary type

    • getCardinality Link icon

      public int getCardinality()
      Get the cardinality component of this SequenceType. This is one of the constants StaticProperty.EXACTLY_ONE, StaticProperty.ALLOWS_ONE_OR_MORE, etc
      Returns:
      the required cardinality
      See Also:

    • matches Link icon

      public boolean matches(GroundedValue value, TypeHierarchy th)
      Determine whether a given value is a valid instance of this SequenceType
      Parameters:
      value - the value to be tested
      th - the type hierarchy cache
      Returns:
      true if the value is a valid instance of this type

    • explainMismatch Link icon

      public Optional<String> explainMismatch(GroundedValue value, TypeHierarchy th)
      Get extra diagnostic information about why a supplied item does not conform to this item type, if available. If extra information is returned, it should be in the form of a complete sentence, minus the closing full stop. No information should be returned for obvious cases.
      Parameters:
      value - the value which has been found not to match this sequence type
      th - the TypeHierarchy cache
      Returns:
      any extra information

    • toString Link icon

      public String toString()
      Return a string representation of this SequenceType
      Overrides:
      toString in class Object
      Returns:
      the string representation as an instance of the XPath SequenceType construct

    • toExportString Link icon

      public String toExportString()
      Return a string representation of this SequenceType suitable for use in stylesheet export files. This differs from the result of toString() in that it will not contain any references to anonymous types. Note that it may also use the Saxon extended syntax for union types and tuple types.
      Returns:
      the string representation as an instance of the XPath SequenceType construct

    • toAlphaCode Link icon

      public String toAlphaCode()

    • hashCode Link icon

      public int hashCode()
      Returns a hash code value for the object.
      Overrides:
      hashCode in class Object

    • equals Link icon

      public boolean equals(Object obj)
      Indicates whether some other object is "equal to" this one.
      Overrides:
      equals in class Object

    • isSameType Link icon

      public boolean isSameType(SequenceType other, TypeHierarchy th)