Package | Description |
---|---|
org.basex.query |
XQuery implementation.
|
org.basex.query.ann | |
org.basex.query.expr |
XQuery expressions.
|
org.basex.query.func |
XQuery functions.
|
org.basex.query.func.fn |
Functions in the fn namespace.
|
org.basex.query.value.item | |
org.basex.query.value.seq | |
org.basex.query.value.type | |
org.basex.query.var |
Modifier and Type | Field and Description |
---|---|
protected SeqType |
StaticDecl.declType
Declared type,
null if not specified. |
Modifier and Type | Method and Description |
---|---|
SeqType |
StaticDecl.seqType()
Returns the type of this expression.
|
Modifier and Type | Method and Description |
---|---|
static QueryException |
QueryError.treatError(InputInfo ii,
Value value,
SeqType seqType)
Throws a type promoting exception.
|
Constructor and Description |
---|
StaticDecl(StaticContext sc,
AnnList anns,
QNm name,
SeqType type,
VarScope scope,
String doc,
InputInfo info)
Constructor.
|
Modifier and Type | Field and Description |
---|---|
SeqType[] |
Annotation.args
Argument types.
|
Modifier and Type | Field and Description |
---|---|
protected SeqType |
ParseExpr.seqType
Static type.
|
static SeqType[] |
Catch.TYPES
Error types.
|
Modifier and Type | Method and Description |
---|---|
SeqType |
ParseExpr.seqType() |
abstract SeqType |
Expr.seqType()
Returns the static type of the resulting value.
|
Modifier and Type | Method and Description |
---|---|
void |
ParseExpr.seqType(SeqType type)
Assigns a sequence type.
|
protected void |
Preds.seqType(SeqType st,
long s)
Assigns the sequence type and
ParseExpr.size value. |
Constructor and Description |
---|
Cast(StaticContext sc,
InputInfo info,
Expr expr,
SeqType seqType)
Function constructor.
|
Castable(StaticContext sc,
InputInfo info,
Expr expr,
SeqType type)
Constructor.
|
Instance(InputInfo info,
Expr expr,
SeqType type)
Constructor.
|
Treat(InputInfo info,
Expr expr,
SeqType seqType)
Constructor.
|
TypeCase(InputInfo info,
Var var,
SeqType[] types,
Expr expr)
Constructor.
|
TypeCheck(StaticContext sc,
InputInfo info,
Expr expr,
SeqType seqType,
boolean promote)
Constructor.
|
Modifier and Type | Field and Description |
---|---|
SeqType[] |
Function.args
Argument types.
|
Modifier and Type | Method and Description |
---|---|
StaticFunc |
StaticFuncs.declare(AnnList anns,
QNm nm,
Var[] args,
SeqType type,
Expr expr,
StaticContext sc,
VarScope scope,
String doc,
InputInfo ii)
Declares a new user-defined function.
|
static int[] |
Function.minMax(String desc,
SeqType[] args)
Computes the minimum and maximum number of arguments by analyzing the description string.
|
Constructor and Description |
---|
Closure(InputInfo info,
SeqType ret,
Var[] args,
Expr expr,
AnnList anns,
Map<Var,Expr> nonLocal,
StaticContext sc,
VarScope scope)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static StandardFunc |
FnError.get(QueryException ex,
SeqType tp)
Creates an error function instance.
|
Modifier and Type | Method and Description |
---|---|
SeqType |
Item.seqType() |
Modifier and Type | Method and Description |
---|---|
SeqType |
SubSeq.seqType() |
SeqType |
RangeSeq.seqType() |
SeqType |
Empty.seqType() |
Modifier and Type | Field and Description |
---|---|
static SeqType |
SeqType.AAT
Zero or one xs:anyAtomicType.
|
static SeqType |
SeqType.AAT_ZM
Zero or more xs:anyAtomicType.
|
static SeqType |
SeqType.AAT_ZO
Zero or one xs:anyAtomicType.
|
SeqType[] |
FuncType.argTypes
Argument types.
|
static SeqType |
SeqType.ARRAY_O
Single array.
|
static SeqType |
SeqType.ARRAY_ZM
Zero or more arrays.
|
static SeqType |
SeqType.ATT
One attribute node.
|
static SeqType |
SeqType.B64
Single xs:base64Binary.
|
static SeqType |
SeqType.B64_ZM
Zero or more xs:base64Binary.
|
static SeqType |
SeqType.B64_ZO
Zero or one xs:base64Binary.
|
static SeqType |
SeqType.BIN
Single binary.
|
static SeqType |
SeqType.BLN
Single xs:boolean.
|
static SeqType |
SeqType.BLN_ZO
Zero or one xs:boolean.
|
static SeqType |
SeqType.BYT_ZM
Zero or more bytes.
|
static SeqType |
SeqType.COM
One comment node.
|
static SeqType |
SeqType.DAT
Single date.
|
static SeqType |
SeqType.DAT_ZO
Zero or one date.
|
static SeqType |
SeqType.DBL
Double number.
|
static SeqType |
SeqType.DBL_ZM
Double number.
|
static SeqType |
SeqType.DBL_ZO
Zero or one double.
|
static SeqType |
SeqType.DEC_ZO
Zero or one decimal number.
|
static SeqType |
SeqType.DOC_O
One document node.
|
static SeqType |
SeqType.DOC_ZM
Zero or more document node.
|
static SeqType |
SeqType.DOC_ZO
Zero or one document node.
|
static SeqType |
SeqType.DTD
One day-time-duration.
|
static SeqType |
SeqType.DTD_ZO
Zero or one day-time-duration.
|
static SeqType |
SeqType.DTM
One date-time.
|
static SeqType |
SeqType.DTM_ZO
Zero or one date-time.
|
static SeqType |
SeqType.DUR_ZO
Zero or one duration.
|
static SeqType |
SeqType.ELM
One element node.
|
static SeqType |
SeqType.ELM_ZM
Zero or more element nodes.
|
static SeqType |
SeqType.EMP
Zero items.
|
static SeqType |
SeqType.FLT
Float number.
|
static SeqType |
SeqType.FUN_O
Single function.
|
static SeqType |
SeqType.FUN_OZ
Zero of single function.
|
static SeqType |
SeqType.FUN_ZM
Zero of more functions.
|
static SeqType |
SeqType.HEX
One xs:hexBinary.
|
static SeqType |
SeqType.ITEM
Single item.
|
static SeqType |
SeqType.ITEM_OM
One or more items.
|
static SeqType |
SeqType.ITEM_ZM
Zero or more items.
|
static SeqType |
SeqType.ITEM_ZO
Zero or one item.
|
static SeqType |
SeqType.ITR
Single integer; for simplicity, numbers are summarized by this type.
|
static SeqType |
SeqType.ITR_OM
One or more integers.
|
static SeqType |
SeqType.ITR_ZM
Zero or more integers.
|
static SeqType |
SeqType.ITR_ZO
Zero or one integer.
|
static SeqType |
SeqType.MAP_O
Single map.
|
static SeqType |
SeqType.MAP_ZM
Zero or more maps.
|
static SeqType |
SeqType.NCN_ZO
Zero or one NCName.
|
static SeqType |
SeqType.NOD
Single node.
|
static SeqType |
SeqType.NOD_ZM
Zero or more nodes.
|
static SeqType |
SeqType.NOD_ZO
Zero or one nodes.
|
static SeqType |
SeqType.NSP
Namespace node.
|
static SeqType |
SeqType.NUM
Zero or one xs:numeric.
|
static SeqType |
SeqType.NUM_ZO
Zero or one xs:numeric.
|
static SeqType |
SeqType.PI
Namespace node.
|
static SeqType |
SeqType.QNM
Single QName.
|
static SeqType |
SeqType.QNM_ZO
Zero or one QNames.
|
SeqType |
FuncType.retType
Return type.
|
static SeqType |
SeqType.STR
Single string.
|
static SeqType |
SeqType.STR_ZM
Zero or more strings.
|
static SeqType |
SeqType.STR_ZO
Zero or one strings.
|
static SeqType |
SeqType.TIM
One time.
|
static SeqType |
SeqType.TIM_ZO
Zero or one time.
|
static SeqType |
SeqType.TXT_ZO
Namespace node.
|
static SeqType |
SeqType.URI
Single URI.
|
static SeqType |
SeqType.URI_ZM
Zero or more URIs.
|
static SeqType |
SeqType.URI_ZO
Zero or one URIs.
|
Modifier and Type | Method and Description |
---|---|
static SeqType |
SeqType.get(Type type,
long occ)
Returns a sequence type.
|
static SeqType |
SeqType.get(Type type,
SeqType.Occ occ)
Returns a sequence type.
|
static SeqType |
SeqType.get(Type type,
SeqType.Occ occ,
Test kind)
Returns a sequence type.
|
SeqType |
SeqType.intersect(SeqType t)
Computes the intersection of two sequence types, i.e. the most general type that is
sub-type of both types.
|
SeqType |
Type.seqType()
Returns a sequence type with this item type.
|
SeqType |
NodeType.seqType() |
SeqType |
ListType.seqType() |
SeqType |
FuncType.seqType() |
SeqType |
AtomType.seqType() |
SeqType |
SeqType.union(SeqType t)
Computes the union of two sequence types, i.e. the lowest common ancestor of both
types.
|
SeqType |
SeqType.withOcc(SeqType.Occ o)
Returns a version of this sequence type that is adapted to the given
SeqType.Occ . |
SeqType |
SeqType.withSize(long o)
Returns a version of this sequence type that is adapted to the given
SeqType.Occ . |
Modifier and Type | Method and Description |
---|---|
boolean |
SeqType.eq(SeqType t)
Checks the types for equality.
|
static FuncType |
FuncType.get(AnnList anns,
SeqType ret,
SeqType... args)
Getter for function types.
|
static FuncType |
FuncType.get(AnnList anns,
SeqType ret,
SeqType... args)
Getter for function types.
|
static FuncType |
FuncType.get(AnnList anns,
Var[] args,
SeqType ret)
Getter for a function's type.
|
static MapType |
MapType.get(AtomType key,
SeqType val)
Creates a new map type.
|
static ArrayType |
ArrayType.get(SeqType val)
Creates a new array type.
|
static FuncType |
FuncType.get(SeqType ret,
SeqType... args)
Getter for function types without annotations.
|
static FuncType |
FuncType.get(SeqType ret,
SeqType... args)
Getter for function types without annotations.
|
boolean |
SeqType.instanceOf(SeqType t)
Checks if this sequence type is an instance of the specified sequence type.
|
SeqType |
SeqType.intersect(SeqType t)
Computes the intersection of two sequence types, i.e. the most general type that is
sub-type of both types.
|
boolean |
SeqType.promotable(SeqType t)
Checks if this type could be converted to the given one by function conversion.
|
SeqType |
SeqType.union(SeqType t)
Computes the union of two sequence types, i.e. the lowest common ancestor of both
types.
|
Modifier and Type | Field and Description |
---|---|
SeqType |
Var.declType
Declared sequence type,
null if not specified. |
Modifier and Type | Method and Description |
---|---|
SeqType |
Var.declaredType()
Declared type of this variable.
|
SeqType |
Var.seqType()
Sequence type of values bound to this variable.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Var.adoptCheck(SeqType st,
boolean prom)
Tries to adopt the given type check.
|
StaticVar |
Variables.declare(QNm nm,
SeqType type,
AnnList anns,
Expr expr,
boolean ext,
StaticContext sc,
VarScope scope,
String doc,
InputInfo ii)
Declares a new static variable.
|
Var |
VarScope.newLocal(QueryContext qc,
QNm name,
SeqType typ,
boolean param)
Creates a new local variable in this scope.
|
void |
Var.refineType(SeqType st,
QueryContext qc,
InputInfo ii)
Tries to refine the compile-time type of this variable through the type of the bound
expression.
|
Copyright © 2005–2015 BaseX Team. All rights reserved.