public class PopupPopulator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
maxCharactersPerLine |
static int |
popupWidthNodes |
static int |
popupWidthSourceSink |
Constructor and Description |
---|
PopupPopulator() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
padRight(java.lang.String s,
int n) |
static <T> void |
popupProcess(InductiveVisualMinerState state,
PopupItemInput<T> input,
java.util.List<java.lang.String> popup,
java.util.List<? extends PopupItem<T>> popupItems) |
static void |
removeDoubleEmpty(java.util.List<java.lang.String> popup) |
static void |
updatePopup(InductiveVisualMinerPanel panel,
InductiveVisualMinerState state) |
public static final int popupWidthNodes
public static final int popupWidthSourceSink
public static final int maxCharactersPerLine
public static void updatePopup(InductiveVisualMinerPanel panel, InductiveVisualMinerState state) throws org.processmining.plugins.InductiveMiner.efficienttree.UnknownTreeNodeException
org.processmining.plugins.InductiveMiner.efficienttree.UnknownTreeNodeException
public static <T> void popupProcess(InductiveVisualMinerState state, PopupItemInput<T> input, java.util.List<java.lang.String> popup, java.util.List<? extends PopupItem<T>> popupItems)
public static void removeDoubleEmpty(java.util.List<java.lang.String> popup)
public static java.lang.String padRight(java.lang.String s, int n)