Package de.saar.chorus.newubench

Class TabManager

java.lang.Object

de.saar.chorus.newubench.TabManager

public class TabManager
extends Object

Constructor Summary

Constructors

Constructor	Description
TabManager()

Method Summary

Modifier and Type	Method	Description
void	addDomGraphTab(String label, DomGraph graph, NodeLabels labels)
void	addDomGraphTab(String label, Reader reader, InputCodec inputCodec)
void	addGraphFromFilechooser()
void	addSolvedFormTab(String label, SolvedFormIterator sfi, int numSolvedForms, DomGraph graph, NodeLabels labels)
void	closeCurrentTab()
void	duplicateCurrentTab()
UbenchTab	getCurrentTab()
JTabbedPane	getTabbedPane()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TabManager

public TabManager()

Method Details

addDomGraphTab

public void addDomGraphTab(String label,
 DomGraph graph,
 NodeLabels labels)

addDomGraphTab

public void addDomGraphTab(String label,
 Reader reader,
 InputCodec inputCodec)

addSolvedFormTab

public void addSolvedFormTab(String label,
 SolvedFormIterator sfi,
 int numSolvedForms,
 DomGraph graph,
 NodeLabels labels)

getTabbedPane

public JTabbedPane getTabbedPane()

getCurrentTab

public UbenchTab getCurrentTab()

closeCurrentTab

public void closeCurrentTab()

duplicateCurrentTab

public void duplicateCurrentTab()

addGraphFromFilechooser

public void addGraphFromFilechooser()