sk.uniba.euromath.editor.textEditor.requests.selectionRequest
Class TextSelectionRequest

java.lang.Object
  org.eclipse.gef.Request
      org.eclipse.gef.requests.LocationRequest
          org.eclipse.gef.requests.SelectionRequest
              sk.uniba.euromath.editor.textEditor.requests.selectionRequest.TextSelectionRequest

public class TextSelectionRequest
extends org.eclipse.gef.requests.SelectionRequest

TextSelectionRequest

Author:

TV refactored by Martin Kollar on 23.4.2006 Created on 10.7.2004 Contains current selection(DomInterval), that means, what we are selecting right now, not what was selected before. This selection is that proccesed whith previous

Constructor Summary

TextSelectionRequest(DomPointer start, DomPointer end)
Sets initial values

Method Summary

DomPointer	getEnd()
DOMInterval	getSelection()
DomPointer	getStart()
void	setEnd(DomPointer end) Sets where this selection ends
void	setStart(DomPointer start) Sets where this selection starts

Methods inherited from class org.eclipse.gef.requests.SelectionRequest

getLastButtonPressed, isAltKeyPressed, isAnyMouseButtonPressed, isControlKeyPressed, isLeftMouseButtonPressed, isRightMouseButtonPressed, isShiftKeyPressed, setLastButtonPressed, setModifiers

Methods inherited from class org.eclipse.gef.requests.LocationRequest

getLocation, setLocation

Methods inherited from class org.eclipse.gef.Request

getExtendedData, getType, setExtendedData, setType

Methods inherited from class java.lang.Object

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

Constructor Detail

TextSelectionRequest

public TextSelectionRequest(DomPointer start,
                            DomPointer end)

Sets initial values

Parameters:

doc - defines document in that this selection will be applied

start - DomPointer, where the selection starts

end - DomPointer, where the selection ends

Method Detail

getEnd

public DomPointer getEnd()

Returns:

DomPointer pointing to end of selection

getStart

public DomPointer getStart()

Returns:

DomPointer pointing to start of selection

setStart

public void setStart(DomPointer start)

Sets where this selection starts

Parameters:

start - DomPointer pointing to start of selection

setEnd

public void setEnd(DomPointer end)

Sets where this selection ends

Parameters:

end - DomPointer pointing to end of selection

getSelection

public DOMInterval getSelection()

Returns:

current DomInterval, that represents current selection - what is selected with this "drag" or with "SHIFT+arrows". It does not contain what was selected before.