Class Location


  • @Deprecated
    public final class Location
    extends java.lang.Object
    Deprecated.
    Prefer to use SourceLocation instead.
    Represents a line and column number of a character or token in the source.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int column
      Deprecated.
      1-based column number.
      int line
      Deprecated.
      1-based line number.
    • Constructor Summary

      Constructors 
      Constructor Description
      Location​(int line, int column)
      Deprecated.
      Creates a Location instance.
    • Field Detail

      • line

        public final int line
        Deprecated.
        1-based line number.
      • column

        public final int column
        Deprecated.
        1-based column number.
    • Constructor Detail

      • Location

        public Location​(int line,
                        int column)
        Deprecated.
        Creates a Location instance.
        Parameters:
        line - line number
        column - column number
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object obj)
        Deprecated.
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Deprecated.
        Overrides:
        hashCode in class java.lang.Object
      • toString

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