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(StaticContext env,
SlotManager slotManager,
int nextFree)
Allocate slots to any variables used within the pattern
|
Pattern |
analyze(ExpressionVisitor visitor,
ExpressionVisitor.ContextItemType contextItemType)
Type-check the pattern.
|
protected void |
bindVariable(Item item,
XPathContext context) |
boolean |
equals(java.lang.Object other)
Determine whether this pattern is the same as another pattern
|
void |
gatherComponentPatterns(java.util.Set 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
|
Expression |
getVariableBindingExpression() |
int |
hashCode()
Hashcode supporting equals()
|
java.util.Iterator |
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 |
resolveCurrent(LetExpression let,
PromotionOffer offer,
boolean topLevel)
If the pattern contains any calls on current(), this method is called to modify such calls
to become variable references to a variable declared in a specially-allocated local variable
|
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(java.lang.String pattern)
Set the original text
|
void |
setSystemId(java.lang.String systemId)
Override method to set the system ID, so it's set on both halves
|
void |
setVariableBindingExpression(Expression exp)
Set an expression used to bind the variable that represents the value of the current() function
|
Pattern |
simplify(ExpressionVisitor visitor)
Simplify the pattern: perform any context-independent optimisations
|
getColumnNumber, getContainerGranularity, getDefaultPriority, getExecutable, getFingerprint, getHostLanguage, getLineNumber, getLocationProvider, getPublicId, getSystemId, internalMatches, make, matches, matchesBeneathAnchor, selectNodes, toString
public void setExecutable(Executable executable)
setExecutable
in class Pattern
executable
- the executablepublic Pattern simplify(ExpressionVisitor visitor) throws XPathException
simplify
in class Pattern
visitor
- an expression visitorXPathException
- if a static error is discoveredpublic Pattern analyze(ExpressionVisitor visitor, ExpressionVisitor.ContextItemType contextItemType) throws XPathException
analyze
in class Pattern
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.XPathException
- if a static error is discoveredpublic void resolveCurrent(LetExpression let, PromotionOffer offer, boolean topLevel) throws XPathException
resolveCurrent
in class Pattern
let
- the expression that assigns the local variable. This returns a dummy result, and is executed
just before evaluating the pattern, to get the value of the context item into the variable.offer
- A PromotionOffer used to process the expressions and change the call on current() into
a variable referencetopLevel
- XPathException
public 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 Pattern
offer
- 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
- XPathException
- if any error is detectedpublic boolean replaceSubExpression(Expression original, Expression replacement)
replaceSubExpression
in class Pattern
original
- the expression to be replacedreplacement
- the new expression to be inserted in its placepublic void setOriginalText(java.lang.String pattern)
setOriginalText
in class Pattern
pattern
- the original text of the patternpublic int allocateSlots(StaticContext env, SlotManager slotManager, int nextFree)
allocateSlots
in class Pattern
env
- the static context in the XSLT stylesheetslotManager
- nextFree
- the next slot that is free to be allocated @return the next slot that is free to be allocatedpublic void setVariableBindingExpression(Expression exp)
setVariableBindingExpression
in class Pattern
exp
- the expression that binds the variablepublic Expression getVariableBindingExpression()
public void gatherComponentPatterns(java.util.Set set)
set
- the set into which the components will be addedpublic int getNodeKind()
getNodeKind
in class Pattern
public ItemType getItemType()
getItemType
in class Pattern
public int getDependencies()
getDependencies
in class Pattern
public java.util.Iterator iterateSubExpressions()
iterateSubExpressions
in class Pattern
protected void bindVariable(Item item, XPathContext context) throws XPathException
XPathException
public Pattern getLHS()
public Pattern getRHS()
public void setSystemId(java.lang.String systemId)
setSystemId
in class Pattern
systemId
- the URI of the module containing the patternpublic void setLineNumber(int lineNumber)
setLineNumber
in class Pattern
lineNumber
- the line number of the pattern in the source modulepublic boolean equals(java.lang.Object other)
equals
in class java.lang.Object
other
- the other objectpublic int hashCode()
hashCode
in class java.lang.Object