com.saxonica.ee.pattern.preconditions

Class UnifyingDefn

java.lang.Object

com.saxonica.ee.pattern.preconditions.UnifyingDefn

Direct Known Subclasses:

IndexDefn, PreconditionDefn, RewriteDefn

public class UnifyingDefn
extends Object

This is the base class for precondition, indexation and rewrite definitions that use pattern/expression unification to determine applicability.

Field Summary

Fields

Modifier and Type	Field and Description
RewriteContext	context
protected ExpressionVisitor	ev
protected String	exportName
ExpressionADJ	expressionADJ
List<StructuredQName>	modes
PatternADJ	patternADJ
protected String	patternS
ExpressionADJ	toADJ
protected String	toS
ExpressionADJ	whenADJ
protected String	whenS

Method Summary

Methods

Modifier and Type	Method and Description
boolean	checkMode(SimpleMode mode)
boolean	checkWhen()
boolean	checkWhen(RewriteContext rc)
void	export(ExpressionPresenter out)
void	init(boolean usePattern)
protected ExpressionADJ	parse(String expr)
protected ExpressionADJ	parse(String expr, ContextItemStaticInfo ci)
protected ExpressionADJ	parse(String propertyName, String expr)
protected ExpressionADJ	parse(String propertyName, String expr, ContextItemStaticInfo ci)
protected PatternADJ	parsePattern(String expr)
protected PatternADJ	parsePattern(String propertyName, String expr)
void	propertyError(String propertyName, String value, Exception e)
void	setProperties(Attributes atts) Work through the attributes setting properties
void	setProperties(Map<String,String> props) Work through the attributes setting properties
void	setProperty(String name, String value)
Expression	unify(ExpressionADJ e)
Set<RewriteContext>	unifyingBindings(ExpressionADJ e)
void	write(XMLStreamWriter out)
void	writeAttributes(XMLStreamWriter out)

Methods inherited from class java.lang.Object

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

Field Detail

exportName

protected String exportName

ev

protected ExpressionVisitor ev

context

public RewriteContext context

patternS

protected String patternS

patternADJ

public PatternADJ patternADJ

expressionADJ

public ExpressionADJ expressionADJ

whenS

protected String whenS

whenADJ

public ExpressionADJ whenADJ

toS

protected String toS

toADJ

public ExpressionADJ toADJ

modes

public List<StructuredQName> modes

Method Detail

init

public void init(boolean usePattern)
          throws XPathException

Throws:

XPathException

parse

protected ExpressionADJ parse(String expr)
                       throws XPathException

Throws:

XPathException

parsePattern

protected PatternADJ parsePattern(String expr)
                           throws XPathException

Throws:

XPathException

parse

protected ExpressionADJ parse(String expr,
                  ContextItemStaticInfo ci)
                       throws XPathException

Throws:

XPathException

parse

protected ExpressionADJ parse(String propertyName,
                  String expr)
                       throws XPathException

Throws:

XPathException

parsePattern

protected PatternADJ parsePattern(String propertyName,
                      String expr)
                           throws XPathException

Throws:

XPathException

parse

protected ExpressionADJ parse(String propertyName,
                  String expr,
                  ContextItemStaticInfo ci)
                       throws XPathException

Throws:

XPathException

unifyingBindings

public Set<RewriteContext> unifyingBindings(ExpressionADJ e)

unify

public Expression unify(ExpressionADJ e)

checkWhen

public boolean checkWhen()

checkWhen

public boolean checkWhen(RewriteContext rc)

setProperties

public void setProperties(Attributes atts)
                   throws XPathException

Work through the attributes setting properties

Parameters:

atts - the attributes on the declaring element

Throws:

XPathException

setProperties

public void setProperties(Map<String,String> props)
                   throws XPathException

Work through the attributes setting properties

Parameters:

props - the map of properties

Throws:

XPathException

setProperty

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

Throws:

XPathException

propertyError

public void propertyError(String propertyName,
                 String value,
                 Exception e)
                   throws XPathException

Throws:

XPathException

checkMode

public boolean checkMode(SimpleMode mode)

export

public void export(ExpressionPresenter out)

write

public void write(XMLStreamWriter out)
           throws XMLStreamException

Throws:

XMLStreamException

writeAttributes

public void writeAttributes(XMLStreamWriter out)
                     throws XMLStreamException

Throws:

XMLStreamException