TerminatedEvent.EventBody

java.lang.Object

com.oracle.truffle.tools.dap.types.JSONBase

com.oracle.truffle.tools.dap.types.TerminatedEvent.EventBody

Enclosing class:: TerminatedEvent

public static class TerminatedEvent.EventBody extends JSONBase

Method Summary

Modifier and Type

Method

Description

static TerminatedEvent.EventBody

create()

boolean

equals(Object obj)

Object

getRestart()

A debug adapter may set 'restart' to true (or to an arbitrary object) to request that the front end restarts the session.

int

hashCode()

TerminatedEvent.EventBody

setRestart(Object restart)

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Details
- getRestart
  
  public Object getRestart()
  
  A debug adapter may set 'restart' to true (or to an arbitrary object) to request that the front end restarts the session. The value is not interpreted by the client and passed unmodified as an attribute '__restart' to the 'launch' and 'attach' requests.
- setRestart
  
  public TerminatedEvent.EventBody setRestart(Object restart)
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object
- create
  
  public static TerminatedEvent.EventBody create()