Uses of Class
org.basex.query.value.type.SeqType

Packages that use SeqType
org.basex.query XQuery implementation. 
org.basex.query.expr XQuery expressions. 
org.basex.query.func XQuery functions. 
org.basex.query.util XQuery utility classes. 
org.basex.query.util.inspect   
org.basex.query.value.item   
org.basex.query.value.seq   
org.basex.query.value.type   
org.basex.query.var   
 

Uses of SeqType in org.basex.query
 

Fields in org.basex.query declared as SeqType
 SeqType StaticDecl.declType
          Declared type, null if not specified.
 SeqType MainModule.declType
          Declared type, null if not specified.
 SeqType StaticContext.initType
          Context item static type.
 

Methods in org.basex.query that return SeqType
 SeqType StaticDecl.type()
          Returns the type of this expression.
 

Constructors in org.basex.query with parameters of type SeqType
MainModule(Expr rt, VarScope scp, SeqType type, java.lang.String xqdoc, InputInfo ii)
          Constructor.
StaticDecl(StaticContext sctx, Ann a, QNm nm, SeqType t, VarScope scp, java.lang.String xqdoc, InputInfo ii)
          Constructor.
 

Uses of SeqType in org.basex.query.expr
 

Fields in org.basex.query.expr declared as SeqType
 SeqType ParseExpr.type
          Static type.
static SeqType[] Catch.TYPES
          Error types.
 

Methods in org.basex.query.expr that return SeqType
abstract  SeqType Expr.type()
          Returns the static type of the evaluated value.
 SeqType ParseExpr.type()
           
 

Constructors in org.basex.query.expr with parameters of type SeqType
Cast(InputInfo ii, Expr e, SeqType t)
          Function constructor.
Castable(InputInfo ii, Expr e, SeqType s)
          Constructor.
Instance(InputInfo ii, Expr e, SeqType s)
          Constructor.
Treat(InputInfo ii, Expr e, SeqType s)
          Constructor.
TypeCase(InputInfo ii, Var v, SeqType[] ts, Expr r)
          Constructor.
TypeCheck(InputInfo ii, Expr e, SeqType to, boolean f)
          Constructor.
 

Uses of SeqType in org.basex.query.func
 

Fields in org.basex.query.func declared as SeqType
 SeqType[] Function.args
          Argument types.
 

Methods in org.basex.query.func that return SeqType
 SeqType InlineFunc.type()
           
 

Methods in org.basex.query.func with parameters of type SeqType
 StaticFunc StaticFuncs.declare(Ann ann, QNm nm, Var[] args, SeqType ret, Expr body, StaticContext sc, VarScope scp, java.lang.String xqdoc, InputInfo ii)
          Declares a new user-defined function.
 

Constructors in org.basex.query.func with parameters of type SeqType
InlineFunc(InputInfo ii, SeqType r, Var[] v, Expr e, Ann a, StaticContext stc, VarScope scp)
          Constructor.
StaticFunc(Ann a, QNm n, Var[] v, SeqType r, Expr e, StaticContext stc, VarScope scp, java.lang.String xqdoc, InputInfo ii)
          Function constructor.
 

Uses of SeqType in org.basex.query.util
 

Methods in org.basex.query.util with parameters of type SeqType
static TypedFunc TypedFunc.constr(Cast cast, SeqType to)
          Creates a type constructor function.
static QueryException Err.treat(InputInfo ii, SeqType t, Expr e)
          Throws a type promoting exception.
 

Uses of SeqType in org.basex.query.util.inspect
 

Methods in org.basex.query.util.inspect with parameters of type SeqType
protected  void XQDoc.type(SeqType st, FElem parent)
          Creates a type element.
 

Uses of SeqType in org.basex.query.value.item
 

Methods in org.basex.query.value.item that return SeqType
 SeqType Item.type()
           
 

Uses of SeqType in org.basex.query.value.seq
 

Methods in org.basex.query.value.seq that return SeqType
 SeqType Empty.type()
           
 SeqType ItemSeq.type()
           
 SeqType NativeSeq.type()
           
 SeqType RangeSeq.type()
           
 

