Package editor
Class DynamicSelectionManager
java.lang.Object
editor.DynamicSelectionManager
- All Implemented Interfaces:
EventListener
,CaretListener
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate void
addNextSelection
(ArrayList<Point> expansionList) void
private boolean
void
void
expandSelection
(boolean updateIndex) private Point
findNewLineWithinStatementList
(IParseTree spanningLocation) private int
private int
getWordEnd
(JTextComponent editor, int y) private int
getWordStart
(JTextComponent editor, int x) private boolean
isIdentifier
(String possibleWord) private Point
makePoint
(IParseTree spanningLocation) void
private void
setSelection
(Point point) private void
updateIndexBasedOnCurrentSelection
(boolean expanding)
-
Field Details
-
_start
private int _start -
_updating
private boolean _updating -
_gsEditor
-
_expansionList
-
_expansionIndex
private int _expansionIndex
-
-
Constructor Details
-
DynamicSelectionManager
-
-
Method Details
-
expandSelection
public void expandSelection() -
expandSelection
public void expandSelection(boolean updateIndex) -
reduceSelection
public void reduceSelection() -
updateIndexBasedOnCurrentSelection
private void updateIndexBasedOnCurrentSelection(boolean expanding) -
setSelection
-
getExpansionsList
-
addNextSelection
-
findNewLineWithinStatementList
-
isIdentifier
-
getWordEnd
-
getWordStart
-
contains
-
makePoint
-
getOffsetShift
private int getOffsetShift() -
caretUpdate
- Specified by:
caretUpdate
in interfaceCaretListener
-