Class InvariantListComponent

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()`

protected static final LocalTransferHandler TRANSFER_HANDLER

public InvariantListComponent(InvariantListModel model)

Creates a new instance of InvariantListComponent

public void deleteSelectedElements()

Delete currently selected elements.

public InvariantList getInvariantList()

Specified by:
getInvariantList in interface HasInvariantList

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Field Summary