Class SourceLocation


  • public final class SourceLocation
    extends Object
    Author:
    Zoltan Farkas
    • Constructor Detail

      • SourceLocation

        public SourceLocation​(String encoded)
      • SourceLocation

        public SourceLocation​(String filePath,
                              int lineNr,
                              int colNr)
    • Method Detail

      • getFilePath

        public String getFilePath()
      • getLineNr

        public int getLineNr()
      • getColNr

        public int getColNr()