Marks the end of the execution of the respective ExecuteRequestMessage. The underlying TCP connection should ensure the ordering so that this message is the last.

interface ExecuteEndMessage {
    id: undefined | string;
    type: "end-repl-execution";
}

Hierarchy (view full)

Hierarchy-Diagram

UML class diagram of ExecuteEndMessage

Properties

Properties

id: undefined | string

The id that links a request with its responses, it is up to the calling client to make sure it is unique. However, the client does not have to pass the id if it does not need to link the request with its response. The id is always undefined if the message is unprompted (e.g., with hello) or the id unknown.

type: "end-repl-execution"

The at this time unknown type