Uses of SeqType in org.basex.query.value.type
 

Fields in org.basex.query.value.type declared as SeqType
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.args
          Argument types.
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.BIN
          Single binary.
static SeqType SeqType.BIN_ZM
          Zero or more binaries.
static SeqType SeqType.BLN
          Single xs:boolean.
static SeqType SeqType.BLN_ZO
          Zero or one xs:boolean.
static SeqType SeqType.BYT_OM
          One or more bytes.
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_OM
          One or more 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.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 function.
static SeqType SeqType.MAP_ZM
          Single function.
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.PI
          Namespace node.
static SeqType SeqType.QNM
          Single QName.
static SeqType SeqType.QNM_ZO
          Zero or one QNames.
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.
 SeqType FuncType.type
          Return type.
static SeqType SeqType.URI
          Single URI.
static SeqType SeqType.URI_ZM
          Zero or more URIs.
static SeqType SeqType.URI_ZO
          Zero or one URIs.
 

Methods in org.basex.query.value.type that return SeqType
static SeqType SeqType.get(Type t, long o)
          Returns a sequence type.
static SeqType SeqType.get(Type t, SeqType.Occ o)
          Returns a sequence type.
static SeqType SeqType.get(Type t, SeqType.Occ o, Test k)
          Returns a sequence type.
 SeqType SeqType.intersect(SeqType t)
          Computes the intersection of two sequence types, i.e.
 SeqType AtomType.seqType()
           
 SeqType ListType.seqType()
           
 SeqType FuncType.seqType()
           
 SeqType NodeType.seqType()
           
 SeqType Type.seqType()
          Returns the sequence type of this data type.
 SeqType SeqType.union(SeqType t)
          Computes the union of two sequence types, i.e.
 SeqType SeqType.withOcc(SeqType.Occ o)
          Returns a version of this sequence type that is adapted to the given SeqType.Occ.
 

Methods in org.basex.query.value.type with parameters of type SeqType
 boolean SeqType.convertibleTo(SeqType t)
          Checks if this type could be converted to the given one by function conversion.
 boolean SeqType.eq(SeqType t)
          Checks the types for equality.
static FuncType FuncType.get(Ann a, SeqType ret, SeqType... args)
          Getter for function types.
static FuncType FuncType.get(Ann a, SeqType ret, SeqType... args)
          Getter for function types.
static FuncType FuncType.get(Ann an, Var[] args, SeqType ret)
          Getter for a function's type.
static MapType MapType.get(AtomType key, SeqType val)
          Creates a new map 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 the specified SeqType is an instance of the current SeqType.
 SeqType SeqType.intersect(SeqType t)
          Computes the intersection of two sequence types, i.e.
 SeqType SeqType.union(SeqType t)
          Computes the union of two sequence types, i.e.
 

Uses of SeqType in org.basex.query.var
 

Fields in org.basex.query.var declared as SeqType
 SeqType Var.declType
          Declared type, null if not specified.
 

Methods in org.basex.query.var that return SeqType
 SeqType Var.declaredType()
          Declared type of this variable.
 SeqType Var.type()
          Type of values bound to this variable.
 

Methods in org.basex.query.var with parameters of type SeqType
 boolean Var.adoptCheck(SeqType t, boolean prom)
          Tries to adopt the given type check.
 StaticVar Variables.declare(QNm nm, SeqType t, Ann a, Expr e, boolean ext, StaticContext sctx, VarScope scp, java.lang.String xqdoc, InputInfo ii)
          Declares a new static variable.
 Var VarScope.newLocal(QueryContext ctx, QNm name, SeqType typ, boolean param)
          Creates a new local variable in this scope.
 void Var.refineType(SeqType t, QueryContext ctx, InputInfo ii)
          Tries to refine the compile-time type of this variable through the type of the bound expression.
 Var VarScope.uniqueVar(QueryContext ctx, SeqType type, boolean param)
          Creates a variable with a unique, non-clashing variable name.