public class MarkerTransformedEvent extends AbstractTransformedEvent
Constructor and Description |
---|
MarkerTransformedEvent(MarkerEvent me) |
Modifier and Type | Method and Description |
---|---|
long |
getMarkerId() |
java.util.Map<java.lang.String,java.lang.String> |
getProperties(java.util.Map<java.lang.String,java.lang.String> container) |
boolean |
isClosed() |
boolean |
isOpen() |
getModelName, getSimulationTime, getSource, getSystemTime
compressAST, getAST, setAST
getID, getTimestamp
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAST
public MarkerTransformedEvent(MarkerEvent me)