processing.xml
Class StdXMLReader

java.lang.Object
  processing.xml.StdXMLReader

public class StdXMLReader
extends java.lang.Object

StdXMLReader reads the data to be parsed.

StdXMLReader

public StdXMLReader(java.lang.String publicID,
                    java.lang.String systemID)
             throws java.net.MalformedURLException,
                    java.io.FileNotFoundException,
                    java.io.IOException

Initializes the reader from a system and public ID.

Parameters:

publicID - the public ID which may be null.

systemID - the non-null system ID.

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

StdXMLReader

public StdXMLReader(java.io.Reader reader)

Initializes the XML reader.

Parameters:

reader - the input for the XML data.

StdXMLReader

public StdXMLReader(java.io.InputStream stream)
             throws java.io.IOException

Initializes the XML reader.

Parameters:

stream - the input for the XML data.

Throws:

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

stringReader

public static StdXMLReader stringReader(java.lang.String str)

Creates a new reader using a string as input.

Parameters:

str - the string containing the XML data

fileReader

public static StdXMLReader fileReader(java.lang.String filename)
                               throws java.io.FileNotFoundException,
                                      java.io.IOException

Creates a new reader using a file as input.

Parameters:

filename - the name of the file containing the XML data

Throws:

java.io.FileNotFoundException - if the file could not be found

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

read

public char read()
          throws java.io.IOException

Reads a character.

Returns:

the character

Throws:

java.io.IOException - if no character could be read

atEOFOfCurrentStream

public 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

public 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

public 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

openStream

public 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

public 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 non-null reader to read the new data from

startNewStream

public void startNewStream(java.io.Reader reader,
                           boolean isInternalEntity)

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 non-null reader to read the new data from

isInternalEntity - true if the reader is produced by resolving an internal entity

getStreamLevel

public int getStreamLevel()

Returns the current "level" of the stream on the stack of streams.

getLineNr

public int getLineNr()

Returns the line number of the data in the current stream.

setSystemID

public 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

public void setPublicID(java.lang.String publicID)

Sets the public ID of the current stream.

Parameters:

publicID - the public ID

getSystemID

public java.lang.String getSystemID()

Returns the current system ID.

getPublicID

public java.lang.String getPublicID()

Returns the current public ID.