|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
IXMLReader reads the data to be parsed.
Method Summary | |
boolean |
atEOF()
Returns true if there are no more characters left to be read. |
boolean |
atEOFOfCurrentStream()
Returns true if the current stream has no more characters left to be read. |
int |
getLineNr()
Returns the line number of the data in the current stream. |
java.lang.String |
getPublicID()
Returns the current public ID. |
java.lang.String |
getSystemID()
Returns the current system ID. |
java.io.Reader |
openStream(java.lang.String publicID,
java.lang.String systemID)
Opens a stream from a public and system ID. |
char |
read()
Reads a character. |
void |
setPublicID(java.lang.String publicID)
Sets the public ID of the current stream. |
void |
setSystemID(java.lang.String systemID)
Sets the system ID of the current stream. |
void |
startNewStream(java.io.Reader reader)
Starts a new stream from a Java reader. |
void |
unread(char ch)
Pushes the last character read back to the stream. |
Method Detail |
public char read() throws java.io.IOException
java.io.IOException
- if no character could be readpublic boolean atEOFOfCurrentStream() throws java.io.IOException
java.io.IOException
- if an I/O error occurredpublic boolean atEOF() throws java.io.IOException
java.io.IOException
- if an I/O error occurredpublic void unread(char ch) throws java.io.IOException
ch
- the character to push back
java.io.IOException
- if an I/O error occurredpublic int getLineNr()
public java.io.Reader openStream(java.lang.String publicID, java.lang.String systemID) throws java.net.MalformedURLException, java.io.FileNotFoundException, java.io.IOException
publicID
- the public ID, which may be nullsystemID
- the system ID, which is never null
java.net.MalformedURLException
- if the system ID does not contain a valid URL
java.io.FileNotFoundException
- if the system ID refers to a local file which does not
exist
java.io.IOException
- if an error occurred opening the streampublic void startNewStream(java.io.Reader reader)
reader
- the reader to read the new data frompublic void setSystemID(java.lang.String systemID) throws java.net.MalformedURLException
systemID
- the system ID
java.net.MalformedURLException
- if the system ID does not contain a valid URLpublic void setPublicID(java.lang.String publicID)
publicID
- the public IDpublic java.lang.String getSystemID()
public java.lang.String getPublicID()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |