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 java.lang.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(java.lang.String fileName, int lineNum, int streamLineNum, int streamCharOffset)
          Constructor
 
Method Summary
 java.lang.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.
 java.lang.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(java.lang.String fileName,
                   int lineNum,
                   int streamLineNum,
                   int streamCharOffset)
Constructor

Method Detail

getFileName

public java.lang.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 java.lang.String toString()
Get String reprsentation for debugging

Overrides:
toString in class java.lang.Object


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