com.saxonica.ee.pattern.preconditions

Class IndexDefn

java.lang.Object

com.saxonica.ee.pattern.preconditions.UnifyingDefn

com.saxonica.ee.pattern.preconditions.IndexDefn

public class IndexDefn
extends UnifyingDefn

A definition of a rule indexation pattern

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IndexDefn.Indexation A structure of the expressions needed for indexation.

Field Summary

Fields

Modifier and Type	Field and Description
protected String	exprS
ExpressionADJ	indexExprADJ
ExpressionADJ	indexValueADJ
protected String	valueS

Fields inherited from class com.saxonica.ee.pattern.preconditions.UnifyingDefn

context, ev, exportName, expressionADJ, modes, patternADJ, patternS, toADJ, toS, whenADJ, whenS

Constructor Summary

Constructors

Constructor and Description
IndexDefn(Configuration config, Attributes atts)
IndexDefn(Configuration config, Map<String,String> props)

Method Summary

Methods

Modifier and Type	Method and Description
void	export(ExpressionPresenter out)
void	init()
void	setProperty(String name, String value)
Set<IndexDefn.Indexation>	unifyIndex(PatternADJ p) Unify to produce an indexation possibility
void	writeAttributes(XMLStreamWriter out)

Methods inherited from class com.saxonica.ee.pattern.preconditions.UnifyingDefn

checkMode, checkWhen, checkWhen, init, parse, parse, parse, parse, parsePattern, parsePattern, propertyError, setProperties, setProperties, unify, unifyingBindings, write

Methods inherited from class java.lang.Object

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

Field Detail

exprS

protected String exprS

indexExprADJ

public ExpressionADJ indexExprADJ

valueS

protected String valueS

indexValueADJ

public ExpressionADJ indexValueADJ

Constructor Detail

IndexDefn

public IndexDefn(Configuration config,
         Attributes atts)
          throws XPathException

Throws:

XPathException

IndexDefn

public IndexDefn(Configuration config,
         Map<String,String> props)
          throws XPathException

Throws:

XPathException

Method Detail

init

public void init()
          throws XPathException

Throws:

XPathException

setProperty

public void setProperty(String name,
               String value)
                 throws XPathException

Overrides:

setProperty in class UnifyingDefn

Throws:

XPathException

unifyIndex

public Set<IndexDefn.Indexation> unifyIndex(PatternADJ p)

Unify to produce an indexation possibility

Parameters:

p - the pattern to unify the pattern against

Returns:

an indexation set of expressions, or null if unification fails

export

public void export(ExpressionPresenter out)

Overrides:

export in class UnifyingDefn

writeAttributes

public void writeAttributes(XMLStreamWriter out)
                     throws XMLStreamException

Overrides:

writeAttributes in class UnifyingDefn

Throws:

XMLStreamException