|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--net.sf.saxon.value.Value
|
+--net.sf.saxon.value.SequenceValue
|
+--net.sf.saxon.value.Closure
A Closure represents a value that has not yet been evaluated: the value is represented by an expression, together with saved values of all the context variables that the expression depends on.
The Closure maintains a reservoir containing those items in the value that have already been read. When a new iterator is requested to read the value, this iterator first examines and returns any items already placed in the reservoir by previous users of the Closure. When the reservoir is exhausted, it then uses an underlying Input Iterator to read further values of the underlying expression. If the value is not read to completion (for example, if the first user did exists($expr), then the Input Iterator is left positioned where this user abandoned it. The next user will read any values left in the reservoir by the first user, and then pick up iterating the base expression where the first user left off. Eventually, all the values of the expression will find their way into the reservoir, and future users simply iterate over the reservoir contents. Alternatively, of course, the values may be left unread.
Delayed evaluation is used only for expressions with a static type that allows more than one item, so the evaluateItem() method will not normally be used, but it is supported for completeness.
The expression may depend on local variables and on the context item; these values are held in the saved XPathContext object that is kept as part of the Closure, and they will always be read from that object. The expression may also depend on global variables; these are unchanging, so they can be read from the Bindery in the normal way. Expressions that depend on other contextual information, for example the values of position(), last(), current(), current-group(), should not be evaluated using this mechanism: they should always be evaluated eagerly. This means that the Closure does not need to keep a copy of these context variables.
| Nested Class Summary | |
class |
Closure.ProgressiveIterator
A ProgressiveIterator starts by reading any items already held in the reservoir; when the reservoir is exhausted, it reads further items from the inputIterator, copying them into the reservoir as they are read. |
| Field Summary |
| Fields inherited from interface net.sf.saxon.expr.Expression |
EVALUATE_METHOD, ITERATE_METHOD, PROCESS_METHOD |
| Method Summary | |
java.lang.Object |
convertToJava(java.lang.Class target,
Configuration config,
XPathContext context)
Convert to Java object (for passing to external functions) |
void |
display(int level,
NamePool pool,
java.io.PrintStream out)
Diagnostic display of the expression |
Item |
evaluateItem(XPathContext context)
Evaluate as a singleton. |
int |
getCardinality()
Get the cardinality |
ItemType |
getItemType()
Get the static item type |
int |
getSpecialProperties()
Get the static properties of this expression (other than its type). |
Item |
itemAt(int n)
Get the n'th item in the sequence (starting from 0). |
SequenceIterator |
iterate(XPathContext context)
Evaluate the expression in a given context to return an iterator over a sequence |
static Value |
make(Expression expression,
XPathContext context)
Construct a Closure by supplying the expression and the set of context variables. |
| Methods inherited from class net.sf.saxon.value.SequenceValue |
effectiveBooleanValue, equals, evaluateAsString, getImplementationMethod, getStringValue, hashCode, materialize, process |
| Methods inherited from class net.sf.saxon.value.Value |
analyze, asItem, asValue, collapseWhitespace, convertJavaObjectToXPath, getDependencies, getParentExpression, inverse, iterateSubExpressions, normalizeWhitespace, promote, simplify, stringToNumber, toString, trimWhitespace |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Method Detail |
public static Value make(Expression expression,
XPathContext context)
throws XPathException
XPathExceptionpublic ItemType getItemType()
getItemType in interface ExpressiongetItemType in class SequenceValuepublic int getCardinality()
getCardinality in interface ExpressiongetCardinality in class SequenceValuepublic int getSpecialProperties()
getSpecialProperties in interface ExpressiongetSpecialProperties in class Value
public Item evaluateItem(XPathContext context)
throws XPathException
evaluateItem in interface ExpressionevaluateItem in class SequenceValuecontext - The context in which the expression is to be evaluated
XPathException - if any dynamic error occurs evaluating the
expression
public SequenceIterator iterate(XPathContext context)
throws XPathException
context - the evaluation context. This is ignored; we use the context saved
as part of the Closure instead.
XPathException - if any dynamic error occurs evaluating the
expression
public Item itemAt(int n)
throws XPathException
itemAt in class SequenceValueXPathException
public java.lang.Object convertToJava(java.lang.Class target,
Configuration config,
XPathContext context)
throws XPathException
convertToJava in class SequenceValuetarget - The class required by the external functionconfig - The configuration (needed for access to schema information)
XPathException
public void display(int level,
NamePool pool,
java.io.PrintStream out)
SequenceValue
display in interface Expressiondisplay in class SequenceValuelevel - indentation level for this expressionpool - NamePool used to expand any names appearing in the expressionout - Output destination
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||