com.saxonica.ee.trans

Class PatternOptimizer

java.lang.Object

com.saxonica.ee.trans.PatternOptimizer

Direct Known Subclasses:

AncestorPatternOptimizer, ContainsTokenPatternOptimizer, EqualityPatternOptimizer, GeneralPatternOptimizer, IntEqualityPatternOptimizer

public abstract class PatternOptimizer
extends java.lang.Object

A PatternOptimizer is an agent responsible for optimizing a particular class of patterns. It has two parts: a meta-pattern which determines which kinds of pattern it recognizes, and an action part which extracts characteristics and preconditions whose evaluation can be shared by all the rules in a rule chain

Constructor Summary

Constructors

Constructor and Description
PatternOptimizer()

Method Summary

Modifier and Type	Method and Description
protected void	addPrecondition(RuleEE rule, java.util.Map<Precondition,java.util.List<RuleEE>> preconditions, Precondition p)
protected Characteristic	allocateCharacteristic(java.util.Map<Characteristic,Characteristic> characteristics, Characteristic newChic)
abstract boolean	appliesTo(Pattern pattern)
abstract void	process(RuleEE rule, Pattern pattern, java.util.Map<Precondition,java.util.List<RuleEE>> preconditions, java.util.Map<Characteristic,Characteristic> characteristics)

Methods inherited from class java.lang.Object

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

Constructor Detail

PatternOptimizer

public PatternOptimizer()

Method Detail

appliesTo

public abstract boolean appliesTo(Pattern pattern)

process

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

allocateCharacteristic

protected Characteristic allocateCharacteristic(java.util.Map<Characteristic,Characteristic> characteristics,
                                                Characteristic newChic)

addPrecondition

protected void addPrecondition(RuleEE rule,
                               java.util.Map<Precondition,java.util.List<RuleEE>> preconditions,
                               Precondition p)