Class Position


  • public class Position
    extends java.lang.Object
    Position in a text document expressed as zero-based line and character offset.
    • Constructor Summary

      Constructors 
      Constructor Description
      Position()  
      Position​(int line, int character)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      int getCharacter()
      Character offset on a line in a document (zero-based).
      int getLine()
      Line position in a document (zero-based).
      int hashCode()  
      void setCharacter​(int character)
      Character offset on a line in a document (zero-based).
      void setLine​(int line)
      Line position in a document (zero-based).
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • Position

        public Position()
      • Position

        public Position​(int line,
                        int character)
    • Method Detail

      • getLine

        public int getLine()
        Line position in a document (zero-based).
      • setLine

        public void setLine​(int line)
        Line position in a document (zero-based).
      • getCharacter

        public int getCharacter()
        Character offset on a line in a document (zero-based).
      • setCharacter

        public void setCharacter​(int character)
        Character offset on a line in a document (zero-based).
      • toString

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

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object