public class TSDecomposeUI
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected java.awt.Color |
colorBg |
protected java.awt.Color |
colorListBg |
protected java.awt.Color |
colorListBgSelected |
protected java.awt.Color |
colorListDescription |
protected java.awt.Color |
colorListEnclosureBg |
protected java.awt.Color |
colorListFg |
protected java.awt.Color |
colorListFgSelected |
protected java.awt.Color |
colorListHeader |
protected java.awt.Color |
colorOuterBg |
| Constructor and Description |
|---|
TSDecomposeUI(org.processmining.contexts.uitopia.UIPluginContext context) |
| Modifier and Type | Method and Description |
|---|---|
protected javax.swing.JComponent |
configureAnyScrollable(javax.swing.JComponent scrollable,
java.lang.String title,
java.lang.String description) |
protected javax.swing.JComponent |
configureList(javax.swing.JList<java.lang.Object> list,
java.lang.String title,
java.lang.String description) |
java.util.List<java.lang.Object> |
decompose(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem transitionSystem)
Decompose given transition system
|
protected javax.swing.JComponent |
packLeftAligned(javax.swing.JComponent component) |
protected java.awt.Color colorBg
protected java.awt.Color colorOuterBg
protected java.awt.Color colorListBg
protected java.awt.Color colorListBgSelected
protected java.awt.Color colorListFg
protected java.awt.Color colorListFgSelected
protected java.awt.Color colorListEnclosureBg
protected java.awt.Color colorListHeader
protected java.awt.Color colorListDescription
public TSDecomposeUI(org.processmining.contexts.uitopia.UIPluginContext context)
public java.util.List<java.lang.Object> decompose(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem transitionSystem)
transitionSystem - protected javax.swing.JComponent configureList(javax.swing.JList<java.lang.Object> list,
java.lang.String title,
java.lang.String description)
protected javax.swing.JComponent configureAnyScrollable(javax.swing.JComponent scrollable,
java.lang.String title,
java.lang.String description)
protected javax.swing.JComponent packLeftAligned(javax.swing.JComponent component)