Package org.rumbledb.types

Class AtomicItemType

java.lang.Object
org.rumbledb.types.AbstractItemType
org.rumbledb.types.AtomicItemType
All Implemented Interfaces:
Serializable, ItemType
public class AtomicItemType extends AbstractItemType
This class describes all the primitive built-in atomic types in the JSONiq data model.
See Also:

  • Method Details

    • isAtomicItemType

      public boolean isAtomicItemType()
      Returns:
      true it [this] is a subtype of an atomic item type.

    • hasName

      public boolean hasName()
      Description copied from interface: ItemType
      Tests for QName.
      Returns:
      true if [this] item type has a QName

    • getName

      public Name getName()
      Returns:
      the itemtype QName if available

    • getTypeTreeDepth

      public int getTypeTreeDepth()
      Returns:
      an int representing the depth of the item type in the type tree ('item' is the root with depth 0)

    • getBaseType

      public ItemType getBaseType()
      Returns:
      the base type for a type, return null for the topmost item type

    • isPrimitive

      public boolean isPrimitive()
      Returns:
      [true] if it is a primitive type

    • getPrimitiveType

      public ItemType getPrimitiveType()
      Returns:
      the primitive type for a derived type, throw an error for primitive types

    • isCastingPrimitive

      public boolean isCastingPrimitive()
      Description copied from interface: ItemType
      Casting-specific primitive notion from XPath/XQuery Functions and Operators 3.1 §19: in addition to XML Schema primitive types, xs:integer, xs:yearMonthDuration, and xs:dayTimeDuration are treated as primitive for casting.
      Returns:
      [true] if this type is considered primitive for casting semantics.

    • getCastingPrimitiveType

      public ItemType getCastingPrimitiveType()
      Description copied from interface: ItemType
      Casting-specific primitive normalization used by cast/castable logic.
      Returns:
      this type if it is a casting primitive; otherwise its casting primitive ancestor.

    • isStaticallyCastableAs

      public boolean isStaticallyCastableAs(ItemType other)
      Description copied from interface: ItemType
      Check at static time if [this] could be casted to [other] item type, requires [this] to be an atomic type
      Parameters:
      other - a strict subtype of atomic item type to which we are trying to cast
      Returns:
      true if it is possible at static time to cast [this] to [other], false otherwise

    • isNumeric

      public boolean isNumeric()
      Returns:
      [true] if this is a numeric item type, false otherwise

    • canBePromotedTo

      public boolean canBePromotedTo(ItemType other)
      Parameters:
      other - another item type
      Returns:
      true if [this] can be promoted to [itemType]

    • getAllowedFacets

      public Set<ConstrainingFacetTypes> getAllowedFacets()
      Returns:
      a set containing the allowed facets for restricting the type

    • getEnumerationFacet

      public List<Item> getEnumerationFacet()
      Returns:
      the list of possible values for [this] item type or null if the enumeration facet is not set

    • getConstraintsFacet

      public List<String> getConstraintsFacet()
      Returns:
      the list of constraints in the implementation-defined language for [this] item type (note that this facet is cumulative) or an empty list if the constraints facet is not set

    • getMinLengthFacet

      public Integer getMinLengthFacet()
      Returns:
      the minimum length facet value for [this] item type or null if the restriction is not set

    • getLengthFacet

      public Integer getLengthFacet()
      Returns:
      the length facet value for [this] item type or null if the restriction is not set

    • getMaxLengthFacet

      public Integer getMaxLengthFacet()
      Returns:
      the maximum length facet value for [this] item type or null if the restriction is not set

    • getMinExclusiveFacet

      public Item getMinExclusiveFacet()
      Returns:
      an item representing the minimum possible value (excluded) for [this] item type or null if the restriction is not set

    • getMinInclusiveFacet

      public Item getMinInclusiveFacet()
      Returns:
      an item representing the minimum possible value (included) for [this] item type or null if the restriction is not set

    • getMaxExclusiveFacet

      public Item getMaxExclusiveFacet()
      Returns:
      an item representing the maximum possible value (excluded) for [this] item type or null if the restriction is not set

    • getMaxInclusiveFacet

      public Item getMaxInclusiveFacet()
      Returns:
      an item representing the maximum possible value (included) for [this] item type or null if the restriction is not set

    • getTotalDigitsFacet

      public Integer getTotalDigitsFacet()
      Returns:
      the total digits facet value for [this] item type or null if the restriction is not set

    • getFractionDigitsFacet

      public Integer getFractionDigitsFacet()
      Returns:
      the fraction digits facet value for [this] item type or null if the restriction is not set

    • getExplicitTimezoneFacet

      public TimezoneFacet getExplicitTimezoneFacet()
      Returns:
      the explicit timezone facet value for [this] item type or null if the restriction is not set

    • getWhitespaceFacet

      public WhitespaceFacet getWhitespaceFacet()
      Returns:
      the whiteSpace facet value for [this] item type or null if the restriction is not set

    • getPatternFacet

      public List<String> getPatternFacet()
      Description copied from interface: ItemType
      Returns the pattern facet for this item type. This reflects pattern facets applied via derivation (for example on DerivedAtomicItemType), not the full lexical space of a primitive atomic type.
      Returns:
      the list of pattern regex strings for this derivation step, or null if no pattern restriction is set

    • getOrderedFacet

      public OrderedFacetValue getOrderedFacet()
      Returns:
      the ordered fundamental facet value, or null if not set

    • getBoundedFacet

      public Boolean getBoundedFacet()
      Returns:
      the bounded fundamental facet value, or null if not set

    • getCardinalityFacet

      public CardinalityFacetValue getCardinalityFacet()
      Returns:
      the cardinality fundamental facet value, or null if not set

    • getNumericFacet

      public Boolean getNumericFacet()
      Returns:
      the numeric fundamental facet value, or null if not set

    • getLexicalSpacePatterns

      public List<String> getLexicalSpacePatterns()
      Description copied from interface: ItemType
      Returns the lexical-space patterns for this item type. For primitive atomic types, this describes the lexical space defined by the specification (for example, the allowed literals for xs:boolean or the lexical grammar for xs:decimal). For derived atomic types, this typically delegates to the primitive type. Implementations that do not provide additional constraints should return an empty list.
      Returns:
      a list of regular expressions describing the lexical space of this type, or an empty list if no regex-based restriction is modeled.

    • toString

      public String toString()
      Specified by:
      toString in interface ItemType
      Overrides:
      toString in class Object

    • isResolved

      public boolean isResolved()

    • isCompatibleWithDataFrames

      public boolean isCompatibleWithDataFrames(RumbleConfiguration configuration)
      Description copied from interface: ItemType
      Checks compatibility with DataFrames.
      Returns:
      true if compatible with DataFrames and false otherwise.

    • getSparkSQLType

      public String getSparkSQLType()
      Description copied from interface: ItemType
      Returns the SparkSQL type of the item type for use in a query.
      Returns:
      String representing the SparkSQL type of the item type.

    • canBeNull

      public boolean canBeNull()
      Returns:
      [true] if the null value is in the value space.