com.saxonica.ee.pattern.preconditions

Class PreconditionDefn

java.lang.Object

com.saxonica.ee.pattern.preconditions.UnifyingDefn

com.saxonica.ee.pattern.preconditions.PreconditionDefn

public class PreconditionDefn
extends UnifyingDefn

Field Summary

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
PreconditionDefn(Configuration config, Attributes atts)

Method Summary

Methods

Modifier and Type	Method and Description
void	init()
void	setProperty(String name, String value)
Expression	unify(PatternADJ p)
void	writeAttributes(XMLStreamWriter out)

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

checkMode, checkWhen, checkWhen, export, 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

Constructor Detail

PreconditionDefn

public PreconditionDefn(Configuration config,
                Attributes atts)
                 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

writeAttributes

public void writeAttributes(XMLStreamWriter out)
                     throws XMLStreamException

Overrides:

writeAttributes in class UnifyingDefn

Throws:

XMLStreamException

unify

public Expression unify(PatternADJ p)