All Classes Interface Summary Class Summary Enum Summary Exception Summary
| Class |
Description |
| AbstractDialog<P> |
|
| AbstractRoutableDialog<P> |
|
| AbstractSelectionPanel<C extends javax.swing.JComponent> |
|
| AbstractSequenceDistance<T> |
|
| BorderPanel |
Panel which adds a border around its contents
|
| CheckComboBox |
ComboBox containing checkbox
|
| ColorScheme |
Some nice color schemes for visualization.
|
| ColorSchemeLegend |
Legend for a gradient-based color scheme.
|
| CompoundViewInteractionPanel |
|
| ConnectionManagerHelper |
Helper methods to work in a 'safer' way with the ConnectionManager of
ProM.
|
| ContextMenuCreator |
|
| CreateLogPlugin |
|
| DashedBorder |
|
| DetailView<T> |
|
| Dialog<P> |
|
| DirectedGraphEdgeForMultiGraph |
|
| DirectedGraphElementForMultiEdge |
|
| DirectedGraphNodeForMultiGraph |
|
| ExportInteractionPanel |
|
| FilteredListModel<E> |
|
| FilteredListModelImpl<T extends javax.swing.ListModel<E>,E> |
|
| FilteredListModelImpl.ListModelFilter<E> |
|
| GenericLevenshteinDistance<T> |
Generic Levenshtein Distance computation that also returns an "aligned"
version of the two input Lists.
|
| HammingDistance |
|
| HammingDistance.Namer<T> |
|
| HeaderRenderer |
Renderer for headers for tables
|
| InformationStep<M> |
|
| Inspector |
Inspector-style window.
|
| InspectorPanel |
Panel with an Inspector
|
| JGraphEdgeView |
|
| JGraphFoldingManager |
Mananges the folding and unfolding of groups
|
| JGraphPortView |
|
| JGraphShapeView |
|
| JSplitPaneUtils |
|
| LeftAlignedHeader |
Header aligned to the left
|
| ListSelectionPanel |
|
| ListWizard<SettingsModel> |
|
| Loggable |
|
| LogViewer |
|
| MapWizard<SettingsModel,Key> |
|
| MapWizard.MapModel<SettingsModel,Key> |
|
| MasterView<M,D> |
|
| ModelOwner |
|
| MultilineStringQueryPanel |
|
| MutableListModel<T> |
|
| PIPInteractionPanel |
|
| ProMAutoCompletingTextField |
|
| ProMCellViewFactory |
|
| ProMCheckBoxWithComboBox<T> |
|
| ProMCheckBoxWithPanel |
|
| ProMCheckBoxWithTextField |
|
| ProMCheckComboBox |
|
| ProMComboBox<E> |
|
| ProMComboBoxPopup |
|
| ProMComboBoxTableCellEditor<T> |
|
| ProMComboBoxUI |
|
| ProMComboBoxWithTextField |
|
| ProMComboCheckBox |
|
| ProMEdgeRenderer |
|
| ProMGraphCell |
|
| ProMGraphEdge |
|
| ProMGraphElement |
|
| ProMGraphModel |
|
| ProMGraphPort |
|
| ProMGroupShapeRenderer |
Renderer for grouped cells, includes '+' '-' to expand/collapse
|
| ProMHeaderPanel |
Panel with a header
|
| ProMJGraph |
|
| ProMJGraphPanel |
|
| ProMJGraphVisualizer |
|
| ProMList<E> |
List (JList) with SlickerBox L&F
|
| ProMListSortableWithComboBox<T> |
JList with ProM look & feel with a ProMComboBox on top of it that
allows to add elements to the list.
|
| ProMLoggable |
|
| ProMLoopRouting |
|
| ProMPasswordField |
PasswordField with SlickerBox L&F
Built using the PromTextField as pattern
|
| ProMPortRenderer |
|
| ProMPropertiesExpertModePanel |
|
| ProMPropertiesPanel |
|
| ProMScrollablePanel |
|
| ProMScrollContainer |
This class implements a Scroll Container.
|
| ProMScrollContainerChild |
Child that can be displayed in the ProMScrollContainer.
|
| ProMScrollPane |
|
| ProMShapeRenderer |
|
| ProMSplitPane |
|
| ProMTable |
Table with SlickerBox L&F
|
| ProMTableWithoutPanel |
Adapted from ProMTable, but without a surrounding JPanel.
|
| ProMTextArea |
TextAres with SlickerBox L&F
|
| ProMTextField |
TextField with SlickerBox L&F
|
| ProMTitledScrollContainerChild |
|
| ProMTraceList<T> |
A JPanel that displays a list of arbitrary objects that are
visualized as "wedges" using ProMTraceView.
|
| ProMTraceList.ClickListener<T> |
|
| ProMTraceList.DefaultWedgeBuilder |
|
| ProMTraceList.DelegateWedgeBuilder |
|
| ProMTraceList.MoveListener<T> |
|
| ProMTraceList.NoOpTraceBuilder<T extends ProMTraceView.Event> |
|
| ProMTraceList.TraceBuilder<T> |
|
| ProMTraceList.WedgeBuilder |
Can be used to override the default coloring of an ProMTraceView.Event based on
some other information.
|
| ProMTraceListMasterDetail<M,D> |
|
| ProMTraceView |
|
| ProMTraceView.AbstractEvent |
|
| ProMTraceView.AbstractExtendedEvent |
|
| ProMTraceView.AbstractSplittedEvent |
|
| ProMTraceView.AbstractTrace<T extends ProMTraceView.Event> |
|
| ProMTraceView.DefaultEvent |
|
| ProMTraceView.DefaultSplittedEvent |
|
| ProMTraceView.DefaultTrace<T extends ProMTraceView.Event> |
|
| ProMTraceView.Event |
An Event with labels and colors.
|
| ProMTraceView.ExtendedEvent |
|
| ProMTraceView.SplittedEvent |
|
| ProMTraceView.Trace<T extends ProMTraceView.Event> |
A Trace is just a sequence of events.
|
| ProMUIHelper |
Commonly used functionality for the ProM UI as static helper methods.
|
| ProMWizard<SettingsModel,WizardModel> |
|
| ProMWizardDisplay |
|
| ProMWizardStep<SettingsModel> |
|
| ProvidedObjectHelper |
|
| Route<P> |
|
| SaveAsActionListener<T> |
|
| ScalableComponent |
|
| ScalableComponent.UpdateListener |
|
| ScalableViewPanel |
Panel for visualizing components.
|
| SelectionListener<N,E> |
|
| SelectionListener.SelectionChangeEvent<N,E> |
|
| SequenceDistance<T> |
|
| SequenceDistance.DistanceResult<T> |
Holds the result of a sequence distance computation.
|
| SequenceDistance.DistanceResult.Entry<T> |
A single step in the alignment of A and B.
|
| SequenceDistance.Equivalence<T> |
|
| SliderQueryPanel |
|
| SortableListModel<T> |
|
| SortableListModelImpl<T> |
Provides a sorted ListModel based on an ArrayList for use
with a JList.
|
| TextStep<M> |
|
| TransparentSplitPane |
|
| UserCancelledException |
Thrown by most methods in ProMUIHelper in case the user cancels an
operation.
|
| VerticalLabelUI |
|
| ViewInteractionPanel |
This interaction panel is used in the ProMScalableView.
|
| WidgetColors |
Colors used in widgets
|
| WidgetImages |
Images useful for tabbed panes
|
| Wizard |
|
| WizardResult<P> |
|
| ZoomInteractionPanel |
|