Class HostDiscardParams
Request for rdcore/host/discard: the language-server side of DiscardSessionParams, addressed to the component that owns the
session.
[Method("rdcore/host/discard", Direction.ClientToServer)]
public record HostDiscardParams : IRequest, IRequest<Unit>, IRequest<DiscardSessionResult>, IBaseRequest, IEquatable<HostDiscardParams>
- Inheritance
-
HostDiscardParams
- Implements
-
IRequestIRequest<Unit>IRequest<DiscardSessionResult>IBaseRequest
- Inherited Members
Properties
EndProgram
Whether the program that is running or waits is ended, and the session wiped, before the module goes: what a client that clears its program
(NEW, LOAD) asks. Without it a module of a program that is running or waits is kept, since the code it runs is not the document's to take away.
public bool EndProgram { get; init; }
Property Value
ModuleName
The programmatic name of the module.
public string ModuleName { get; init; }
Property Value
ModuleUri
The address of the module symbol: the one the language server defined the module under, which it derives once and for every request about a module. A module that is not the project's - a document the client opened - has no symbol of its own to find by name, and still has what it declared.
public Uri ModuleUri { get; init; }