Class EditorSelection


  • public class EditorSelection
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected int column  
      protected java.io.File file  
      protected int line  
    • Constructor Summary

      Constructors 
      Constructor Description
      EditorSelection​(java.io.File file, int line, int column)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getColumn()  
      java.io.File getFile()  
      int getLine()  
      void setColumn​(int column)  
      void setFile​(java.io.File file)  
      void setLine​(int line)  
      • Methods inherited from class java.lang.Object

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

      • line

        protected int line
      • column

        protected int column
      • file

        protected java.io.File file
    • Constructor Detail

      • EditorSelection

        public EditorSelection​(java.io.File file,
                               int line,
                               int column)
    • Method Detail

      • getLine

        public int getLine()
      • setLine

        public void setLine​(int line)
      • getColumn

        public int getColumn()
      • setColumn

        public void setColumn​(int column)
      • getFile

        public java.io.File getFile()
      • setFile

        public void setFile​(java.io.File file)