public abstract class VennPattern extends Pattern
| Modifier and Type | Field and Description |
|---|---|
protected Pattern |
p1 |
protected Pattern |
p2 |
| Constructor and Description |
|---|
VennPattern(Pattern p1,
Pattern p2)
Constructor
|
| Modifier and Type | Method and Description |
|---|---|
int |
allocateSlots(SlotManager slotManager,
int nextFree)
Allocate slots to any variables used within the pattern
|
Pattern |
analyze(ExpressionVisitor visitor,
ExpressionVisitor.ContextItemType contextItemType)
Type-check the pattern.
|
void |
bindCurrent(Binding binding)
Replace any calls on current() by a variable reference bound to the supplied binding
|
boolean |
equals(Object other)
Determine whether this pattern is the same as another pattern
|
void |
gatherComponentPatterns(Set<Pattern> set)
Gather the component (non-Venn) patterns of this Venn pattern
|
int |
getDependencies()
Get the dependencies of the pattern.
|
ItemType |
getItemType()
Get an ItemType that all the items matching this pattern must satisfy
|
Pattern |
getLHS()
Get the LHS of the union
|
int |
getNodeKind()
Determine the types of nodes to which this pattern applies.
|
Pattern |
getRHS()
Get the RHS of the union
|
int |
hashCode()
Hashcode supporting equals()
|
boolean |
isMotionless(boolean allowExtensions)
Test whether a pattern is motionless, that is, whether it can be evaluated against a node
without repositioning the input stream.
|
Iterator<Expression> |
iterateSubExpressions()
Iterate over the subexpressions within this pattern
|
void |
promote(PromotionOffer offer,
Expression parent)
Offer promotion for subexpressions within this pattern.
|
boolean |
replaceSubExpression(Expression original,
Expression replacement)
Replace a subexpression by a replacement subexpression
|
void |
setExecutable(Executable executable)
Set the executable containing this pattern
|
void |
setLineNumber(int lineNumber)
Override method to set the system ID, so it's set on both halves
|
void |
setOriginalText(String pattern)
Set the original text
|
void |
setSystemId(String systemId)
Override method to set the system ID, so it's set on both halves
|
Pattern |
simplify(ExpressionVisitor visitor)
Simplify the pattern: perform any context-independent optimisations
|
getColumnNumber, getContainerGranularity, getDefaultPriority, getExecutable, getFingerprint, getHostLanguage, getLineNumber, getLocationProvider, getPublicId, getSystemId, make, matches, matchesBeneathAnchor, replaceCurrent, selectNodes, toStringpublic void setExecutable(Executable executable)
setExecutable in class Patternexecutable - the executablepublic Pattern simplify(ExpressionVisitor visitor) throws XPathException
simplify in class Patternvisitor - an expression visitorXPathExceptionpublic Pattern analyze(ExpressionVisitor visitor, ExpressionVisitor.ContextItemType contextItemType) throws XPathException
analyze in class Patternvisitor - 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.XPathExceptionpublic void bindCurrent(Binding binding)
bindCurrent in class Patternpublic void promote(PromotionOffer offer, Expression parent) throws XPathException
Unlike the corresponding method on Expression, this method does not return anything:
it can make internal changes to the pattern, but cannot return a different pattern. Only certain
kinds of promotion are applicable within a pattern: specifically, promotions affecting local
variable references within the pattern.
promote in class Patternoffer - details of the offer, for example the offer to move
expressions that don't depend on the context to an outer level in
the containing expressionparent - the parent expressionXPathException - if any error is detectedpublic boolean replaceSubExpression(Expression original, Expression replacement)
replaceSubExpression in class Patternoriginal - the expression to be replacedreplacement - the new expression to be inserted in its placepublic void setOriginalText(String pattern)
setOriginalText in class Patternpattern - the original text of the patternpublic boolean isMotionless(boolean allowExtensions)
isMotionless in class PatternallowExtensions - true if Saxon extensions are allowedpublic int allocateSlots(SlotManager slotManager, int nextFree)
allocateSlots in class PatternslotManager - 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 allocatedpublic void gatherComponentPatterns(Set<Pattern> set)
set - the set into which the components will be addedpublic int getNodeKind()
getNodeKind in class Patternpublic ItemType getItemType()
getItemType in class Patternpublic int getDependencies()
getDependencies in class Patternpublic Iterator<Expression> iterateSubExpressions()
iterateSubExpressions in class Patternpublic Pattern getLHS()
public Pattern getRHS()
public void setSystemId(String systemId)
setSystemId in class PatternsystemId - the URI of the module containing the patternpublic void setLineNumber(int lineNumber)
setLineNumber in class PatternlineNumber - the line number of the pattern in the source modulepublic boolean equals(Object other)
Copyright (c) 2004-2013 Saxonica Limited. All rights reserved.