|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectUbench
public class Ubench
The main class of Ubench. This implements the "singleton pattern", so this class provides one (and only one) instance of Ubench.
Field Summary | |
---|---|
boolean |
reduceAutomatically
|
Method Summary | |
---|---|
JDomGraphTab |
addNewTab(JDomGraph graph,
String label,
DomGraph origin,
boolean paintNow,
boolean showNow,
int index,
NodeLabels labels)
Adding a new tab to the window displaying the given JDomGraph , given the index indicating
where to insert it in the tab. |
JDomGraphTab |
addNewTab(JDomGraph graph,
String label,
DomGraph origin,
boolean paintNow,
boolean showNow,
NodeLabels labels)
Adding a new tab to the window displaying the given JDomGraph |
boolean |
addNewTab(String label,
DomGraph graph,
NodeLabels labels)
Allowes to set up a new Tab by submitting the DomGraph to display and a NodeLabels
object along with the graph's name. |
void |
addTab(JGraphTab tab,
boolean showNow)
Adding a complete tab to the window |
void |
addTab(JGraphTab tab,
boolean showNow,
int ind)
Adding a complete tab to the window |
void |
closeAllTabs()
Closing all tabs. |
void |
closeCurrentTab()
Closes the currently shown tab (if there is one). |
JDomGraph |
genericLoadGraph(Reader reader,
String codec,
DomGraph graph,
NodeLabels nl,
Map<String,String> options)
Loads a labelled dominance graph from a reader. |
JDomGraph |
genericLoadGraph(String filename,
DomGraph graph,
NodeLabels nl,
Map<String,String> options)
Loads a labelled dominance graph from a file. |
CodecManager |
getCodecManager()
|
String |
getEqsname()
|
EquationSystem |
getEquationSystem()
|
ExampleManager |
getExampleManager()
|
static Ubench |
getInstance()
Returns the (only) instance of the Ubench
class. |
File |
getLastPath()
|
CommandListener |
getListener()
|
double |
getTabHeight()
Returning the tab height (considering the possible minimization of the window). |
double |
getTabWidth()
Returning the tab width (considering the possible minimization of the window). |
JGraphTab |
getVisibleTab()
|
int |
getVisibleTabIndex()
|
JFrame |
getWindow()
|
boolean |
isEquationSystemLoaded()
|
static void |
main(String[] args)
Starting Ubench, optionally with files to open on command line |
void |
quit()
Closing Ubench. |
void |
refresh()
Refreshes the menu, the slider and the status bar. |
void |
resetSlider()
Aligning the slider with the currently shown graph. |
void |
setEquationSystem(EquationSystem eqs,
String name)
|
void |
setLastPath(File lastPath)
|
void |
setListener(CommandListener listener)
|
void |
setPreferenceDialogVisible(boolean visible)
|
void |
setSolvingEnabled(boolean b)
(De-)Activates the menu-items only available for solvable dominance graphs (as opposed to unsolvable graphs and solved forms). |
void |
showProgressBar()
Showing the bar for the solving process. |
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public boolean reduceAutomatically
Method Detail |
---|
public void resetSlider()
public void setPreferenceDialogVisible(boolean visible)
public void showProgressBar()
public JFrame getWindow()
public void closeAllTabs()
public void quit()
public double getTabHeight()
public double getTabWidth()
public void refresh()
public void closeCurrentTab()
public JGraphTab getVisibleTab()
public int getVisibleTabIndex()
public void addTab(JGraphTab tab, boolean showNow)
tab
- the tab to adshowNow
- if set to true, the tab will be displayed at oncepublic void addTab(JGraphTab tab, boolean showNow, int ind)
tab
- the tab to adshowNow
- if set to true, the tab will be displayed at oncepublic void setSolvingEnabled(boolean b)
b
- if false, solving becomes disabled.public JDomGraphTab addNewTab(JDomGraph graph, String label, DomGraph origin, boolean paintNow, boolean showNow, NodeLabels labels)
JDomGraph
graph
- the graph to displaylabel
- the name for the tabpaintNow
- if set to true, the graph is layoutet at onceshowNow
- if set to true, the tab will be shown after creating
public boolean addNewTab(String label, DomGraph graph, NodeLabels labels)
DomGraph
to display and a NodeLabels
object along with the graph's name.
label
- name of the graph (resp. the tab)graph
- the DomGraph
to displaylabels
- the storage for the node labels
DomGraph
was sucessfully
translated into a JDomGraph
public JDomGraphTab addNewTab(JDomGraph graph, String label, DomGraph origin, boolean paintNow, boolean showNow, int index, NodeLabels labels)
JDomGraph
, given the index indicating
where to insert it in the tab.
graph
- the graph to displaylabel
- the name of the tabpaintNow
- if set to true the graph is layoutet at onceshowNow
- if set to true the graph is shown immidiatelyindex
- indicating on which place of the tab the new tab shall be inserted
public JDomGraph genericLoadGraph(Reader reader, String codec, DomGraph graph, NodeLabels nl, Map<String,String> options)
reader
- the Reader from which the graph is readcodec
- the name of the input codec that should be used
to decode the graphgraph
- a DomGraph
which this method sets
to the dominance graph part of the labelled graphnl
- a NodeLabels
object which this method
fills with the node labelling part of the labelled graph
JDomGraph
representation for the
labelled graphpublic JDomGraph genericLoadGraph(String filename, DomGraph graph, NodeLabels nl, Map<String,String> options)
filename
- the file namegraph
- a DomGraph
which this method sets
to the dominance graph part of the labelled graphnl
- a NodeLabels
object which this method
fills with the node labelling part of the labelled graph
JDomGraph
representation for the
labelled graphpublic static void main(String[] args)
args
- command line arfumentspublic CommandListener getListener()
public void setListener(CommandListener listener)
listener
- The listener to set.public CodecManager getCodecManager()
public ExampleManager getExampleManager()
public static Ubench getInstance()
Ubench
class. Creates a new Ubench
object if there
was none created yet, returns the already created instance
otherwise.
Ubench
instancepublic EquationSystem getEquationSystem()
public void setEquationSystem(EquationSystem eqs, String name)
eqs
- The eqs to set.public String getEqsname()
public boolean isEquationSystemLoaded()
public File getLastPath()
public void setLastPath(File lastPath)
lastPath
- The lastPath to set.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |