org.enhydra.xml.xmlc.misc
Class LineNumberMap.Line

java.lang.Object
  |
  +--org.enhydra.xml.xmlc.misc.LineNumberMap.Line
Enclosing class:
LineNumberMap

public final class LineNumberMap.Line
extends Object

Structure to record the char offset in an input stream for a line. Objects of this class are immutable.


Constructor Summary
(package private) LineNumberMap.Line(String fileName, int lineNum, int streamLineNum, int streamCharOffset)
          Constructor
 
Method Summary
 String getFileName()
          Get the file name.
 int getLineNum()
          Get one-based source line number.
 int getStreamCharOffset()
          Zero-based stream char offset.
 int getStreamLineNum()
          Get one-based stream line number.
 String toString()
          Get String reprsentation for debugging
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LineNumberMap.Line

LineNumberMap.Line(String fileName,
                   int lineNum,
                   int streamLineNum,
                   int streamCharOffset)
Constructor
Method Detail

getFileName

public String getFileName()
Get the file name.

getLineNum

public int getLineNum()
Get one-based source line number.

getStreamLineNum

public int getStreamLineNum()
Get one-based stream line number.

getStreamCharOffset

public int getStreamCharOffset()
Zero-based stream char offset.

toString

public String toString()
Get String reprsentation for debugging
Overrides:
toString in class Object


Copyright © 1999-2002 enhydra.org (Mark Diekhans, David Li, Richard Kunze). All Rights reserved.