Package org.rumbledb.types

Class SequenceType

java.lang.Object

org.rumbledb.types.SequenceType

All Implemented Interfaces:

Serializable

public class SequenceType
extends Object
implements Serializable

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	SequenceType.Arity

Field Summary

Fields

Modifier and Type	Field	Description
static final SequenceType	ANYURI
static final SequenceType	ANYURI_PLUS
static final SequenceType	ANYURI_QM
static final SequenceType	ANYURI_STAR
static final SequenceType	BOOLEAN
static final SequenceType	DECIMAL
static final SequenceType	DECIMAL_PLUS
static final SequenceType	DECIMAL_QM
static final SequenceType	DECIMAL_STAR
static final SequenceType	DOUBLE
static final SequenceType	DOUBLE_PLUS
static final SequenceType	DOUBLE_QM
static final SequenceType	DOUBLE_STAR
static final SequenceType	EMPTY_SEQUENCE
static final SequenceType	FLOAT
static final SequenceType	FLOAT_PLUS
static final SequenceType	FLOAT_QM
static final SequenceType	FLOAT_STAR
static final SequenceType	FUNCTION
static final SequenceType	INT
static final SequenceType	INT_PLUS
static final SequenceType	INT_QM
static final SequenceType	INT_STAR
static final SequenceType	INTEGER
static final SequenceType	INTEGER_PLUS
static final SequenceType	INTEGER_QM
static final SequenceType	INTEGER_STAR
static final SequenceType	ITEM
static final SequenceType	ITEM_STAR
static final SequenceType	OBJECTS
static final SequenceType	STRING
static final SequenceType	STRING_PLUS
static final SequenceType	STRING_QM
static final SequenceType	STRING_STAR

Constructor Summary

Constructors

Constructor	Description
SequenceType(ItemType itemType)
SequenceType(ItemType itemType, SequenceType.Arity arity)

Method Summary

Modifier and Type	Method	Description
static SequenceType	createSequenceType(String userFriendlyName)
boolean	equals(Object other)
SequenceType.Arity	getArity()
ItemType	getItemType()
boolean	hasEffectiveBooleanValue()
boolean	hasOverlapWith(SequenceType other)
SequenceType	incrementArity()
boolean	isAritySubtypeOf(SequenceType.Arity superArity)
boolean	isEmptySequence()
boolean	isResolved()
boolean	isSubtypeOf(SequenceType superType)
boolean	isSubtypeOfOrCanBePromotedTo(SequenceType superType)
SequenceType	leastCommonSupertypeWith(SequenceType other)
SequenceType	refineArityIfSubtype(SequenceType.Arity otherArity)
void	resolve(DynamicContext context, ExceptionMetadata metadata)
void	resolve(StaticContext context, ExceptionMetadata metadata)
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

ITEM_STAR

public static final SequenceType ITEM_STAR

OBJECTS

public static final SequenceType OBJECTS

FUNCTION

public static final SequenceType FUNCTION

ITEM

public static final SequenceType ITEM

INTEGER

public static final SequenceType INTEGER

DECIMAL

public static final SequenceType DECIMAL

DOUBLE

public static final SequenceType DOUBLE

FLOAT

public static final SequenceType FLOAT

INT

public static final SequenceType INT

STRING

public static final SequenceType STRING

ANYURI

public static final SequenceType ANYURI

BOOLEAN

public static final SequenceType BOOLEAN

INTEGER_STAR

public static final SequenceType INTEGER_STAR

DECIMAL_STAR

public static final SequenceType DECIMAL_STAR

DOUBLE_STAR

public static final SequenceType DOUBLE_STAR

FLOAT_STAR

public static final SequenceType FLOAT_STAR

INT_STAR

public static final SequenceType INT_STAR

STRING_STAR

public static final SequenceType STRING_STAR

ANYURI_STAR

public static final SequenceType ANYURI_STAR

INTEGER_PLUS

public static final SequenceType INTEGER_PLUS

DECIMAL_PLUS

public static final SequenceType DECIMAL_PLUS

DOUBLE_PLUS

public static final SequenceType DOUBLE_PLUS

FLOAT_PLUS

public static final SequenceType FLOAT_PLUS

INT_PLUS

public static final SequenceType INT_PLUS

STRING_PLUS

public static final SequenceType STRING_PLUS

ANYURI_PLUS

public static final SequenceType ANYURI_PLUS

INTEGER_QM

public static final SequenceType INTEGER_QM

DECIMAL_QM

public static final SequenceType DECIMAL_QM

DOUBLE_QM

public static final SequenceType DOUBLE_QM

FLOAT_QM

public static final SequenceType FLOAT_QM

INT_QM

public static final SequenceType INT_QM

STRING_QM

public static final SequenceType STRING_QM

ANYURI_QM

public static final SequenceType ANYURI_QM

EMPTY_SEQUENCE

public static final SequenceType EMPTY_SEQUENCE

Constructor Details

SequenceType

public SequenceType(ItemType itemType,
 SequenceType.Arity arity)

SequenceType

public SequenceType(ItemType itemType)

Method Details

isResolved

public boolean isResolved()

resolve

public void resolve(DynamicContext context,
 ExceptionMetadata metadata)

resolve

public void resolve(StaticContext context,
 ExceptionMetadata metadata)

isEmptySequence

public boolean isEmptySequence()

getItemType

public ItemType getItemType()

getArity

public SequenceType.Arity getArity()

isSubtypeOf

public boolean isSubtypeOf(SequenceType superType)

isSubtypeOfOrCanBePromotedTo

public boolean isSubtypeOfOrCanBePromotedTo(SequenceType superType)

isAritySubtypeOf

public boolean isAritySubtypeOf(SequenceType.Arity superArity)

hasEffectiveBooleanValue

public boolean hasEffectiveBooleanValue()

hasOverlapWith

public boolean hasOverlapWith(SequenceType other)

leastCommonSupertypeWith

public SequenceType leastCommonSupertypeWith(SequenceType other)

incrementArity

public SequenceType incrementArity()

refineArityIfSubtype

public SequenceType refineArityIfSubtype(SequenceType.Arity otherArity)

equals

public boolean equals(Object other)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

createSequenceType

public static SequenceType createSequenceType(String userFriendlyName)