Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
JTree
org.grinvin.gui.components.InvariantTreeComponent
public class InvariantTreeComponent
extends JTree
Invariant
. Provides drag support
for invariants. Dropping is not allowed.
Constructor Summary | |
|
public InvariantTreeComponent(InvariantTreeModel model)
Creates a new instance of InvariantList