public class IdValidator extends ValidatingFilter
locallyInvalid
nextReceiver
pipelineConfiguration, previousAtomic, systemId
Constructor and Description |
---|
IdValidator(Receiver next)
Create a validator for ID/IDREF constraints
|
Modifier and Type | Method and Description |
---|---|
void |
attribute(NodeName nameCode,
SimpleType type,
java.lang.CharSequence value,
Location locationId,
int properties)
Handle an attribute
|
void |
characters(java.lang.CharSequence chars,
Location locationId,
int properties)
Character data
|
void |
close()
End of output.
|
void |
endDocument()
End of document
|
void |
endElement()
End of element
|
protected void |
reportValidationError(ValidationFailure err,
Location locationId)
Report a validation error
|
void |
startElement(NodeName nameCode,
SchemaType typeCode,
Location location,
int properties)
Notify the start of an element
|
boolean |
usesTypeAnnotations()
Ask whether this Receiver (or the downstream pipeline) makes any use of the type annotations
supplied on element and attribute events
|
append, getConstraintChecker, getStartTagBuffer, getValidationContext, reportIfInvalid, reportValidationError, setConstraintChecker, setStartTagBuffer, setValidationContext
comment, getNamePool, getUnderlyingReceiver, namespace, open, processingInstruction, setPipelineConfiguration, setSystemId, setUnderlyingReceiver, setUnparsedEntity, startContent, startDocument
append, getConfiguration, getPipelineConfiguration, getSystemId, isTrueSequenceReceiver
public IdValidator(Receiver next)
next
- the next receiver in the pipelinepublic void startElement(NodeName nameCode, SchemaType typeCode, Location location, int properties) throws XPathException
startElement
in interface Receiver
startElement
in class ProxyReceiver
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.location
- properties
- for future use. Should be set to zero.XPathException
- if an error occurspublic void characters(java.lang.CharSequence chars, Location locationId, int properties) throws XPathException
characters
in interface Receiver
characters
in class ProxyReceiver
chars
- The characterslocationId
- provides information such as line number and system ID.properties
- Bit significant value. The following bits are defined:
XPathException
- if an error occurspublic void endElement() throws XPathException
endElement
in interface Receiver
endElement
in class ProxyReceiver
XPathException
- if an error occurspublic void attribute(NodeName nameCode, SimpleType type, java.lang.CharSequence value, Location locationId, int properties) throws XPathException
attribute
in interface Receiver
attribute
in class ProxyReceiver
nameCode
- integer identifying the name of the attributetype
- the type annotationvalue
- the value of the attributelocationId
- properties
- additional properties of the attribute @throws XPathException On any failure to write the attributeXPathException
- if an error occurspublic void endDocument() throws XPathException
endDocument
in interface Receiver
endDocument
in class ProxyReceiver
XPathException
- if an error occurspublic void close() throws XPathException
ProxyReceiver
close
in interface Receiver
close
in class ProxyReceiver
XPathException
- if an error occurspublic boolean usesTypeAnnotations()
usesTypeAnnotations
in interface Receiver
usesTypeAnnotations
in class ValidatingFilter
protected void reportValidationError(ValidationFailure err, Location locationId) throws XPathException
err
- The validation exceptionlocationId
- identifies the location in the source document or stylesheet/query where the
validation error was detectedValidationException
- if the error is determined to be fatalXPathException
Copyright (c) 2004-2018 Saxonica Limited. All rights reserved.