public class XesTimeExtension extends XesExtensionImpl
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TIME |
| Modifier and Type | Method and Description |
|---|---|
java.util.Date |
getTimestamp(XesEvent event)
Returns the timestamp of the given event, that is, the value of the
attribute with key "time:timestamp".
|
static XesTimeExtension |
instance() |
XesDateTimeAttribute |
setTimestamp(XesEvent event,
java.util.Date value)
Sets the timestamp for the given event, that is, the value of the
attribute with key "time:timestamp".
|
addAlias, addEventAttribute, addLogAttribute, addMetaAttribute, addTraceAttribute, getAlias, getEventAttributes, getLogAttributes, getMetaAttributes, getName, getPrefix, getTraceAttributes, getURI, hasAttribute, hasEventAttribute, hasLogAttribute, hasMetaAttribute, hasTraceAttribute, setName, setPrefix, setURI, toStringpublic static final java.lang.String TIME
public static XesTimeExtension instance()
public java.util.Date getTimestamp(XesEvent event)
event - The given event.public XesDateTimeAttribute setTimestamp(XesEvent event, java.util.Date value)
event - The given event.value - The timestamp to set.