com.saxonica.ee.pattern.preconditions

Class Matcher

java.lang.Object

net.sf.saxon.trans.RuleSearchState

com.saxonica.ee.pattern.preconditions.Matcher

Direct Known Subclasses:

IndexMatcher

public class Matcher
extends RuleSearchState

This class contains the stateful part of the precondition checker, in particular Boolean[] indexedState, which records for each indexed precondition whether it has not yet been determined (null) or has been determined to be true or false. Expression[] expressions is not altered.

A new Matcher should be created at the start of each check through a rule set. This can be achieved through ModeEE.makeRuleSearchState().

TODO - make this section minimal in data. TODO - make collations more explict for tokens

Field Summary

Fields inherited from class net.sf.saxon.trans.RuleSearchState

calls, mode, startTime

Constructor Summary

Constructors

Constructor and Description
Matcher(RealPreconditions p, SimpleMode mode) Make a precondition matcher for the given set of preconditions.
Matcher(SimpleMode mode)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	check(int[] exprIndexes, Item item, XPathContext context) Check a set of preconditions described by their indices into the expression array.
String	getFailure()
String	getStats() Produce statistics for the use of this matcher.
String	getSuccess()
void	otherProperties(ExpressionPresenter d) Add any other required properties to an output
void	reset()
void	resetBasic()

Methods inherited from class net.sf.saxon.trans.RuleSearchState

count, getCalls

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Matcher

public Matcher(SimpleMode mode)

Matcher

public Matcher(RealPreconditions p,
       SimpleMode mode)

Make a precondition matcher for the given set of preconditions. This should only be needed once per rule chain, exploiting a reset possibility?

Parameters:

p - the precondition data structure

mode - the mode this matcher is going to be used in

Method Detail

reset

public void reset()

resetBasic

public void resetBasic()

Overrides:

resetBasic in class RuleSearchState

getStats

public String getStats()

Produce statistics for the use of this matcher.

Returns:

getSuccess

public String getSuccess()

getFailure

public String getFailure()

check

public boolean check(int[] exprIndexes,
            Item item,
            XPathContext context)
              throws XPathException

Check a set of preconditions described by their indices into the expression array. This has the side-effect of recording results in a cache for subsequent lookup.

Parameters:

exprIndexes - Indexes of the preconditions to be tested

item - The context item

context - The evaluation context

Returns:

false if any of the set is false, true otherwise

Throws:

XPathException

otherProperties

public void otherProperties(ExpressionPresenter d)

Description copied from class: RuleSearchState

Add any other required properties to an output

Overrides:

otherProperties in class RuleSearchState