|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.enhydra.xml.xmlc.misc.LineNumberMap | +--org.enhydra.xml.xmlc.misc.LineNumberRecorder
Class that records information to translate a line number or byte offset in a stream into a source file and line number.
Nested Class Summary |
Nested classes inherited from class org.enhydra.xml.xmlc.misc.LineNumberMap |
LineNumberMap.Line |
Constructor Summary | |
LineNumberRecorder()
Constructor with no initial file. |
|
LineNumberRecorder(java.lang.String fileName)
Constructor, setting initial file. |
Method Summary | |
void |
countChar(char ch)
Count a character read (and hope this gets inlined). |
void |
countChars(char[] chBuf,
int off,
int len)
Count an array character's readed |
void |
popFile()
Pop a file from the stack. |
void |
pushFile(java.lang.String fileName)
Push a file on the stack. |
Methods inherited from class org.enhydra.xml.xmlc.misc.LineNumberMap |
addLine, getLineFromLineNum, getLineFromOffset, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public LineNumberRecorder(java.lang.String fileName)
public LineNumberRecorder()
Method Detail |
public void pushFile(java.lang.String fileName)
public void popFile()
public final void countChar(char ch)
public final void countChars(char[] chBuf, int off, int len)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |