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