oracle.javatools.editor

Class EditorSelectionWrap

java.lang.Object

oracle.javatools.editor.EditorSelectionWrap

All Implemented Interfaces:

EditorSelection

public final class EditorSelectionWrap
extends java.lang.Object
implements EditorSelection

An EditorSelection supporting the standard type of selection familiar to most users. MultiSelection beings at the selection start offset and then spans every character to selection end (inclusive) The class leaves the cut, copy, and paste implementation to the standard mechanism - in BasicEditorPane hierarchy, unless an addin or plugin overrides the behaviour.

Constructor Summary

Constructors

Constructor and Description
EditorSelectionWrap()

Method Summary

Modifier and Type	Method and Description
boolean	canSupportEditor(BasicEditorPane editorPane) Wrap selection is the 'standard' selection that editor panes support, so this method always returns true.
void	clearSelectionHighlights(HighlightLayer selectionLayer) Clear the selection by removing any selection highlighting and permorming any other internal clear operations.
void	deinstall() Disassociate the editor selection from an editor
void	deleteSelection() Remove the currently selected text (if any) from the document
void	duplicate() Duplicate the current selection.
int	getDot()
int	getMark()
java.lang.String	getSelectedText()
void	insertText(int offset, java.lang.String text) Insert the given text at the given offset (Different selections will handle things like newline characters differently).
void	install(BasicEditorPane editor) Associate the editor selection with an editor
boolean	isInSelection(int offset) Returns whether the given offset lies within the current selection bounds
void	mouseDragged(java.awt.Point point, int offset) The mouse was dragged to the given point and offset
void	selectAll() Selects all characters in the document
void	setDotPoint(java.awt.Point p) Let the selection know the point (in editor coordinates) where the selection end is designated.
void	setMarkPoint(java.awt.Point p) Let the selection know the point (in editor coordinates) where the selection start is designated.
void	updateSelectionHighlight(HighlightLayer layer, HighlightStyle caretStyle) Update the Editors selection highlight layer in response to a possible change in selection

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface oracle.javatools.editor.EditorSelection

determineMoveDot, determineSetDot

Constructor Detail

EditorSelectionWrap

public EditorSelectionWrap()

Method Detail

getMark

public int getMark()

Specified by:

getMark in interface EditorSelection

Returns:

The offset of selection start (the mark)

getDot

public int getDot()

Specified by:

getDot in interface EditorSelection

Returns:

The offset of selection end. May be identical to selection start which may indicate no selection.

getSelectedText

public java.lang.String getSelectedText()

Specified by:

getSelectedText in interface EditorSelection

Returns:

The text currently covered by selection

updateSelectionHighlight

public void updateSelectionHighlight(HighlightLayer layer,
                                     HighlightStyle caretStyle)

Description copied from interface: EditorSelection

Update the Editors selection highlight layer in response to a possible change in selection

Specified by:

updateSelectionHighlight in interface EditorSelection

Parameters:

layer - The selection highlight layer

install

public void install(BasicEditorPane editor)

Description copied from interface: EditorSelection

Associate the editor selection with an editor

Specified by:

install in interface EditorSelection

deinstall

public void deinstall()

Description copied from interface: EditorSelection

Disassociate the editor selection from an editor

Specified by:

deinstall in interface EditorSelection

setMarkPoint

public void setMarkPoint(java.awt.Point p)

Description copied from interface: EditorSelection

Let the selection know the point (in editor coordinates) where the selection start is designated. We can't just rely on editor.getCaret() as this will return an offset, sometimes the selection start point will be past the end of the row and not specifically identified by an offset

Specified by:

setMarkPoint in interface EditorSelection

Parameters:

p - the Point where the selection begin

setDotPoint

public void setDotPoint(java.awt.Point p)

Description copied from interface: EditorSelection

Let the selection know the point (in editor coordinates) where the selection end is designated. We can't just rely on editor.getCaret() as this will return an offset, sometimes the selection end point will be past the end of the row and not specifically identified by an offset

Specified by:

setDotPoint in interface EditorSelection

Parameters:

p - the Point where the selection bounds ends

clearSelectionHighlights

public void clearSelectionHighlights(HighlightLayer selectionLayer)

Description copied from interface: EditorSelection

Clear the selection by removing any selection highlighting and permorming any other internal clear operations.

Specified by:

clearSelectionHighlights in interface EditorSelection

deleteSelection

public void deleteSelection()
                     throws javax.swing.text.BadLocationException

Description copied from interface: EditorSelection

Remove the currently selected text (if any) from the document

Specified by:

deleteSelection in interface EditorSelection

Throws:

javax.swing.text.BadLocationException

insertText

public void insertText(int offset,
                       java.lang.String text)
                throws javax.swing.text.BadLocationException

Description copied from interface: EditorSelection

Insert the given text at the given offset (Different selections will handle things like newline characters differently).

Specified by:

insertText in interface EditorSelection

Throws:

javax.swing.text.BadLocationException

isInSelection

public boolean isInSelection(int offset)

Description copied from interface: EditorSelection

Returns whether the given offset lies within the current selection bounds

Specified by:

isInSelection in interface EditorSelection

Returns:

selectAll

public void selectAll()

Description copied from interface: EditorSelection

Selects all characters in the document

Specified by:

selectAll in interface EditorSelection

canSupportEditor

public boolean canSupportEditor(BasicEditorPane editorPane)

Wrap selection is the 'standard' selection that editor panes support, so this method always returns true.

Specified by:

canSupportEditor in interface EditorSelection

Parameters:

editorPane -

Returns:

true

mouseDragged

public void mouseDragged(java.awt.Point point,
                         int offset)

Description copied from interface: EditorSelection

The mouse was dragged to the given point and offset

Specified by:

mouseDragged in interface EditorSelection

Parameters:

point - the point of the drag

duplicate

public void duplicate()

Description copied from interface: EditorSelection

Duplicate the current selection.

Specified by:

duplicate in interface EditorSelection