public final class MarkerReachedEvent extends SynthesizedOutputEvent
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
DETAIL
The unsupported element.
|
static java.lang.String |
EVENT_TYPE
The detail message.
|
| Constructor and Description |
|---|
MarkerReachedEvent(SynthesizedOutput output,
java.lang.String sessionId,
java.lang.String name)
Constructs a new event with the event type as its detail message.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getMark()
Returns the name of the mark that has been reached.
|
getEventType, getSessionId, getSourcegetMessage, isTypepublic static final java.lang.String DETAIL
public static final java.lang.String EVENT_TYPE
public MarkerReachedEvent(SynthesizedOutput output, java.lang.String sessionId, java.lang.String name)
The DETAIL is used to construct the event type.
output - object that caused the event.sessionId - the session idname - name of the mark that has been reached.SynthesizedOutputEvent.getEventType()