|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.Reader | +--org.enhydra.xml.xmlc.misc.LineNumberMapReader
A file reader that keeps a map of chararacter offsets to line numbers. This is used by the Swing HTML parser interface to provide reasonable error messages.
Field Summary |
Fields inherited from class java.io.Reader |
lock |
Constructor Summary | |
LineNumberMapReader(org.xml.sax.InputSource inputSource)
Construct a new reader for the specified file. |
Method Summary | |
void |
close()
Close the stream. |
LineNumberMap |
getLineNumberMap()
Get the line number map. |
int |
read()
Read a character. |
int |
read(char[] cbuf,
int off,
int len)
Read characters into a portion of an array. |
Methods inherited from class java.io.Reader |
mark, markSupported, read, ready, reset, skip |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public LineNumberMapReader(org.xml.sax.InputSource inputSource) throws java.io.IOException
Method Detail |
public final LineNumberMap getLineNumberMap()
public int read() throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
- If an I/O error occursReader.read()
public int read(char[] cbuf, int off, int len) throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
- If an I/O error occursReader.read()
public void close() throws java.io.IOException
close
in class java.io.Reader
java.io.IOException
- If an I/O error occursReader.close()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |