Package org.basex.query.value.type

Class ArrayType

java.lang.Object

org.basex.query.value.type.FuncType

org.basex.query.value.type.ArrayType

All Implemented Interfaces:

Type

public final class ArrayType
extends FuncType

Type for arrays.

Author:

BaseX Team 2005-21, BSD License, Christian Gruen

Nested Class Summary

Nested classes/interfaces inherited from interface org.basex.query.value.type.Type

Type.ID

Field Summary

Fields

Modifier and Type	Field	Description
static final byte[]	ARRAY	Name.

Fields inherited from class org.basex.query.value.type.FuncType

anns, argTypes, declType, FUNCTION

Method Summary

Modifier and Type	Method	Description
XQArray	cast(Item item, QueryContext qc, StaticContext sc, InputInfo ii)	Casts the specified item to this type.
boolean	eq(Type type)	Checks if this type is equal to the given one.
static ArrayType	get(SeqType declType)	Creates a new array type.
boolean	instanceOf(Type type)	Checks if the current type is an instance of the specified type.
Type	intersect(Type type)	Computes the intersection between this type and the given one, i.e.
String	toString()
Type	union(Type type)	Computes the union between this type and the given one, i.e.

Methods inherited from class org.basex.query.value.type.FuncType

atomic, cast, castString, find, get, get, get, id, isNumber, isNumberOrUntyped, isSortable, isStringOrUntyped, isUntyped, nsSensitive, seqType, similar

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.basex.query.value.type.Type

oneOf, refine, seqType

Field Details

ARRAY

public static final byte[] ARRAY

Name.

Method Details

cast

public XQArray cast(Item item,
 QueryContext qc,
 StaticContext sc,
 InputInfo ii)
             throws QueryException

Description copied from interface: Type

Casts the specified item to this type.

Specified by:

cast in interface Type

Overrides:

cast in class FuncType

Parameters:

item - item to be converted

qc - query context

sc - static context

ii - input info

Returns:

cast value

Throws:

QueryException - query exception

eq

public boolean eq(Type type)

Description copied from interface: Type

Checks if this type is equal to the given one.

Specified by:

eq in interface Type

Overrides:

eq in class FuncType

Parameters:

type - other type

Returns:

true if both types are equal, false otherwise

instanceOf

public boolean instanceOf(Type type)

Description copied from interface: Type

Checks if the current type is an instance of the specified type.

Specified by:

instanceOf in interface Type

Overrides:

instanceOf in class FuncType

Parameters:

type - type to be checked

Returns:

result of check

union

public Type union(Type type)

Description copied from interface: Type

Computes the union between this type and the given one, i.e. the least common ancestor of both types in the type hierarchy.

Specified by:

union in interface Type

Overrides:

union in class FuncType

Parameters:

type - other type

Returns:

union type

intersect

public Type intersect(Type type)

Description copied from interface: Type

Computes the intersection between this type and the given one, i.e. the least specific type that is sub-type of both types. If no such type exists, null is returned.

Specified by:

intersect in interface Type

Overrides:

intersect in class FuncType

Parameters:

type - other type

Returns:

intersection type or null

get

public static ArrayType get(SeqType declType)

Creates a new array type.

Parameters:

declType - declared return type

Returns:

array type

toString

public String toString()

Specified by:

toString in interface Type

Overrides:

toString in class FuncType