org.basex.query.expr
Class Satisfy

java.lang.Object
  org.basex.query.ExprInfo
      org.basex.query.expr.Expr
          org.basex.query.expr.Satisfy

public final class Satisfy
extends Expr

Some/Every satisfier clause.

Author:

Workgroup DBIS, University of Konstanz 2005-10, ISC License, Christian Gruen

Nested Class Summary

Nested classes/interfaces inherited from class org.basex.query.expr.Expr

Expr.Use

Field Summary

Expr	sat Expression list.

Constructor Summary

Satisfy(For[] f, Expr s, boolean e)
Constructor.

Method Summary

Bln	atomic(QueryContext ctx) Evaluates the expression and returns the resulting item or a null reference.
Expr	comp(QueryContext ctx) Optimizes and compiles the expression.
void	plan(Serializer ser) Recursively sends the abstract syntax of this expression to the specified serializer.
boolean	removable(Var v, QueryContext ctx) Checks if the specified variable is removable.
Expr	remove(Var v) Removes the specified variable in a sub expression.
Return	returned(QueryContext ctx) Indicates the return type of an expression.
String	toString()
boolean	uses(Expr.Use u, QueryContext ctx) Indicates if an expression uses the specified type.

Methods inherited from class org.basex.query.expr.Expr

addText, checkCtx, checkDbl, checkItr, duplicates, e, ebv, i, indexAccessible, indexEquivalent, iter, sameAs, size, test, v

Methods inherited from class org.basex.query.ExprInfo

color, info, name

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

sat

public Expr sat

Expression list.

Constructor Detail

Satisfy

public Satisfy(For[] f,
               Expr s,
               boolean e)

Constructor.

Parameters:

f - variable inputs

s - satisfier

e - every flag

Method Detail

comp

public Expr comp(QueryContext ctx)
          throws QueryException

Description copied from class: Expr

Optimizes and compiles the expression.

Specified by:

comp in class Expr

Parameters:

ctx - query context

Returns:

optimized Expression

Throws:

QueryException - query exception

atomic

public Bln atomic(QueryContext ctx)
           throws QueryException

Description copied from class: Expr

Evaluates the expression and returns the resulting item or a null reference. If this method is not overwritten, Expr.iter(org.basex.query.QueryContext) must be implemented.

Overrides:

atomic in class Expr

Parameters:

ctx - query context

Returns:

iterator

Throws:

QueryException - query exception

uses

public boolean uses(Expr.Use u,
                    QueryContext ctx)

Description copied from class: Expr

Indicates if an expression uses the specified type. Called by the compiler to perform certain optimizations. true is returned by default and thus assumed as "worst-case".

Specified by:

uses in class Expr

Parameters:

u - use type to be checked

ctx - query context

Returns:

result of check

removable

public boolean removable(Var v,
                         QueryContext ctx)

Description copied from class: Expr

Checks if the specified variable is removable.

Overrides:

removable in class Expr

Parameters:

v - variable to be removed

ctx - query context

Returns:

result of check

remove

public Expr remove(Var v)

Description copied from class: Expr

Removes the specified variable in a sub expression.

Overrides:

remove in class Expr

Parameters:

v - variable to be removed

Returns:

expression with removed variable

returned

public Return returned(QueryContext ctx)

Description copied from class: Expr

Indicates the return type of an expression. Called by the compiler to check if expressions can be reformulated. null is returned by default.

Overrides:

returned in class Expr

Parameters:

ctx - query context

Returns:

result of check

plan

public void plan(Serializer ser)
          throws IOException

Description copied from class: ExprInfo

Recursively sends the abstract syntax of this expression to the specified serializer.

Specified by:

plan in class ExprInfo

Parameters:

ser - serializer

Throws:

IOException - I/O exception

toString

public String toString()

Specified by:

toString in class ExprInfo