org.basex.query.path

Class Path

java.lang.Object

org.basex.data.ExprInfo

org.basex.query.expr.Expr

org.basex.query.expr.ParseExpr

org.basex.query.path.Path

Direct Known Subclasses:

AxisPath, MixedPath

public abstract class Path
extends ParseExpr

Path expression.

Author:

BaseX Team 2005-12, BSD License, Christian Gruen

Nested Class Summary

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

Expr.Use

Field Summary

Fields

Modifier and Type	Field and Description
Expr	root Root expression.
Expr[]	steps Path steps.

Fields inherited from class org.basex.query.expr.ParseExpr

input, size, type

Method Summary

Methods

Modifier and Type	Method and Description
Path	addPreds(Expr... pred) Adds a predicate to the last step.
Expr	comp(QueryContext ctx) Compiles and optimizes the expression, assigns data types and cardinalities.
protected abstract Expr	compPath(QueryContext ctx) Compiles the location path.
int	count(Var v) Counts how often the specified variable is used by an expression.
static Path	get(InputInfo ii, Expr r, Expr... path) Returns a new path instance.
void	plan(Serializer ser) Serializes the expression tree.
boolean	removable(Var v) Checks if the specified variable is replaceable by a context item.
Expr	remove(Var v) Substitutes all VarRef expressions for the given variable by a Context reference.
java.lang.String	toString()
boolean	uses(Expr.Use use) Indicates if an expression uses the specified type or operation.

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

checkBln, checkColl, checkCreate, checkCtx, checkDbl, checkDBNode, checkEStr, checkEStr, checkIO, checkItem, checkItr, checkItr, checkMap, checkNode, checkNoEmpty, checkStr, checkType, checkUp, checkUp, checkWrite, compBln, ebv, item, iter, optPre, preEval, size, test, type, value

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

addText, compEbv, hasFreeVars, indexAccessible, indexEquivalent, isEmpty, isFunction, isItem, isVacuous, isValue, iterable, markTailCalls, sameAs

Methods inherited from class org.basex.data.ExprInfo

description, info

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

root

public Expr root

Root expression.

steps

public Expr[] steps

Path steps.

Method Detail

get

public static Path get(InputInfo ii,
       Expr r,
       Expr... path)

Returns a new path instance.

Parameters:

ii - input info

r - root expression; can be a null reference

path - path steps

Returns:

class instance

comp

public final Expr comp(QueryContext ctx)
                throws QueryException

Description copied from class: Expr

Compiles and optimizes the expression, assigns data types and cardinalities.

Specified by:

comp in class Expr

Parameters:

ctx - query context

Returns:

optimized expression

Throws:

QueryException - query exception

compPath

protected abstract Expr compPath(QueryContext ctx)
                          throws QueryException

Compiles the location path.

Parameters:

ctx - query context

Returns:

optimized expression

Throws:

QueryException - query exception

uses

public final boolean uses(Expr.Use use)

Description copied from class: Expr

Indicates if an expression uses the specified type or operation. This method is called by numerous Expr.comp(org.basex.query.QueryContext) methods to test the properties of sub-expressions. It will return true as soon as at least one test is successful.

Specified by:

uses in class Expr

Parameters:

use - type/operation to be found

Returns:

result of check

addPreds

public final Path addPreds(Expr... pred)

Adds a predicate to the last step.

Parameters:

pred - predicate to be added

Returns:

resulting path instance

count

public int count(Var v)

Description copied from class: Expr

Counts how often the specified variable is used by an expression. This method is called by:

• GFLWOR.comp(org.basex.query.QueryContext) to rewrite where clauses as predicates and remove statically bound or unused clauses
• GFLWOR.compHoist(org.basex.query.QueryContext) to hoist independent variables

Specified by:

count in class Expr

Parameters:

v - variable to be checked

Returns:

number of occurrences

removable

public boolean removable(Var v)

Description copied from class: Expr

Checks if the specified variable is replaceable by a context item. The following tests might return false:

• Preds.removable(org.basex.query.util.Var), if one of the variables is used within a predicate.
• MixedPath.removable(org.basex.query.util.Var), if the variable occurs within the path.
• Group.removable(org.basex.query.util.Var), as the group by expression depends on variable references.

This method is called by GFLWOR.comp(org.basex.query.QueryContext) to rewrite where clauses into predicates.

Specified by:

removable in class Expr

Parameters:

v - variable to be replaced

Returns:

result of check

remove

public Expr remove(Var v)

Description copied from class: Expr

Substitutes all VarRef expressions for the given variable by a Context reference. This method is called by GFLWOR.comp(org.basex.query.QueryContext) to rewrite where clauses as predicates.

Specified by:

remove in class Expr

Parameters:

v - variable to be replaced

Returns:

new expression

plan

public final void plan(Serializer ser)
                throws java.io.IOException

Description copied from class: ExprInfo

Serializes the expression tree.

Specified by:

plan in class ExprInfo

Parameters:

ser - serializer

Throws:

java.io.IOException - I/O exception

toString

public final java.lang.String toString()

Specified by:

toString in class ExprInfo