|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
CommandListener | The main ActionListener and ItemListener
of Ubench's GUI. |
ExampleViewer | A window showing the examples registered in the
ExampleManager of the running Utool
instance. |
JCodecFileChooser | A class representing a JFileChooser which can
display and control options for Input and Output codecs used
in Utool. |
JCodecOptionPane | This represents a UI for selecting or entering values of different types (according to possible codec options). |
JDomGraphMenu | A JMenuBar for the workbench window
containing several menus to operate on graphs and files
they are stored in. |
JDomGraphMenu.ServerButton | |
JDomGraphPreferencePane | A window to show and edit options for utool. |
JDomGraphStatusBar | The status bar of the workbench window, a
JPanel containing the possible layouts
(for dominance graphs, solved forms, the solving process
and an empty window) managed with a CardLayout . |
JDomGraphTab | A JPanel displaying a JDomGraph ,
providing several informations on the graph needed by other
GUI-classes. |
JDomTabbedPane | A JTabbedPane and its ChangeListener
to display several instances of JDomGraphTab . |
JDomTabPopup | A JPopupMenu that allows to duplicate or close the
currently visible tab. |
JGraphTab | A JPanel displaying a JGraph ,
either a dominance graph or a solved form, and
providing several informations on the graph needed by other
GUI-classes. |
JSolvedFormTab | A JPanel displaying a JDomGraph
which is in solved form and providing several informations on the graph needed by other
GUI-classes. |
Preferences | This contains several preferences for layouting and solving graphs and a master object containing the general used preferences. |
Ubench | The main class of Ubench. |
Enum Summary | |
---|---|
JCodecFileChooser.Type | The enum class representing the three diffent file chooser types for the three different tasks. |
Provides the classes for the Underspecification Workbench GUI.
The Underspecification Workbench is a graphical front-end to
the Domgraph library, which is invoked by executing the display
command in Utool. This package is distributed under the
GPL rather than the LGPL because it is linked with the GNU Getopt library.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |