com.oracle.truffle.tools.dap.types

Class 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 and 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, getClass, notify, notifyAll, toString, wait, wait, wait

Method Detail

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()