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

java.lang.Object
  org.eclipse.gef.Request
      sk.uniba.euromath.editor.textEditor.requests.selectionRequest.TextSelectRequest

public class TextSelectRequest
extends org.eclipse.gef.Request

Author:

Tomáš Studva 7.2.2006

Field Summary

static String	NEW_SELECTION Type to new selection.
static String	XOR_SELECTION Type to XOR selection.

Constructor Summary

TextSelectRequest(Collection<Interval> selection, String selectType)
Constructor.

Method Summary

Set<Interval>	getSelection()
String	getSelectType()

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

Field Detail

NEW_SELECTION

public static final String NEW_SELECTION

Type to new selection.

See Also:

Constant Field Values

XOR_SELECTION

public static final String XOR_SELECTION

Type to XOR selection.

See Also:

Constant Field Values

Constructor Detail

TextSelectRequest

public TextSelectRequest(Collection<Interval> selection,
                         String selectType)

Constructor.

Parameters:

selection -

selectType -

Method Detail

getSelection

public Set<Interval> getSelection()

Returns:

the selection

getSelectType

public String getSelectType()

Returns:

the selectType