org.grinvin.graphbrowser

Class GraphBrowserWindow

Implemented Interfaces:
HasGraphList, HasInvariantList

public class GraphBrowserWindow
extends JFrame
implements HasGraphList, HasInvariantList

A window that displays the GraphList/GraphTableList

Constructor Summary

GraphBrowserWindow(GraphInvariantListModel model)
Creates a new instance of GraphBrowserWindow

Method Summary

void
fireGraphListNameChanged()
String
getCurrentComponent()
GraphList
getGraphList()
Return the graph list model which is used by this component.
int
getGraphListDividerLocation()
int
getGraphPropertiesComponentDividerLocation()
InvariantList
getInvariantList()
int
getInvariantTableDividerLocation()
String
getName()
void
setCurrentComponent(String component)
void
setGraphListDividerLocation(int location)
void
setGraphPropertiesComponentDividerLocation(int location)
void
setInvariantTableDividerLocation(int location)

Constructor Details

GraphBrowserWindow

public GraphBrowserWindow(GraphInvariantListModel model)
Creates a new instance of GraphBrowserWindow

Method Details

fireGraphListNameChanged

public void fireGraphListNameChanged()

getCurrentComponent

public String getCurrentComponent()

getGraphList

public GraphList getGraphList()
Return the graph list model which is used by this component.
Specified by:
getGraphList in interface HasGraphList

getGraphListDividerLocation

public int getGraphListDividerLocation()

getGraphPropertiesComponentDividerLocation

public int getGraphPropertiesComponentDividerLocation()

getInvariantList

public InvariantList getInvariantList()
Specified by:
getInvariantList in interface HasInvariantList

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)