com.saxonica.ee.trans

Class IntEqualityPatternOptimizer

java.lang.Object

com.saxonica.ee.trans.PatternOptimizer

com.saxonica.ee.trans.IntEqualityPatternOptimizer

public class IntEqualityPatternOptimizer
extends PatternOptimizer

A PatternOptimizer is an agent responsible for optimizing a particular class of patterns. An IntEqualityPatternOptimizer is used for patterns of the form match="XXX[f(.) = 23]", that is, patterns containing a predicate that compares some value with an integer constant.

Constructor Summary

Constructors

Constructor and Description
IntEqualityPatternOptimizer()

Method Summary

Modifier and Type	Method and Description
boolean	appliesTo(Pattern pattern) Ask whether this pattern optimizer is applicable to a particular pattern
static IntEqualityPatternOptimizer	getInstance()
void	process(RuleEE rule, Pattern pattern, java.util.Map<Precondition,java.util.List<RuleEE>> preconditions, java.util.Map<Characteristic,Characteristic> characteristics) Process a particular pattern, potentially adding to the list of preconditions and characteristics maintained when processing a set of rules

Methods inherited from class com.saxonica.ee.trans.PatternOptimizer

addPrecondition, allocateCharacteristic

Methods inherited from class java.lang.Object

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

Constructor Detail

IntEqualityPatternOptimizer

public IntEqualityPatternOptimizer()

Method Detail

getInstance

public static IntEqualityPatternOptimizer getInstance()

appliesTo

public boolean appliesTo(Pattern pattern)

Description copied from class: PatternOptimizer

Ask whether this pattern optimizer is applicable to a particular pattern

Specified by:

appliesTo in class PatternOptimizer

Parameters:

pattern - the pattern in question

Returns:

true if this pattern optimizer is applicable to this pattern

process

public void process(RuleEE rule,
                    Pattern pattern,
                    java.util.Map<Precondition,java.util.List<RuleEE>> preconditions,
                    java.util.Map<Characteristic,Characteristic> characteristics)

Description copied from class: PatternOptimizer

Process a particular pattern, potentially adding to the list of preconditions and characteristics maintained when processing a set of rules

Specified by:

process in class PatternOptimizer

Parameters:

rule - the rule to be processed

pattern - the pattern used by this rule

preconditions - a collection of preconditions maintained for a set of rules

characteristics - a collection of characteristics maintained for a set of rules. This is maintained as a map from characteristics to characteristics in which the key and the value are always the same; the reason for this curious structure is that when an equivalent characteristic is already present in the map, we want to return the existing characteristic to replace the new one; a Java Set does not have any (efficient) operation to "find the existing value in the set that is equal to X".