org.grinvin.list

Class InvariantTree


public class InvariantTree
extends JTree

Tree component with leaves of type Invariant. Provides drag support for invariants. Dropping is not allowed.

Constructor Summary

InvariantTree(InvariantTreeModel model)
Creates a new instance of InvariantList

Constructor Details

InvariantTree

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