Class SourcePosition


  • public class SourcePosition
    extends java.lang.Object
    • Field Detail

      • lineNumber

        private final int lineNumber
      • posInLine

        private final int posInLine
      • posInFile

        private final int posInFile
    • Constructor Detail

      • SourcePosition

        public SourcePosition​(int lineNumber,
                              int posInLine,
                              int posInFile)
    • Method Detail

      • getLineNumber

        public int getLineNumber()
      • getPosInLine

        public int getPosInLine()
      • getPosInFile

        public int getPosInFile()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object