Class Location

  • All Implemented Interfaces:
    java.io.Serializable

    public class Location
    extends java.lang.Object
    implements java.io.Serializable
    Immutable representation of the location of a character in a document, as defined by an (optional) file name, a line number and a column number.
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static Location NOWHERE
      Representation of an unspecified location.
    • Constructor Summary

      Constructors 
      Constructor Description
      Location​(java.lang.String fileName, int lineNumber, int columnNumber)  
    • Field Detail

      • NOWHERE

        public static final Location NOWHERE
        Representation of an unspecified location.
    • Constructor Detail

      • Location

        public Location​(@Nullable
                        java.lang.String fileName,
                        int lineNumber,
                        int columnNumber)
        Parameters:
        fileName - A human-readable indication where the document related to this Location can be found
    • Method Detail

      • getFileName

        @Nullable
        public java.lang.String getFileName()
        Returns:
        The "file name" associated with this location, or null
      • getLineNumber

        public int getLineNumber()
        Returns:
        The line number associated with this location, or -1
      • getColumnNumber

        public int getColumnNumber()
        Returns:
        The column number associated with this location, or -1
      • toString

        public java.lang.String toString()
        Converts this Location into an english text, like 'File Main.java, Line 23, Column 79'.
        Overrides:
        toString in class java.lang.Object