Class Mark

  • All Implemented Interfaces:
    java.io.Serializable

    public final class Mark
    extends java.lang.Object
    implements java.io.Serializable
    It's just a record and its only use is producing nice error messages. Parser does not use it for any other purposes.
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private int[] buffer  
      private int column  
      private int index  
      private int line  
      private java.lang.String name  
      private int pointer  
    • Constructor Summary

      Constructors 
      Constructor Description
      Mark​(java.lang.String name, int index, int line, int column, char[] str, int pointer)  
      Mark​(java.lang.String name, int index, int line, int column, int[] buffer, int pointer)  
      Mark​(java.lang.String name, int index, int line, int column, java.lang.String buffer, int pointer)
      Deprecated.
    • Field Detail

      • name

        private java.lang.String name
      • index

        private int index
      • line

        private int line
      • column

        private int column
      • buffer

        private int[] buffer
      • pointer

        private int pointer
    • Constructor Detail

      • Mark

        public Mark​(java.lang.String name,
                    int index,
                    int line,
                    int column,
                    char[] str,
                    int pointer)
      • Mark

        @Deprecated
        public Mark​(java.lang.String name,
                    int index,
                    int line,
                    int column,
                    java.lang.String buffer,
                    int pointer)
        Deprecated.
      • Mark

        public Mark​(java.lang.String name,
                    int index,
                    int line,
                    int column,
                    int[] buffer,
                    int pointer)
    • Method Detail

      • toCodePoints

        private static int[] toCodePoints​(char[] str)
      • isLineBreak

        private boolean isLineBreak​(int c)
      • get_snippet

        public java.lang.String get_snippet​(int indent,
                                            int max_length)
      • get_snippet

        public java.lang.String get_snippet()
      • toString

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

        public java.lang.String getName()
      • getLine

        public int getLine()
        starts with 0
        Returns:
        line number
      • getColumn

        public int getColumn()
        starts with 0
        Returns:
        column number
      • getIndex

        public int getIndex()
        starts with 0
        Returns:
        character number
      • getBuffer

        public int[] getBuffer()
      • getPointer

        public int getPointer()