This message may be sent multiple times, triggered for every "output" performed by the execution. ExecuteEndMessage marks the end of these messages.

interface ExecuteIntermediateResponseMessage {
    id: undefined | string;
    result: string;
    stream: "stdout" | "stderr";
    type: "response-repl-execution";
}

Hierarchy (view full)

Hierarchy-Diagram

UML class diagram of ExecuteIntermediateResponseMessage

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.

result: string
stream: "stdout" | "stderr"
type: "response-repl-execution"

The at this time unknown type