public class Time
extends java.lang.Object
implements org.processmining.framework.util.HTMLToString
Constructor and Description |
---|
Time(org.processmining.framework.plugin.PluginContext context,
java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
void |
end() |
void |
end(int i,
int size) |
java.lang.String |
toHTMLString(boolean includeHTMLTags) |