Class ProgressEndEvent
java.lang.Object
com.oracle.truffle.tools.dap.types.JSONBase
com.oracle.truffle.tools.dap.types.ProtocolMessage
com.oracle.truffle.tools.dap.types.Event
com.oracle.truffle.tools.dap.types.ProgressEndEvent
Event message for 'progressEnd' event type. The event signals the end of the progress reporting
with an optional final message. This event should only be sent if the client has passed the value
true for the 'supportsProgressReporting' capability of the 'initialize' request.
-
Nested Class Summary
Nested Classes -
Method Summary
Modifier and TypeMethodDescriptionstatic ProgressEndEventcreate(ProgressEndEvent.EventBody body, Integer seq) booleangetBody()Event-specific information.inthashCode()Methods inherited from class com.oracle.truffle.tools.dap.types.Event
create, getEvent, setBody, setEvent