public interface InvalidityHandler
Modifier and Type | Method and Description |
---|---|
Sequence<?> |
endReporting()
At the end of a validation episode, do any closedown actions, and optionally return
information collected in the course of validation (for example a list of error messages).
|
void |
reportInvalidity(Invalidity failure)
Report a validation error found during validation of an instance document
against a schema
|
void |
startReporting(java.lang.String systemId)
At the start of a validation episode, initialize the handler
|
void startReporting(java.lang.String systemId) throws XPathException
systemId
- optional; may be used to represent the destination of any report producedXPathException
- if initialization of the invalidity handler fails for any reasonvoid reportInvalidity(Invalidity failure) throws XPathException
failure
- details of the validation errorXPathException
- - if the validation error cannot be reported.
This is fatal and will cause the validation run to be abandonedSequence<?> endReporting() throws XPathException
XPathException
- if an error occurs creating any validation reportCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.