|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
accept method
of Filefilter.
accept method
of Filefilter.
ChartViewer.
actionPerformed method of
ActionListener.
JDomGraph
DomGraph to display and a NodeLabels
object along with the graph's name.
JDomGraph, given the index indicating
where to insert it in the tab.
JFrame containing a GUI for visualising a
Chart of a dominance graph and
highlighting parts of it in a JDomGraph.ActionListener processes all actions
of one (and only one) ChartViewer.JGraphTab identic to this one
but containing clones of the DomGraph and the
JDomGraph
JGraphTab identic to this one
but containing clones of the DomGraph and the
JDomGraph
ActionListener and ItemListener
of Ubench's GUI.CommandListener.
FileFilter that
accepts files with *.pdf-extension.FileView that shows
PDF-Files.FileFilter that
accepts files with *.xml-extension.Preferences object.
Reader.
Reader.
DomGraph to a
JDomGraphExampleManager of the running Utool
instance.JComponent to a PDF.
ChartViewer.JDomGraph.SolvedFormLayout with the
given JDomGraph.
SolvedFormLayout with the
given JDomGraph.
FileFilter which can be customised with an
arbitrary file type and which generates a standard
description do appear in a JFileChooser.GenericFileFilter accepting
the file type described.
getDescription
method of FileFilter.
getDescription
method of FileView.
getDescription
method of FileFilter.
Preferences object
which is a new one if there is no master yet.
Ubench
class.
JDomGraph created by
this converter.
JDomGraph.
JDomGraph.
Reader from which the USR specified
by the spec will be read.
Reader from which the USR specified
by the spec will be read.
DomEdge
objects.
List .
getToolTipText method of
JComponent.
GraphDrawingCursor
GraphDrawingCursor
GraphLayoutCursor
GraphLayoutCursor
avoidThese.
itemStateChanged method of
ItemListener.
JFileChooser which can
display and control options for Input and Output codecs used
in Utool.JCodecFileChooser initialised
with the folder to display and its task type.
JCodecOptionPane initalised
with some parameters given in a Map with the
parameter names and their types as classes.
JGraphLayoutAlgorithm designed to
leave the node and edge positions unchanged but
triggers the refreshing of the JGraph's
appearance so as to make color or font changes
visible.JMenuBar for the workbench window
containing several menus to operate on graphs and files
they are stored in.JPanel containing the possible layouts
(for dominance graphs, solved forms, the solving process
and an empty window) managed with a CardLayout.JPanel displaying a JDomGraph,
providing several informations on the graph needed by other
GUI-classes.JTabbedPane and its ChangeListener
to display several instances of JDomGraphTab.JPopupMenu that allows to duplicate or close the
currently visible tab.JPanel displaying a JGraph,
either a dominance graph or a solved form, and
providing several informations on the graph needed by other
GUI-classes.JGraphTab
JPanel displaying a JDomGraph
which is in solved form and providing several informations on the graph needed by other
GUI-classes.FormatManager.
SplitSource for filling a chart
with just the irredundant splits.codecclasses.properties
file.
CompleteSplitSource.
Chart.stateChanged method of
ChangeListener.
JDialog with a Generic progress bar.WaitingDialog initalised
with its parent frame and the text to appear
as dialog title.
domedges.
Writer which replaces XML special characters
(such as &) by the respective XML entities.writer
to which the modified strings should be written as its
argument.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||