com.saxonica.ee.trans

Class ModeEE

java.lang.Object

net.sf.saxon.expr.instruct.ComponentCode<SimpleMode>

net.sf.saxon.trans.Mode

net.sf.saxon.trans.SimpleMode

com.saxonica.trans.ModePE

com.saxonica.ee.trans.ModeEE

All Implemented Interfaces:

SourceLocator, Location, InstructionInfo, Locator

Direct Known Subclasses:

ModeExperimental

public class ModeEE
extends ModePE

A version of class Mode that optimizes various aspects of the template patterns, most notably supporting rule preconditions and indexation of unnamed elements.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	ModeEE.RuleTypeAction

Nested classes/interfaces inherited from class net.sf.saxon.trans.SimpleMode

SimpleMode.RuleGroupAction

Nested classes/interfaces inherited from class net.sf.saxon.trans.Mode

Mode.RuleAction, Mode.RuleFilter

Field Summary

Fields

Modifier and Type	Field and Description
protected PatternOptimizationEE	patternOptimization
protected PreconditionSet	rulePreconditions

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

atomicValueRuleChain, commentRuleChain, documentRuleChain, functionItemRuleChain, genericRuleChain, namedAttributeRuleChains, namedElementRuleChains, namespaceRuleChain, processingInstructionRuleChain, qNamedAttributeRuleChains, qNamedElementRuleChains, textRuleChain, unnamedAttributeRuleChain, unnamedElementRuleChain

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

DEFAULT_MODE_NAME, hasRules, modeName, mustBeTyped, mustBeUntyped, OMNI_MODE, UNNAMED_MODE_NAME

Fields inherited from class net.sf.saxon.expr.instruct.ComponentCode

body

Constructor Summary

Constructors

Constructor and Description
ModeEE(StructuredQName modeName, CompilerInfo compilerInfo)

Method Summary

Methods

Modifier and Type	Method and Description
void	computePreconditions() Compute the set of preconditions for all the rules (of all types) within this mode Then filter them according to usage and retain on rules only those retained on the mode.
void	computeStreamability() Compute the streamability of all template rules
static List<Rule>	deduplicateRules(List<Rule> in) Remove duplicate rules within a rule list - this can happen from rules with UnionPatterns which appear twice.
void	explainTemplateRules(ExpressionPresenter out) Explain all template rules in this mode by showing their expression tree represented in XML.
Rule	getNamedNodeChain(NodeInfo node, XPathContext context) Find the named node rule chain for a given node
Rule	getUnnamedNodeChain(NodeInfo node) Find the unnamed node rule chain for a given node
void	invertStreamableTemplates() For a streamable mode, invert all the templates to generate streamable code
static List<Rule>	listRules(Rule chain) Work with a rule chain as a list of rules
Rule	makeRule(Pattern pattern, RuleTarget action, int precedence, int minImportPrecedence, double priority, int sequence) Generate a new rule - so it can be overridden to make more specialist rules
protected RuleSearchState	makeRuleSearchState() Generate a search state for processing a given node
void	optimizeRules()
void	optimizeRules(IntHashMap<Rule> chains)
void	optimizeRules(Rule r, int type)
static List<Rule>	orderRules(List<Rule> r1, List<Rule> r2) Combine two rule lists in rank order
static List<Rule>	orderRules(Rule chain1, Rule chain2) Combine two rule chains into a rank-ordered combined list
void	processRulesTyped(ModeEE.RuleTypeAction action) Process all the chain of rules each with an indication of the type of rule being processed
void	reportAmbiguity(Item item, Rule r1, Rule r2, XPathContext c) Report an ambiguity, that is, the situation where two rules of the same precedence and priority match the same node
protected boolean	ruleMatches(Rule r, Item item, XPathContextMajor context, RuleSearchState ruleSearchState) Does this rule match the given item? Can be overridden
protected ModeEE.RuleTypeAction	setType(ModeEE.RuleTypeAction action, ItemType type)
static String	typeName(int type) Find the name for a node type

Methods inherited from class com.saxonica.trans.ModePE

getBuiltInRuleSetForCode, getCodeForBuiltInRuleSet, prepareStreamability

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

addRule, addRule, allocateAllBindingSlots, allocateAllPatternSlots, allocatePatternSlots, checkForConflictingProperties, computeRankings, copyRules, exportTemplateRules, forceAllocateAllBindingSlots, getActivePart, getBuiltInRuleSet, getExplicitNamespaces, getMaxPrecedence, getMaxRank, getNamedRuleChain, getPropertyValue, getRule, getRule, getStackFrameSlotsNeeded, isEmpty, processRuleChain, processRuleChain, processRuleChains, processRules, processRules, searchRuleChain, searchRuleChain, setBuiltInRuleSet, setExplicitProperty, setGroup, setStackFrameSlotsNeeded

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

applyTemplates, explain, export, getComponentKind, getConstructType, getModeName, getModeTitle, getNextMatchRule, getObjectName, getRecoveryPolicy, getRule, getSymbolicName, isDeclaredStreamable, isUnnamedMode, makeNewContext, makeNewContextIfNeeded, setRecoveryPolicy, setStreamable

Methods inherited from class net.sf.saxon.expr.instruct.ComponentCode

allocateBindingSlotsRecursive, getBody, getColumnNumber, getDeclaredVisibility, getDeclaringComponent, getLineNumber, getLocation, getPackageData, getProperties, getProperty, getPublicId, getRetainedStaticContext, getStackFrameMap, getSystemId, makeDeclaringComponent, saveLocation, setBody, setDeclaredVisibility, setDeclaringComponent, setLineNumber, setPackageData, setRetainedStaticContext, setStackFrameMap, setSystemId

