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

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

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)