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, toString
public 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.