Package net.sf.saxon.pattern
Class BooleanExpressionPattern
java.lang.Object
net.sf.saxon.expr.Expression
net.sf.saxon.expr.PseudoExpression
net.sf.saxon.pattern.Pattern
net.sf.saxon.pattern.BooleanExpressionPattern
- All Implemented Interfaces:
ExportAgent
,Locatable
,IdentityComparable
,PatternWithPredicate
,Traceable
A BooleanExpressionPattern is a pattern of the form .[ Expr ] introduced in XSLT 3.0. It matches
an item if the expression has an effective boolean value of true() when evaluated with that item
as the singleton focus.
-
Field Summary
Fields inherited from class net.sf.saxon.expr.Expression
EFFECTIVE_BOOLEAN_VALUE, EVALUATE_METHOD, ITEM_FEED_METHOD, ITERATE_METHOD, MAX_COST, MAX_SEQUENCE_LENGTH, MAX_STRING_LENGTH, PROCESS_METHOD, staticProperties, UNBOUNDED_LOWER, UNBOUNDED_UPPER, UPDATE_METHOD, WATCH_METHOD
-
Constructor Summary
ConstructorsConstructorDescriptionBooleanExpressionPattern
(Expression expression) Create a BooleanExpressionPattern -
Method Summary
Modifier and TypeMethodDescriptionint
allocateSlots
(SlotManager slotManager, int nextFree) Allocate slots to any variables used within the patternprotected int
Hashcode supporting equals()copy
(RebindingMap rebindings) Copy a pattern.boolean
Determine whether this pattern is the same as another patternvoid
export
(ExpressionPresenter presenter) Diagnostic print of expression structure.int
Determine the name fingerprint of nodes to which this pattern applies.Get an Itemtype that all the items matching this pattern must satisfygetUType()
Get a UType indicating which kinds of items this Pattern can match.boolean
Test whether a pattern is motionless, that is, whether it can be evaluated against a node without repositioning the input stream.boolean
matches
(Item item, XPathContext context) Determine whether this Pattern matches the given item.operands()
Get the immediate sub-expressions of this expression, with information about the relationship of each expression to its parent expression.optimize
(ExpressionVisitor visitor, ContextItemStaticInfo contextInfo) Perform optimisation of an expression and its subexpressions.Display the pattern for diagnosticstypeCheck
(ExpressionVisitor visitor, ContextItemStaticInfo contextItemType) Type-check the pattern.Methods inherited from class net.sf.saxon.pattern.Pattern
bindCurrent, convertToTypedPattern, effectiveBooleanValue, getDefaultPriority, getDependencies, getElaborator, getHostLanguage, getOriginalText, handleDynamicError, isLiftable, isRecoverable, make, matchesBeneathAnchor, matchesCurrentGroup, matchesItem, patternContainsVariable, replaceCurrent, selectNodes, setOriginalText, setPriority, setRecoverable, simplify, toPattern, toShortString, toString
Methods inherited from class net.sf.saxon.expr.PseudoExpression
computeCardinality, evaluateAsString, evaluateItem, getImplementationMethod, iterate, process
Methods inherited from class net.sf.saxon.expr.Expression
addToPathMap, adoptChildExpression, allowExtractingCommonSubexpressions, checkedOperands, checkForUpdatingSubexpressions, checkPermittedContents, computeDependencies, computeSpecialProperties, computeStaticProperties, dispatchTailCall, dynamicError, explain, getCardinality, getConfiguration, getCost, getEvaluationMethod, getExpressionName, getExtraProperty, getIntegerBounds, getIntrinsicDependencies, getLocalRetainedStaticContext, getLocation, getNetCost, getObjectName, getPackageData, getParentExpression, getProperties, getProperty, getRetainedStaticContext, getScopingExpression, getSlotsUsed, getSpecialProperties, getStaticBaseURI, getStaticBaseURIString, getStaticType, getStaticUType, getStreamerName, getTracingTag, hasCompatibleStaticContext, hashCode, hasSpecialProperty, hasVariableBinding, identityHashCode, implementsStaticTypeCheck, isCallOn, isEqual, isIdentical, isInstruction, isMultiThreaded, isStaticPropertiesKnown, isSubtreeExpression, isUpdatingExpression, isVacuousExpression, makeElaborator, markTailFunctionCalls, operandList, operandSparseList, optimizeChildren, prepareForStreaming, resetLocalStaticProperties, restoreParentPointers, setEvaluationMethod, setExtraProperty, setFiltered, setFlattened, setLocation, setParentExpression, setRetainedStaticContext, setRetainedStaticContextLocally, setRetainedStaticContextThoroughly, setStaticProperty, simplifyChildren, staticTypeCheck, supportsLazyEvaluation, suppressValidation, typeCheckChildren, typeError, unordered, verifyParentPointers, withLocation
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface net.sf.saxon.trace.Traceable
gatherProperties
-
Constructor Details
-
BooleanExpressionPattern
Create a BooleanExpressionPattern- Parameters:
expression
- the expression to be evaluated (the expression in the predicate)
-
-
Method Details
-
getPredicate
- Specified by:
getPredicate
in interfacePatternWithPredicate
-
operands
Get the immediate sub-expressions of this expression, with information about the relationship of each expression to its parent expression. Default implementation works off the results of iterateSubExpressions()If the expression is a Callable, then it is required that the order of the operands returned by this function is the same as the order of arguments supplied to the corresponding call() method.
- Overrides:
operands
in classExpression
- Returns:
- an iterator containing the sub-expressions of this expression
-
getUType
Get a UType indicating which kinds of items this Pattern can match. -
allocateSlots
Allocate slots to any variables used within the pattern- Overrides:
allocateSlots
in classPattern
- Parameters:
slotManager
- holds details of the allocated slotsnextFree
- the next slot that is free to be allocated @return the next slot that is free to be allocated- Returns:
- the next slot that is free to be allocated
-
typeCheck
public Pattern typeCheck(ExpressionVisitor visitor, ContextItemStaticInfo contextItemType) throws XPathException Type-check the pattern.- Overrides:
typeCheck
in classPattern
- Parameters:
visitor
- the expression visitorcontextItemType
- the type of the context item at the point where the pattern is defined. Set to null if it is known that the context item is undefined.- Returns:
- the optimised Pattern
- Throws:
XPathException
- if an error is discovered during this phase (typically a type error)
-
optimize
public Pattern optimize(ExpressionVisitor visitor, ContextItemStaticInfo contextInfo) throws XPathException Description copied from class:Pattern
Perform optimisation of an expression and its subexpressions. This is the third and final phase of static optimization.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.
- Overrides:
optimize
in classPattern
- Parameters:
visitor
- an expression visitorcontextInfo
- 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 toType.ITEM_TYPE
- Returns:
- the original expression, rewritten if appropriate to optimize execution
- Throws:
XPathException
- if an error is discovered during this phase (typically a type error)
-
isMotionless
public boolean isMotionless()Description copied from class:Pattern
Test whether a pattern is motionless, that is, whether it can be evaluated against a node without repositioning the input stream. This is a necessary condition for patterns used as the match pattern of a streamed template rule.- Overrides:
isMotionless
in classPattern
- Returns:
- true if the pattern is motionless, that is, if it can be evaluated against a streamed node without changing the position in the streamed input file
-
matches
Determine whether this Pattern matches the given item. This is the main external interface for matching patterns: it sets current() to the node being tested- Specified by:
matches
in classPattern
- Parameters:
item
- The item to be tested against the Patterncontext
- The context in which the match is to take place. Only relevant if the pattern uses variables, or contains calls on functions such as document() or key().- Returns:
- true if the item matches the Pattern, false otherwise
-
getItemType
Get an Itemtype that all the items matching this pattern must satisfy- Specified by:
getItemType
in classPattern
- Returns:
- an ItemType, as specific as possible, which all the matching items satisfy
-
getFingerprint
public int getFingerprint()Determine the name fingerprint of nodes to which this pattern applies. Used for optimisation.- Overrides:
getFingerprint
in classPattern
- Returns:
- A fingerprint that the nodes must match, or -1 if it can match multiple fingerprints
-
reconstruct
Display the pattern for diagnostics- Overrides:
reconstruct
in classPattern
-
equals
Determine whether this pattern is the same as another pattern- Overrides:
equals
in classExpression
- Parameters:
other
- the other object- Returns:
- true if the other operand is an expression and if it can be determined that the two expressions are equivalent, in the sense that they will always return the same result.
-
computeHashCode
protected int computeHashCode()Hashcode supporting equals()- Overrides:
computeHashCode
in classExpression
- Returns:
- a computed hash code
-
copy
Copy a pattern. This makes a deep copy. -
export
Description copied from class:Expression
Diagnostic print of expression structure. The abstract expression tree is written to the supplied output destination.- Specified by:
export
in interfaceExportAgent
- Specified by:
export
in classPattern
- Parameters:
presenter
- the expression presenter used to display the structure- Throws:
XPathException
- if the export fails, for example if an expression is found that won't work in the target environment.
-