org.basex.query.xquery.expr
Class Pred

java.lang.Object
  extended by org.basex.query.xquery.expr.Expr
      extended by org.basex.query.xquery.expr.Arr
          extended by org.basex.query.xquery.expr.Pred

public final class Pred
extends Arr

Predicate expression.

Author:
Workgroup DBIS, University of Konstanz 2005-07, ISC License, Christian Gruen

Field Summary
 
Fields inherited from class org.basex.query.xquery.expr.Arr
list
 
Fields inherited from class org.basex.query.xquery.expr.Expr
type
 
Constructor Summary
Pred(Expr e, Expr[] p)
          Constructor.
 
Method Summary
 Expr comp(XQContext ctx)
          Optimizes and compiles the expression tree.
 Item eval(XQContext ctx)
          Evaluates the expression and returns the resulting item.
 java.lang.String info()
          Returns a string description of the expression.
 java.lang.String toString()
           
 
Methods inherited from class org.basex.query.xquery.expr.Expr
cls, d, e, i, n, node, s, size, str, u
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Pred

public Pred(Expr e,
            Expr[] p)
Constructor.

Parameters:
e - expression
p - predicate
Method Detail

comp

public Expr comp(XQContext ctx)
          throws XQException
Description copied from class: Expr
Optimizes and compiles the expression tree.

Overrides:
comp in class Arr
Parameters:
ctx - query context
Returns:
optimized Expression
Throws:
XQException - evaluation exception

eval

public Item eval(XQContext ctx)
          throws XQException
Description copied from class: Expr
Evaluates the expression and returns the resulting item.

Specified by:
eval in class Expr
Parameters:
ctx - query context
Returns:
resulting item
Throws:
XQException - evaluation exception

info

public java.lang.String info()
Description copied from class: Expr
Returns a string description of the expression. Contrary to the Expr.toString() method, the current expressions aren't included in the output.

Specified by:
info in class Expr
Returns:
result of check

toString

public java.lang.String toString()
Specified by:
toString in class Expr