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

org.grinvin.gui.components

Class InvariantTreeComponent

public class InvariantTreeComponent
extends JTree
Tree component with leaves of type Invariant. Provides drag support for invariants. Dropping is not allowed.

Constructor Summary

InvariantTreeComponent(InvariantTreeModel model)
Creates a new instance of InvariantList

Constructor Details

InvariantTreeComponent

public InvariantTreeComponent(InvariantTreeModel model)
Creates a new instance of InvariantList

Overview Package Tree Index Deprecated About