org.grinvin.graphbrowser
Class GraphBrowserWindow
JFrame
org.grinvin.graphbrowser.GraphBrowserWindow
- HasGraphList, HasInvariantList
public class GraphBrowserWindow
extends JFrame
A window that displays the GraphList/GraphTableList
GraphBrowserWindow
public GraphBrowserWindow(GraphInvariantListModel model)
Creates a new instance of GraphBrowserWindow
fireGraphListNameChanged
public void fireGraphListNameChanged()
getCurrentComponent
public String getCurrentComponent()
getGraphListDividerLocation
public int getGraphListDividerLocation()
getGraphPropertiesComponentDividerLocation
public int getGraphPropertiesComponentDividerLocation()
getInvariantTableDividerLocation
public int getInvariantTableDividerLocation()
getName
public String getName()
setCurrentComponent
public void setCurrentComponent(String component)
throws RuntimeException
setGraphListDividerLocation
public void setGraphListDividerLocation(int location)
setGraphPropertiesComponentDividerLocation
public void setGraphPropertiesComponentDividerLocation(int location)
setInvariantTableDividerLocation
public void setInvariantTableDividerLocation(int location)