Package net.sf.saxon.pattern
Class VennPattern
java.lang.Object
net.sf.saxon.expr.Expression
net.sf.saxon.expr.PseudoExpression
net.sf.saxon.pattern.Pattern
net.sf.saxon.pattern.VennPattern
- All Implemented Interfaces:
ExportAgent
,Locatable
,IdentityComparable
,Traceable
- Direct Known Subclasses:
ExceptPattern
,IntersectPattern
,UnionPattern
Abstract pattern formed as the union, intersection, or difference of two other patterns;
concrete subclasses are used for the different operators.
Bug #5368 concludes that we can't simply treat "A except B" as meaning that a node must
match pattern A and not match pattern B; similarly for the intersect operator. There
are however special cases where we can do so, for example "@* except @code".
-
Field Summary
FieldsFields 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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionint
allocateSlots
(SlotManager slotManager, int nextFree) Allocate slots to any variables used within the patternvoid
bindCurrent
(LocalBinding binding) Replace any calls on current() by a variable reference bound to the supplied bindingprotected int
Hashcode supporting equals()boolean
Determine whether this pattern is the same as another patternvoid
export
(ExpressionPresenter presenter) Diagnostic print of expression structure.void
Gather the component (non-Venn) patterns of this Venn patternint
Get the dependencies of the pattern.getLHS()
Get the LHS of the unionprotected abstract String
Get the relevant operator: "union", "intersect", or "except"getRHS()
Get the RHS of the unionboolean
Test whether a pattern is motionless, that is, whether it can be evaluated against a node without repositioning the input stream.boolean
Ask whether the pattern is anchored on a call on current-group()operands()
Get the immediate sub-expressions of this expression, with information about the relationship of each expression to its parent expression.Get the original pattern textsimplify()
Simplify the pattern: perform any context-independent optimisationstypeCheck
(ExpressionVisitor visitor, ContextItemStaticInfo contextItemType) Type-check the pattern.Methods inherited from class net.sf.saxon.pattern.Pattern
convertToTypedPattern, copy, effectiveBooleanValue, getDefaultPriority, getElaborator, getFingerprint, getHostLanguage, getItemType, getOriginalText, getUType, handleDynamicError, isLiftable, isRecoverable, make, matches, matchesBeneathAnchor, matchesItem, optimize, patternContainsVariable, replaceCurrent, selectNodes, setOriginalText, setPriority, setRecoverable, 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
-
Field Details
-
p1
-
p2
-
-
Constructor Details
-
VennPattern
Constructor- Parameters:
p1
- the left-hand operandp2
- the right-hand operand
-
-
Method Details
-
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
-
simplify
Simplify the pattern: perform any context-independent optimisations- Overrides:
simplify
in classPattern
- Returns:
- the simplified expression (or the original if unchanged, or if modified in-situ)
- Throws:
XPathException
- if an error is discovered during expression rewriting
-
typeCheck
public Pattern typeCheck(ExpressionVisitor visitor, ContextItemStaticInfo contextItemType) throws XPathException Type-check the pattern. This is only needed for patterns that contain variable references or function calls.- 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)
-
bindCurrent
Replace any calls on current() by a variable reference bound to the supplied binding- Overrides:
bindCurrent
in classPattern
-
isMotionless
public boolean isMotionless()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
-
allocateSlots
Allocate slots to any variables used within the pattern- Overrides:
allocateSlots
in classPattern
- Parameters:
slotManager
- represents the stack frame on which slots are allocatednextFree
- 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
-
gatherComponentPatterns
Gather the component (non-Venn) patterns of this Venn pattern- Parameters:
set
- the set into which the components will be added
-
getDependencies
public int getDependencies()Get the dependencies of the pattern. The only possible dependency for a pattern is on local variables. This is analyzed in those patterns where local variables may appear.- Overrides:
getDependencies
in classPattern
- Returns:
- the dependencies, as a bit-significant mask
-
getLHS
Get the LHS of the union- Returns:
- the first operand of the union
-
getRHS
Get the RHS of the union- Returns:
- the second operand of the union
-
matchesCurrentGroup
public boolean matchesCurrentGroup()Ask whether the pattern is anchored on a call on current-group()- Overrides:
matchesCurrentGroup
in classPattern
- Returns:
- true if calls on matchesBeneathAnchor should test with all nodes in the current group as anchor nodes. If false, only the first node in a group is treated as the anchor node
-
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
-
getOperatorName
Get the relevant operator: "union", "intersect", or "except"- Returns:
- the operator, as a string
-
reconstruct
Get the original pattern text- Overrides:
reconstruct
in classPattern
-
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.
-