Class Location


  • public class Location
    extends java.lang.Object
    • Constructor Detail

      • Location

        public Location​(java.lang.String file,
                        long row,
                        long col)
    • Method Detail

      • file

        public java.lang.String file()
      • row

        public long row()
      • col

        public long col()
      • withFile

        public Location withFile​(java.lang.String file)
      • withRow

        public Location withRow​(long row)
      • withCol

        public Location withCol​(long col)
      • equals

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

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

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