net.n3.nanoxml
Interface IXMLReader

All Known Implementing Classes:
StdXMLReader

public interface IXMLReader

IXMLReader reads the data to be parsed.

Version:
$Name$, $Revision: 2163 $
Author:
Marc De Scheemaecker

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

read

char read()
          throws java.io.IOException
Reads a character.

Returns:
the character
Throws:
java.io.IOException - if no character could be read

atEOFOfCurrentStream

boolean atEOFOfCurrentStream()
                             throws java.io.IOException
Returns true if the current stream has no more characters left to be read.

Throws:
java.io.IOException - if an I/O error occurred

atEOF

boolean atEOF()
              throws java.io.IOException
Returns true if there are no more characters left to be read.

Throws:
java.io.IOException - if an I/O error occurred

unread

void unread(char ch)
            throws java.io.IOException
Pushes the last character read back to the stream.

Parameters:
ch - the character to push back
Throws:
java.io.IOException - if an I/O error occurred

getLineNr

int getLineNr()
Returns the line number of the data in the current stream.


openStream

java.io.Reader openStream(java.lang.String publicID,
                          java.lang.String systemID)
                          throws java.net.MalformedURLException,
                                 java.io.FileNotFoundException,
                                 java.io.IOException
Opens a stream from a public and system ID.

Parameters:
publicID - the public ID, which may be null
systemID - the system ID, which is never null
Throws:
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 stream

startNewStream

void startNewStream(java.io.Reader reader)
Starts a new stream from a Java reader. The new stream is used temporary to read data from. If that stream is exhausted, control returns to the parent stream.

Parameters:
reader - the reader to read the new data from

setSystemID

void setSystemID(java.lang.String systemID)
                 throws java.net.MalformedURLException
Sets the system ID of the current stream.

Parameters:
systemID - the system ID
Throws:
java.net.MalformedURLException - if the system ID does not contain a valid URL

setPublicID

void setPublicID(java.lang.String publicID)
Sets the public ID of the current stream.

Parameters:
publicID - the public ID

getSystemID

java.lang.String getSystemID()
Returns the current system ID.


getPublicID

java.lang.String getPublicID()
Returns the current public ID.