com.saxonica.validate
Class IdValidator

java.lang.Object
  |
  +--net.sf.saxon.event.ProxyReceiver
        |
        +--com.saxonica.validate.IdValidator

All Implemented Interfaces:

Receiver, javax.xml.transform.Result

public class IdValidator

extends ProxyReceiver

This class validates that ID elements and attributes have unique values and that IDREF and IDREFS elements and attributes refer to an ID in the same document. The class assumes that these elements and attributes have already been locally validated (so, for example, a element of type ID will not have child elements).

Field Summary

 

Fields inherited from class net.sf.saxon.event.ProxyReceiver

baseReceiver, config, systemId

 

Fields inherited from interface javax.xml.transform.Result

PI_DISABLE_OUTPUT_ESCAPING, PI_ENABLE_OUTPUT_ESCAPING

 

Constructor Summary

IdValidator()

 

Method Summary
void	attribute(int nameCode, int typeCode, java.lang.CharSequence value, int properties)           Handle an attribute
void	characters(java.lang.CharSequence chars, int properties)           Character data
int	classifyType(int fingerprint)           Classify a type as one of ID, IDREF, IDREFS, or other (returns UNTYPED).
void	endDocument()           End of document
void	endElement()           End of element
void	startElement(int nameCode, int typeCode, int properties)           Notify the start of an element

 

Methods inherited from class net.sf.saxon.event.ProxyReceiver

comment, getConfiguration, getNamePool, getSystemId, getUnderlyingReceiver, namespace, processingInstruction, setConfiguration, setDocumentLocator, setSystemId, setUnderlyingReceiver, setUnparsedEntity, startContent, startDocument

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

IdValidator

public IdValidator()

startElement

public void startElement(int nameCode,
                         int typeCode,
                         int properties)
                  throws javax.xml.transform.TransformerException

Notify the start of an element

Specified by:

startElement in interface Receiver

Overrides:

startElement in class ProxyReceiver

Parameters:

nameCode - integer code identifying the name of the element within the name pool.

typeCode - integer code identifying the element's type within the name pool.

javax.xml.transform.TransformerException

characters

public void characters(java.lang.CharSequence chars,
                       int properties)
                throws javax.xml.transform.TransformerException

Character data

Specified by:

characters in interface Receiver

Overrides:

characters in class ProxyReceiver

Parameters:

chars - The characters

properties - Bit significant value. The following bits are defined:

DISABLE_ESCAPING

Disable escaping for this text node

USE_CDATA

Output as a CDATA section

NO_SPECIAL_CHARACTERS

Value contains no special characters

WHITESPACE

Text is all whitespace

javax.xml.transform.TransformerException

endElement

public void endElement()
                throws javax.xml.transform.TransformerException

End of element

Specified by:

endElement in interface Receiver

Overrides:

endElement in class ProxyReceiver

javax.xml.transform.TransformerException

attribute

public void attribute(int nameCode,
                      int typeCode,
                      java.lang.CharSequence value,
                      int properties)
               throws javax.xml.transform.TransformerException

Handle an attribute

Specified by:

attribute in interface Receiver

Overrides:

attribute in class ProxyReceiver

Parameters:

nameCode - integer identifying the name of the attribute

typeCode - integer identifying the type annotation (ignored)

value - the value of the attribute

properties - additional properties of the attribute

Throws:

javax.xml.transform.TransformerException - On any failure to write the attribute

classifyType

public int classifyType(int fingerprint)

Classify a type as one of ID, IDREF, IDREFS, or other (returns UNTYPED). This is done with the aid of a local cache, to avoid repeated searching of the type hierarchy

endDocument

public void endDocument()
                 throws javax.xml.transform.TransformerException

End of document

Specified by:

endDocument in interface Receiver

Overrides:

endDocument in class ProxyReceiver

javax.xml.transform.TransformerException