|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sf.saxon.expr.ComputedExpression
net.sf.saxon.expr.Assignation
net.sf.saxon.expr.QuantifiedExpression
class QuantifiedExpression
A QuantifiedExpression tests whether some/all items in a sequence satisfy some condition.
Field Summary |
---|
Fields inherited from class net.sf.saxon.expr.Assignation |
---|
action, declaration, nameCode, sequence, slotNumber, variableName |
Fields inherited from class net.sf.saxon.expr.ComputedExpression |
---|
locationId, staticProperties |
Fields inherited from interface net.sf.saxon.expr.Expression |
---|
EVALUATE_METHOD, ITERATE_METHOD, PROCESS_METHOD |
Constructor Summary | |
---|---|
QuantifiedExpression()
|
Method Summary | |
---|---|
int |
computeCardinality()
Determine the static cardinality |
int |
computeSpecialProperties()
Determine the special properties of this expression |
void |
display(int level,
NamePool pool,
java.io.PrintStream out)
Diagnostic print of expression structure |
boolean |
effectiveBooleanValue(XPathContext context)
Get the result as a boolean |
Item |
evaluateItem(XPathContext context)
Evaluate the expression to return a singleton value |
ItemType |
getItemType(TypeHierarchy th)
Determine the data type of the items returned by the expression |
Expression |
optimize(Optimizer opt,
StaticContext env,
ItemType contextItemType)
Perform optimisation of an expression and its subexpressions. |
void |
setOperator(int operator)
|
Expression |
typeCheck(StaticContext env,
ItemType contextItemType)
Type-check the expression |
Methods inherited from class net.sf.saxon.expr.Assignation |
---|
evaluateVariable, extendBindingList, getAction, getLocalSlotNumber, getRequiredSlots, getVariableDeclaration, getVariableFingerprint, getVariableName, getVariableNameCode, isAssignable, isGlobal, iterateSubExpressions, promote, promoteWhereClause, setAction, setSequence, setSlotNumber, setVariableDeclaration, simplify, suppressValidation |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
QuantifiedExpression()
Method Detail |
---|
public void setOperator(int operator)
public int computeCardinality()
computeCardinality
in class ComputedExpression
public Expression typeCheck(StaticContext env, ItemType contextItemType) throws XPathException
env
- the static context of the expressioncontextItemType
- the static type of "." at the point where this expression is invoked.
The parameter is set to null if it is known statically that the context item will be undefined.
If the type of the context item is not known statically, the argument is set to
Type.ITEM_TYPE
StaticError
- if an error is discovered during this phase
(typically a type error)
XPathException
public Expression optimize(Optimizer opt, StaticContext env, ItemType contextItemType) throws XPathException
This method is called after all references to functions and variables have been resolved to the declaration of the function or variable, and after all type checking has been done.
opt
- the optimizer in use. This provides access to supporting functions; it also allows
different optimization strategies to be used in different circumstances.env
- the static context of the expressioncontextItemType
- the static type of "." at the point where this expression is invoked.
The parameter is set to null if it is known statically that the context item will be undefined.
If the type of the context item is not known statically, the argument is set to
Type.ITEM_TYPE
StaticError
- if an error is discovered during this phase
(typically a type error)
XPathException
public int computeSpecialProperties()
computeSpecialProperties
in class ComputedExpression
StaticProperty.NON_CREATIVE
.public Item evaluateItem(XPathContext context) throws XPathException
evaluateItem
in interface Expression
evaluateItem
in class ComputedExpression
context
- The context in which the expression is to be evaluated
XPathException
- if any dynamic error occurs evaluating the
expressionpublic boolean effectiveBooleanValue(XPathContext context) throws XPathException
effectiveBooleanValue
in interface Expression
effectiveBooleanValue
in class ComputedExpression
context
- The context in which the expression is to be evaluated
XPathException
- if any dynamic error occurs evaluating the
expressionpublic ItemType getItemType(TypeHierarchy th)
th
-
public void display(int level, NamePool pool, java.io.PrintStream out)
level
- 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 |