pub struct Message {
pub id: u64,
pub format: String,
pub variables: Option<Value>,
pub send_telemetry: Option<bool>,
pub show_user: Option<bool>,
pub url: Option<String>,
pub url_label: Option<String>,
}
Expand description
A structured message object. Used to return errors from requests.
Fields§
§id: u64
Unique (within a debug adapter implementation) identifier for the message. The purpose of these error IDs is to help extension authors that have the requirement that every user visible error message needs a corresponding error number, so that users or customer support can find information about the specific error more easily.
format: String
A format string for the message. Embedded variables have the form {name}
.
If variable name starts with an underscore character, the variable does not contain user data (PII) and can be safely used for telemetry purposes.
variables: Option<Value>
An object used as a dictionary for looking up the variables in the format string.
send_telemetry: Option<bool>
If true send to telemetry.
show_user: Option<bool>
If true show user.
url: Option<String>
A url where additional information about this message can be found.
url_label: Option<String>
A label that is presented to the user as the UI for opening the url.