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