Class Mark


  • public final class Mark
    extends java.lang.Object
    It's just a record and its only use is producing nice error messages. Parser does not use it for any other purposes.
    • Constructor Summary

      Constructors 
      Constructor Description
      Mark​(java.lang.String name, int index, int line, int column, java.lang.String buffer, int pointer)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String get_snippet()  
      java.lang.String get_snippet​(int indent, int max_length)  
      int getColumn()
      starts with 0
      int getIndex()
      starts with 0
      int getLine()
      starts with 0
      java.lang.String getName()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • Mark

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

      • 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
      • getColumn

        public int getColumn()
        starts with 0
      • getIndex

        public int getIndex()
        starts with 0