lux.xpath

Class Root

java.lang.Object

lux.xpath.AbstractExpression

lux.xpath.Root

All Implemented Interfaces:

Visitable

public class Root
extends AbstractExpression

Nested Class Summary

Nested classes/interfaces inherited from class lux.xpath.AbstractExpression

AbstractExpression.Type

Field Summary

Fields inherited from class lux.xpath.AbstractExpression

subs, sup

Constructor Summary

Constructors

Constructor and Description
Root()

Method Summary

Methods

Modifier and Type	Method and Description
AbstractExpression	accept(ExpressionVisitor visitor)
boolean	geq(AbstractExpression other)
int	getPrecedence()
Root	getRoot()
AbstractExpression	replaceRoot(AbstractExpression replacement) replace this with the given expression
void	toString(StringBuilder buf) Each subclass must implement the toString(StringBuilder) method by appending itself as a syntatically valid XPath/XQuery expression in the given buffer.

Methods inherited from class lux.xpath.AbstractExpression

acceptSubs, appendSub, deepEquals, equivalent, getBindingContext, getHead, getLastContextStep, getSubs, getSuper, getTail, getType, isAbsolute, isDocumentOrdered, isRestrictive, matchDown, propEquals, propGreaterEqual, setSubs, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Root

public Root()

Method Detail

toString

public void toString(StringBuilder buf)

Description copied from class: AbstractExpression

Each subclass must implement the toString(StringBuilder) method by appending itself as a syntatically valid XPath/XQuery expression in the given buffer.

Specified by:

toString in class AbstractExpression

Parameters:

buf - the buffer to append to

getRoot

public Root getRoot()

Overrides:

getRoot in class AbstractExpression

Returns:

the root of this expression: this will either be a Root(/), a function returning document nodes, or null.

accept

public AbstractExpression accept(ExpressionVisitor visitor)

getPrecedence

public int getPrecedence()

Specified by:

getPrecedence in class AbstractExpression

Returns:

0

replaceRoot

public AbstractExpression replaceRoot(AbstractExpression replacement)

replace this with the given expression

Overrides:

replaceRoot in class AbstractExpression

Parameters:

replacement - the expression to use in place of this

Returns:

the same expression

geq

public boolean geq(AbstractExpression other)

Overrides:

geq in class AbstractExpression

Parameters:

other - another expression

Returns:

whether this expression is query-geq (fgreater-than-or-equal) to the other, in the sense that for all contexts c, exists(other|c) => exists(this|c). In particular, this implementation tests that the two expressions are of the same type and have local properties consistent with geq, by calling propGreaterEqual.