Modifier and Type | Method and Description |
---|---|
Map |
cast(Item item,
QueryContext qc,
StaticContext sc,
InputInfo ii)
Casts the specified item to this item type.
|
boolean |
eq(Type t)
Checks if this type is equal to the given one.
|
static MapType |
get(AtomType key,
SeqType val)
Creates a new map type.
|
boolean |
instanceOf(Type t)
Checks if the current type is an instance of the specified type.
|
MapType |
intersect(Type t)
Computes the intersection between this type and the given one, i.e. the least
specific type that is sub-type of both types.
|
byte[] |
string()
Returns the string representation of this type.
|
String |
toString() |
Type |
union(Type t)
Computes the union between this type and the given one, i.e. the least common
ancestor of both types in the type hierarchy.
|
arity, cast, castString, find, get, get, get, id, isNumber, isNumberOrUntyped, isStringOrUntyped, isUntyped, nsSensitive, seqType
public final AtomType keyType
public byte[] string()
Type
public Map cast(Item item, QueryContext qc, StaticContext sc, InputInfo ii) throws QueryException
Type
cast
in interface Type
cast
in class FuncType
item
- item to be convertedqc
- query contextsc
- static contextii
- input infoQueryException
- query exceptionpublic boolean eq(Type t)
Type
public boolean instanceOf(Type t)
Type
instanceOf
in interface Type
instanceOf
in class FuncType
t
- type to be checkedpublic Type union(Type t)
Type
public MapType intersect(Type t)
Type
null
is
returned.public static MapType get(AtomType key, SeqType val)
key
- key typeval
- value typeCopyright © 2005–2015 BaseX Team. All rights reserved.