Class Location


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

      Constructors 
      Constructor Description
      Location​(java.lang.String filename, int lineno)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • INTERNALLY_DEFINED

        public static final Location INTERNALLY_DEFINED
      • filename

        public final java.lang.String filename
      • lineno

        public final int lineno
    • Constructor Detail

      • Location

        public Location​(java.lang.String filename,
                        int lineno)
    • Method Detail

      • toString

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