Class SourcePosition

  • All Implemented Interfaces:
    java.io.Serializable

    public class SourcePosition
    extends java.lang.Object
    implements java.io.Serializable
    A position in a source string - includes offset, line and column.
    See Also:
    Serialized Form
    • Field Detail

      • offset

        public final int offset
      • line

        public final int line
      • column

        public final int column
    • Constructor Detail

      • SourcePosition

        public SourcePosition​(SourceFile source,
                              int offset,
                              int line,
                              int column)
    • Method Detail

      • getOffset

        public int getOffset()
      • toString

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