Package net.sf.saxon.expr
Class ExpressionVisitor
java.lang.Object
net.sf.saxon.expr.ExpressionVisitor
The ExpressionVisitor supports the various phases of processing of an expression tree which require
a recursive walk of the tree structure visiting each node in turn. In maintains a stack holding the
ancestor nodes of the node currently being visited.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGet the Saxon configurationGet the container of the expressions being visitedGet the current expression, the one being visitedGet the Executable containing the expressions being visitedGet the parent expression of the current expression in the expression treegetStack()
Get the stack containing all the expressions currently being visitedGet the static context for the expressions being visited.boolean
isLoopingSubexpression
(Expression ancestor) Return true if the current expression at the top of the visitor's stack is evaluated repeatedly when a given ancestor expression is evaluated oncestatic ExpressionVisitor
make
(StaticContext env) Factory method: make an expression visitoroptimize
(Expression exp, ItemType contextItemType) Optimize an expression, via the ExpressionVisitorfinal void
Reset the static properties for the current expression and for all its containing expressions.void
setConfiguration
(Configuration configuration) Set the Saxon configurationvoid
setContainer
(Container container) Set the container of the expressions being visitedvoid
setExecutable
(Executable executable) Set the Executable containing the expressions being visitedvoid
Set the stack used to hold the expressions being visitedvoid
setStaticContext
(StaticContext staticContext) Set the static context for the expressions being visited.simplify
(Expression exp) Simplify an expression, via the ExpressionVisitortypeCheck
(Expression exp, ItemType contextItemType) Type check an expression, via the ExpressionVisitor
-
Constructor Details
-
ExpressionVisitor
public ExpressionVisitor()Create an ExpressionVisitor
-
-
Method Details
-
getConfiguration
Get the Saxon configuration- Returns:
- the Saxon configuration
-
setConfiguration
Set the Saxon configuration- Parameters:
configuration
- the Saxon configuration
-
getContainer
Get the container of the expressions being visited- Returns:
- the container
-
setContainer
Set the container of the expressions being visited- Parameters:
container
- the container
-
getExecutable
Get the Executable containing the expressions being visited- Returns:
- the Executable
-
setExecutable
Set the Executable containing the expressions being visited- Parameters:
executable
- the Executable
-
getStack
Get the stack containing all the expressions currently being visited- Returns:
- the expression stack holding all the containing expressions of the current expression;
the objects on this Stack are instances of
Expression
-
setStack
Set the stack used to hold the expressions being visited- Parameters:
stack
- the expression stack
-
getStaticContext
Get the static context for the expressions being visited. Note: this may not reflect all changes in static context (e.g. namespace context, base URI) applying to nested expressions- Returns:
- the static context
-
setStaticContext
Set the static context for the expressions being visited. Note: this may not reflect all changes in static context (e.g. namespace context, base URI) applying to nested expressions- Parameters:
staticContext
- the static context
-
getCurrentExpression
Get the current expression, the one being visited- Returns:
- the current expression
-
make
Factory method: make an expression visitor- Parameters:
env
- the static context- Returns:
- the new expression visitor
-
simplify
Simplify an expression, via the ExpressionVisitor- Parameters:
exp
- the expression to be simplified- Returns:
- the simplified expression
- Throws:
XPathException
-
typeCheck
Type check an expression, via the ExpressionVisitor- Parameters:
exp
- the expression to be typecheckedcontextItemType
- the static type of the context item for this expression- Returns:
- the expression that results from type checking (this may be wrapped in expressions that perform dynamic checking of the item type or cardinality, or that perform atomization or numeric promotion)
- Throws:
XPathException
- if static type checking fails, that is, if the expression cannot possibly deliver a value of the required type
-
optimize
Optimize an expression, via the ExpressionVisitor- Parameters:
exp
- the expression to be typecheckedcontextItemType
- the static type of the context item for this expression- Returns:
- the rewritten expression
- Throws:
XPathException
-
getParentExpression
Get the parent expression of the current expression in the expression tree- Returns:
- the parent of the current expression (or null if this is the root)
-
isLoopingSubexpression
Return true if the current expression at the top of the visitor's stack is evaluated repeatedly when a given ancestor expression is evaluated once- Parameters:
ancestor
- the ancestor expression. May be null, in which case the search goes all the way to the base of the stack.- Returns:
- true if the current expression is evaluated repeatedly
-
resetStaticProperties
public final void resetStaticProperties()Reset the static properties for the current expression and for all its containing expressions. This should be done whenever the expression is changed in a way that might affect the properties. It causes the properties to be recomputed next time they are needed.
-