Class Errors.SourceLocation

  • Enclosing class:
    Errors

    @Immutable
    public abstract static class Errors.SourceLocation
    extends java.lang.Object
    SourceLocation gives the line and column where an expression starts.
    • Constructor Summary

      Constructors 
      Constructor Description
      SourceLocation()  
    • Method Summary

      All Methods Static Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      abstract int column()
      Return the column where the source starts.
      abstract int line()
      Return the line where the source appears.
      static Errors.SourceLocation of​(int line, int column)
      Create a new SourceLocation from line and column.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SourceLocation

        public SourceLocation()
    • Method Detail

      • line

        public abstract int line()
        Return the line where the source appears.
      • column

        public abstract int column()
        Return the column where the source starts.
      • of

        public static Errors.SourceLocation of​(int line,
                                               int column)
        Create a new SourceLocation from line and column.