Methods inherited from class java.lang.Object

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

Field Detail

patternOptimization

protected PatternOptimizationEE patternOptimization

rulePreconditions

protected PreconditionSet rulePreconditions

Constructor Detail

ModeEE

public ModeEE(StructuredQName modeName,
      CompilerInfo compilerInfo)

Method Detail

makeRule

public Rule makeRule(Pattern pattern,
            RuleTarget action,
            int precedence,
            int minImportPrecedence,
            double priority,
            int sequence)

Description copied from class: SimpleMode

Generate a new rule - so it can be overridden to make more specialist rules

Overrides:

makeRule in class SimpleMode

Parameters:

pattern - the pattern that this rule matches

action - the object invoked by this rule (usually a Template)

precedence - the precedence of the rule

minImportPrecedence - the minumum import precedence for xsl:apply-imports

priority - the priority of the rule

sequence - a sequence number for ordering of rules

Returns:

the newly created rule

makeRuleSearchState

protected RuleSearchState makeRuleSearchState()

Description copied from class: SimpleMode

Generate a search state for processing a given node

Overrides:

makeRuleSearchState in class SimpleMode

Returns:

a new object capable of holding the state of a search for a rule

getNamedNodeChain

public Rule getNamedNodeChain(NodeInfo node,
                     XPathContext context)

Find the named node rule chain for a given node

Parameters:

node - the node to be matched

context - local context

Returns:

the rule chain for nodes with this name, or null if none

getUnnamedNodeChain

public Rule getUnnamedNodeChain(NodeInfo node)

Find the unnamed node rule chain for a given node

Parameters:

node - the node to be matched

Returns:

the rule chain for nodes of this type,or XPath error if illegal type

computePreconditions

public void computePreconditions()

Compute the set of preconditions for all the rules (of all types) within this mode

Then filter them according to usage and retain on rules only those retained on the mode.

ruleMatches

protected boolean ruleMatches(Rule r,
                  Item item,
                  XPathContextMajor context,
                  RuleSearchState ruleSearchState)
                       throws XPathException

Does this rule match the given item? Can be overridden

Overrides:

ruleMatches in class SimpleMode

Parameters:

r - the rule to check

item - the context item

context - the static context for evaluation

ruleSearchState - An appropriate matcher for preconditions in this mode

Returns:

true if this rule does match

Throws:

XPathException

processRulesTyped

public void processRulesTyped(ModeEE.RuleTypeAction action)
                       throws XPathException

Process all the chain of rules each with an indication of the type of rule being processed

Parameters:

action - the action to execute

Throws:

XPathException

computeStreamability

public void computeStreamability()
                          throws XPathException

Compute the streamability of all template rules

Overrides:

computeStreamability in class SimpleMode

Throws:

XPathException

invertStreamableTemplates

public void invertStreamableTemplates()
                               throws XPathException

For a streamable mode, invert all the templates to generate streamable code

Overrides:

invertStreamableTemplates in class SimpleMode

Throws:

XPathException - if there is a non-streamable template in the mode

setType

protected ModeEE.RuleTypeAction setType(ModeEE.RuleTypeAction action,
                            ItemType type)

optimizeRules

public void optimizeRules()

Overrides:

optimizeRules in class SimpleMode

optimizeRules

public void optimizeRules(Rule r,
                 int type)

optimizeRules

public void optimizeRules(IntHashMap<Rule> chains)

listRules

public static List<Rule> listRules(Rule chain)

Work with a rule chain as a list of rules

Parameters:

chain - the chained set of rules

Returns:

the rules as an ordered list, in the same order as the chain

orderRules

public static List<Rule> orderRules(List<Rule> r1,
                    List<Rule> r2)

Combine two rule lists in rank order

This does not detect duplicates within the list

Parameters:

r1 - one list of rules, assumed in rank order

r2 - the other list of rules, assumed in rank order

Returns:

the combined list of rules

deduplicateRules

public static List<Rule> deduplicateRules(List<Rule> in)

Remove duplicate rules within a rule list - this can happen from rules with UnionPatterns which appear twice.

Assumes the list is ordered, so duplicates should appear together.

TODO - look at sequence as well.

Parameters:

in - the list of rules from which duplicates are

Returns:

orderRules

public static List<Rule> orderRules(Rule chain1,
                    Rule chain2)

Combine two rule chains into a rank-ordered combined list

This could be simplified as orderRules(listRules(chain1),listRules(chain2))

Parameters:

chain1 -

chain2 -

Returns:

explainTemplateRules

public void explainTemplateRules(ExpressionPresenter out)

Description copied from class: SimpleMode

Explain all template rules in this mode by showing their expression tree represented in XML. Note that this produces more information than the simpler exportTemplateRules() method: this method is intended for the human reader wanting diagnostic explanations, whereas exportTemplateRules() is designed to produce a package that can be re-imported.

Overrides:

explainTemplateRules in class SimpleMode

Parameters:

out - used to display the expression tree

reportAmbiguity

public void reportAmbiguity(Item item,
                   Rule r1,
                   Rule r2,
                   XPathContext c)
                     throws XPathException

Description copied from class: SimpleMode

Report an ambiguity, that is, the situation where two rules of the same precedence and priority match the same node

Overrides:

reportAmbiguity in class SimpleMode

Parameters:

item - The item that matches two or more rules

r1 - The first rule that the node matches

r2 - The second rule that the node matches

c - The context for the transformation

Throws:

XPathException - if the system is configured to treat ambiguous template matching as a non-recoverable error

typeName

public static String typeName(int type)

Find the name for a node type

Parameters:

type - the code for the type

Returns:

a suitable string or the empty string if unknown