Interface | Description |
---|---|
CancelationComponent |
Title:
|
CustomRenderer |
An interface for describing the drawing of custom shapes that cannot be
captured via a single GeneralPath.
|
Provider |
Class | Description |
---|---|
Cell | |
CellModel | |
CheckListModel | |
CheckResult |
CheckResult is a link to a process instance which is checked on a ltl
formula.
|
CheckResultCell | |
CheckResultModel |
CheckResultModel is a tablemodel to store the checkresults of a check.
|
CheckResultObject | |
CheckResultsInstanceBrowser | |
CheckResultsRuleBrowser | |
CheckVisualizer | |
CheckVisualizerConnection | |
CheckVisualizerGUI |
TemplateGui specifies a gui for selecting an template formula to check, see
te description of such formula and to valuate the parameters of the formula.
|
ConceptModel | |
DataAttribute | |
DataSection | |
EventCellRendererChecked | |
EventCellRendererLC | |
InfoItem |
A general information item from a workflow log.
|
InstanceModel | |
InstancesCellRenderer | |
ListRenderer | |
LTLChecker | |
LTLVerificationResult |
LTLVerificationResult is a JPanel representing two lists, one with good
process instances, and one with the bad ones.
|
Message | |
MethodsForWorkflowLogDataStructures |
Title:
|
OntologyCollection | |
OntologyModel | |
Progress |
Realizes a progress bar (showing the status of some operation).
|
ProgressSample | |
ProMColorUI | |
ProvidedObject | |
RuleModel | |
RulesCellRenderer | |
RulesInstancesCellRenderer | |
SlickerOpenCheckResults | |
SwingWorker |
This is the 3rd version of SwingWorker (also known as SwingWorker 3), an
abstract class that you subclass to perform GUI-related work in a dedicated
thread.
|
Symbol |
Defines the Symbol class, which is used to represent all terminals and
nonterminals while parsing.
|
Symbols |
CUP generated class containing symbol constants.
|
virtual_parse_stack |
This class implements a temporary or "virtual" parse stack that replaces the
top portion of the actual parse stack (the part that has been changed by some
set of operations) while maintaining its original contents.
|
XTraceListModel |
Exception | Description |
---|---|
InvalidModelException |