Constructor and Description |
---|
RelmesVerifier(DocumentDeclaration docDecl,
org.xml.sax.ErrorHandler handler) |
RelmesVerifier(IVerifier core) |
Modifier and Type | Method and Description |
---|---|
void |
characters(char[] ch,
int start,
int length) |
void |
endDocument() |
void |
endElement(java.lang.String namespaceURI,
java.lang.String localName,
java.lang.String qName) |
void |
endPrefixMapping(java.lang.String prefix) |
java.lang.Object |
getCurrentElementType()
returns current element type.
|
org.xml.sax.ErrorHandler |
getErrorHandler() |
org.relaxng.datatype.Datatype[] |
getLastCharacterType()
gets DataType that validated the last characters.
|
org.xml.sax.Locator |
getLocator() |
void |
ignorableWhitespace(char[] ch,
int start,
int length) |
boolean |
isValid()
checks if the document was valid.
|
void |
processingInstruction(java.lang.String target,
java.lang.String data) |
void |
setDocumentLocator(org.xml.sax.Locator locator) |
void |
setErrorHandler(org.xml.sax.ErrorHandler handler) |
void |
setPanicMode(boolean v)
Turns on/off the panic mode.
|
void |
skippedEntity(java.lang.String name) |
void |
startDocument() |
void |
startElement(java.lang.String namespaceURI,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes atts) |
void |
startPrefixMapping(java.lang.String prefix,
java.lang.String uri) |
public RelmesVerifier(IVerifier core) throws javax.xml.parsers.ParserConfigurationException
javax.xml.parsers.ParserConfigurationException
public RelmesVerifier(DocumentDeclaration docDecl, org.xml.sax.ErrorHandler handler) throws javax.xml.parsers.ParserConfigurationException
javax.xml.parsers.ParserConfigurationException
public void setPanicMode(boolean v)
IVerifier
However, turning it off is sometimes useful, when you are sure that the structure of the document is almost valid (e.g., validating a document generated by an application or when you are sure about the validity of the structure and only interested in validating datatypes,)
setPanicMode
in interface IVerifier
public boolean isValid()
IVerifier
public java.lang.Object getCurrentElementType()
IVerifier
getCurrentElementType
in interface IVerifier
public org.relaxng.datatype.Datatype[] getLastCharacterType()
IVerifier
This method works correctly only when called immediately after startElement and endElement method. When called, this method returns DataType object that validated the last character literals.
For RELAX NG grammar, this method can return an array of length 2 or more. This happens when the last character matches <list> pattern. In that case, each type corresponds to each token (where tokens are the white-space separation of the last characters).
For any other grammar, this method always returns an array of length 1 (or null, if the type assignment failed).
So when you are using VerifierFilter, you can call this method only in your startElement and endElement method.
getLastCharacterType
in interface IVerifier
public final org.xml.sax.Locator getLocator()
getLocator
in interface IVerifier
public final org.xml.sax.ErrorHandler getErrorHandler()
getErrorHandler
in interface IVerifier
public final void setErrorHandler(org.xml.sax.ErrorHandler handler)
setErrorHandler
in interface IVerifier
public void setDocumentLocator(org.xml.sax.Locator locator)
setDocumentLocator
in interface org.xml.sax.ContentHandler
public void startDocument() throws org.xml.sax.SAXException
startDocument
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void endDocument() throws org.xml.sax.SAXException
endDocument
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void startPrefixMapping(java.lang.String prefix, java.lang.String uri) throws org.xml.sax.SAXException
startPrefixMapping
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void endPrefixMapping(java.lang.String prefix) throws org.xml.sax.SAXException
endPrefixMapping
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void startElement(java.lang.String namespaceURI, java.lang.String localName, java.lang.String qName, org.xml.sax.Attributes atts) throws org.xml.sax.SAXException
startElement
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void endElement(java.lang.String namespaceURI, java.lang.String localName, java.lang.String qName) throws org.xml.sax.SAXException
endElement
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void characters(char[] ch, int start, int length) throws org.xml.sax.SAXException
characters
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void ignorableWhitespace(char[] ch, int start, int length) throws org.xml.sax.SAXException
ignorableWhitespace
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void processingInstruction(java.lang.String target, java.lang.String data) throws org.xml.sax.SAXException
processingInstruction
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
public void skippedEntity(java.lang.String name) throws org.xml.sax.SAXException
skippedEntity
in interface org.xml.sax.ContentHandler
org.xml.sax.SAXException
MSV