Package editor

Class DynamicSelectionManager

java.lang.Object
editor.DynamicSelectionManager
All Implemented Interfaces:
EventListener, CaretListener

public class DynamicSelectionManager extends Object implements CaretListener
  • Field Details

    • _start

      private int _start
    • _updating

      private boolean _updating
    • _gsEditor

      private GosuEditor _gsEditor
    • _expansionList

      private ArrayList<Point> _expansionList
    • _expansionIndex

      private int _expansionIndex
  • Constructor Details

    • DynamicSelectionManager

      public DynamicSelectionManager(GosuEditor parent)
  • Method Details

    • expandSelection

      public void expandSelection()
    • expandSelection

      public void expandSelection(boolean updateIndex)
    • reduceSelection

      public void reduceSelection()
    • updateIndexBasedOnCurrentSelection

      private void updateIndexBasedOnCurrentSelection(boolean expanding)
    • setSelection

      private void setSelection(Point point)
    • getExpansionsList

      private ArrayList<Point> getExpansionsList()
    • addNextSelection

      private void addNextSelection(ArrayList<Point> expansionList)
    • findNewLineWithinStatementList

      private Point findNewLineWithinStatementList(IParseTree spanningLocation)
    • isIdentifier

      private boolean isIdentifier(String possibleWord)
    • getWordEnd

      private int getWordEnd(JTextComponent editor, int y)
    • getWordStart

      private int getWordStart(JTextComponent editor, int x)
    • contains

      private boolean contains(Point point1, Point point2)
    • makePoint

      private Point makePoint(IParseTree spanningLocation)
    • getOffsetShift

      private int getOffsetShift()
    • caretUpdate

      public void caretUpdate(CaretEvent e)
      Specified by:
      caretUpdate in interface CaretListener