org.grinvin.graphbrowser

Class InvariantListComponent

Implemented Interfaces:
HasInvariantList

public class InvariantListComponent
extends JList
implements HasInvariantList

List component with entries of type Invariant. Provides drag support for invariants. Dropping is not allowed.

Field Summary

protected static LocalTransferHandler
TRANSFER_HANDLER

Constructor Summary

InvariantListComponent(InvariantListModel model)
Creates a new instance of InvariantListComponent

Method Summary

void
deleteSelectedElements()
Delete currently selected elements.
InvariantList
getInvariantList()

Field Details

TRANSFER_HANDLER

protected static final LocalTransferHandler TRANSFER_HANDLER

Constructor Details

InvariantListComponent

public InvariantListComponent(InvariantListModel model)
Creates a new instance of InvariantListComponent

Method Details

deleteSelectedElements

public void deleteSelectedElements()
Delete currently selected elements.

getInvariantList

public InvariantList getInvariantList()
Specified by:
getInvariantList in interface HasInvariantList