org.basex.query.expr
Class Quantifier
java.lang.Object
org.basex.data.ExprInfo
org.basex.query.expr.Expr
org.basex.query.expr.ParseExpr
org.basex.query.expr.Single
org.basex.query.expr.Quantifier
public final class Quantifier
- extends Single
Some/Every satisfier clause.
- Author:
- BaseX Team 2005-12, BSD License, Christian Gruen
Nested classes/interfaces inherited from class org.basex.query.expr.Expr |
Expr.Flag |
Fields inherited from class org.basex.query.expr.Single |
expr |
Methods inherited from class org.basex.query.expr.ParseExpr |
checkAdmin, checkAllUp, checkBinary, checkBln, checkColl, checkCreate, checkCtx, checkDbl, checkDBNode, checkEStr, checkEStr, checkFunc, checkItem, checkItr, checkItr, checkMap, checkNode, checkNode, checkNode, checkNoEmpty, checkNoneUp, checkNoUp, checkQNm, checkStr, checkStr, checkStrBin, checkType, checkWrite, compBln, copyType, ebv, iter, optPre, preEval, size, test, type, value |
Methods inherited from class org.basex.query.expr.Expr |
addText, compEbv, copy, hasFreeVars, indexAccessible, indexEquivalent, inlineAll, isEmpty, isFunction, isItem, isVacuous, isValue, iterable, markTailCalls, sameAs, uses, visitAll |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Quantifier
public Quantifier(InputInfo ii,
For[] f,
Expr s,
boolean e)
- Constructor.
- Parameters:
ii
- input infof
- variable inputss
- satisfiere
- every flag
compile
public Expr compile(QueryContext ctx,
VarScope scp)
throws QueryException
- Description copied from class:
Expr
- Compiles and optimizes the expression, assigns data types and cardinalities.
- Overrides:
compile
in class Single
- Parameters:
ctx
- query contextscp
- variable scope
- Returns:
- optimized expression
- Throws:
QueryException
- query exception
optimize
public Expr optimize(QueryContext ctx,
VarScope scp)
throws QueryException
- Description copied from class:
Expr
- Optimizes an already compiled expression without recompiling its sub-expressions.
- Overrides:
optimize
in class Expr
- Parameters:
ctx
- query contextscp
- variable scope
- Returns:
- optimized expression
- Throws:
QueryException
- query exception
item
public Bln item(QueryContext ctx,
InputInfo ii)
throws QueryException
- Description copied from class:
Expr
- Evaluates the expression and returns the resulting item or
a
null
reference, if the expression yields an empty sequence.
If this method is not overwritten, Expr.iter(org.basex.query.QueryContext)
must be implemented
by an expression, as it may be called by this method.
- Overrides:
item
in class ParseExpr
- Parameters:
ctx
- query contextii
- input info
- Returns:
- iterator
- Throws:
QueryException
- query exception
copy
public Expr copy(QueryContext ctx,
VarScope scp,
IntObjMap<Var> vs)
- Description copied from class:
Expr
- Copies an expression.
Will be useful for inlining functions, or for copying static queries.
- Specified by:
copy
in class Expr
- Parameters:
ctx
- query contextscp
- variable scope for creating new variablesvs
- mapping from old variable IDs to new variable copies
- Returns:
- copied expression
plan
public void plan(FElem plan)
- Description copied from class:
ExprInfo
- Creates an expression tree.
- Overrides:
plan
in class Single
- Parameters:
plan
- root element
toString
public java.lang.String toString()
- Specified by:
toString
in class ExprInfo
exprSize
public int exprSize()
- Description copied from class:
Expr
- Counts the number of expressions in this expression's sub-tree.
- Overrides:
exprSize
in class Single
- Returns:
- number of expressions