|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jadex.swing.sequence.SequenceSelectionModel
This class processes and stores selections of sequnce on the sequence display. is supported.
Constructor Summary | |
SequenceSelectionModel()
Creates new SequenceSelectionModel |
Method Summary | |
void |
addSelectionListener(SequenceSelectionListener listener)
Register a selection listener |
void |
clearSelection()
Remove all selected sequence from selection |
void |
deSelectedElements(java.util.List list)
DeSelect a list of elements. |
void |
deSelectSequence(org.jdom.Element sequence)
Remove a selected sequence. |
protected void |
fireSelectionValueChanged(org.jdom.Element seq,
boolean isSelected)
Notify all selection listeners a selection has changed |
protected void |
fireSelectionValueChanged(java.util.List list,
boolean isSelected)
Notify all selection listeners a selection has changed |
org.jdom.Element |
getSelected()
Return the selected or deselected element. |
org.jdom.Element |
getSelectedElement()
Get the selected element. |
java.util.List |
getSelection()
Get the selected list |
void |
removeSelectionListener(SequenceSelectionListener listener)
Unregister a selection listener |
void |
setSelectedElement(org.jdom.Element e)
Set a selected Sequence element. |
void |
setSelectedElements(java.util.List list)
Set a list of selected elements. |
void |
setSelection(java.util.List list)
This method will not fire a SequneceSelectionEvent, and is for fine control of display. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public SequenceSelectionModel()
Method Detail |
public void setSelectedElement(org.jdom.Element e)
e
- the selected Sequence element.public org.jdom.Element getSelectedElement()
public void setSelectedElements(java.util.List list)
list
- the list of selected elements.public void deSelectedElements(java.util.List list)
list
- the list of elements to be removed from the selections.public void deSelectSequence(org.jdom.Element sequence)
sequence
- the sequence element to be removed from the selections.public org.jdom.Element getSelected()
public void clearSelection()
public void addSelectionListener(SequenceSelectionListener listener)
public void removeSelectionListener(SequenceSelectionListener listener)
protected void fireSelectionValueChanged(org.jdom.Element seq, boolean isSelected)
seq
- selected or deselected sequenceisSelected
- true for selection and false for deselectionprotected void fireSelectionValueChanged(java.util.List list, boolean isSelected)
list
- selected or deselected sequenceisSelected
- true for selection and false for deselectionpublic java.util.List getSelection()
public void setSelection(java.util.List list)
list
- the list of selected sequences.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |