You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: debugAdapterProtocol.json
+3-3Lines changed: 3 additions & 3 deletions
Original file line number
Diff line number
Diff line change
@@ -1308,7 +1308,7 @@
1308
1308
},
1309
1309
"name": {
1310
1310
"type": "string",
1311
-
"description": "The name of the Variable's child to obtain data breakpoint information for.\nIf variableReference isn’t provided, this can be an expression."
1311
+
"description": "The name of the Variable's child to obtain data breakpoint information for.\nIf variablesReference isn’t provided, this can be an expression."
1312
1312
}
1313
1313
},
1314
1314
"required": [ "name" ]
@@ -1803,7 +1803,7 @@
1803
1803
"StackTraceRequest": {
1804
1804
"allOf": [ { "$ref": "#/definitions/Request" }, {
1805
1805
"type": "object",
1806
-
"description": "The request returns a stacktrace from the current execution state of a given thread.\nA client can request all stack frames by omitting the startFrame and levels arguments. For performance conscious clients stack frames can be retrieved in a piecemeal way with the startFrame and levels arguments. The response of the stackTrace request may contain a totalFrames property that hints at the total number of frames in the stack. If a client needs this total number upfront, it can issue a request for a single (first) frame and depending on the value of totalFrames decide how to proceed. In any case a client should be prepared to receive less frames than requested, which is an indication that the end of the stack has been reached.",
1806
+
"description": "The request returns a stacktrace from the current execution state of a given thread.\nA client can request all stack frames by omitting the startFrame and levels arguments. For performance conscious clients and if the debug adapter's 'supportsDelayedStackTraceLoading' capability is true, stack frames can be retrieved in a piecemeal way with the startFrame and levels arguments. The response of the stackTrace request may contain a totalFrames property that hints at the total number of frames in the stack. If a client needs this total number upfront, it can issue a request for a single (first) frame and depending on the value of totalFrames decide how to proceed. In any case a client should be prepared to receive less frames than requested, which is an indication that the end of the stack has been reached.",
1807
1807
"properties": {
1808
1808
"command": {
1809
1809
"type": "string",
@@ -2913,7 +2913,7 @@
2913
2913
},
2914
2914
"supportsDelayedStackTraceLoading": {
2915
2915
"type": "boolean",
2916
-
"description": "The debug adapter supports the delayed loading of parts of the stack, which requires that both the 'startFrame' and 'levels' arguments and the 'totalFrames' result of the 'StackTrace' request are supported."
2916
+
"description": "The debug adapter supports the delayed loading of parts of the stack, which requires that both the 'startFrame' and 'levels' arguments and an optional 'totalFrames' result of the 'StackTrace' request are supported."
Copy file name to clipboardExpand all lines: src/debug_protocol/debug_protocol.ml
+3-3Lines changed: 3 additions & 3 deletions
Original file line number
Diff line number
Diff line change
@@ -258,7 +258,7 @@ module Capabilities = struct
258
258
supports_value_formatting_options : booloption [@key "supportsValueFormattingOptions"] [@default None];(** The debug adapter supports a 'format' attribute on the stackTraceRequest, variablesRequest, and evaluateRequest. *)
259
259
supports_exception_info_request : booloption [@key "supportsExceptionInfoRequest"] [@default None];(** The debug adapter supports the 'exceptionInfo' request. *)
260
260
support_terminate_debuggee : booloption [@key "supportTerminateDebuggee"] [@default None];(** The debug adapter supports the 'terminateDebuggee' attribute on the 'disconnect' request. *)
261
-
supports_delayed_stack_trace_loading : booloption [@key "supportsDelayedStackTraceLoading"] [@default None];(** The debug adapter supports the delayed loading of parts of the stack, which requires that both the 'startFrame' and 'levels' arguments and the 'totalFrames' result of the 'StackTrace' request are supported. *)
261
+
supports_delayed_stack_trace_loading : booloption [@key "supportsDelayedStackTraceLoading"] [@default None];(** The debug adapter supports the delayed loading of parts of the stack, which requires that both the 'startFrame' and 'levels' arguments and an optional 'totalFrames' result of the 'StackTrace' request are supported. *)
262
262
supports_loaded_sources_request : booloption [@key "supportsLoadedSourcesRequest"] [@default None];(** The debug adapter supports the 'loadedSources' request. *)
263
263
supports_log_points : booloption [@key "supportsLogPoints"] [@default None];(** The debug adapter supports logpoints by interpreting the 'logMessage' attribute of the SourceBreakpoint. *)
264
264
supports_terminate_threads_request : booloption [@key "supportsTerminateThreadsRequest"] [@default None];(** The debug adapter supports the 'terminateThreads' request. *)
variables_reference : intoption [@key "variablesReference"] [@default None];(** Reference to the Variable container if the data breakpoint is requested for a child of the container. *)
1733
1733
name : string;(** The name of the Variable's child to obtain data breakpoint information for.
1734
-
If variableReference isn’t provided, this can be an expression. *)
1734
+
If variablesReference isn’t provided, this can be an expression. *)
(** The request returns a stacktrace from the current execution state of a given thread.
1986
-
A client can request all stack frames by omitting the startFrame and levels arguments. For performance conscious clients stack frames can be retrieved in a piecemeal way with the startFrame and levels arguments. The response of the stackTrace request may contain a totalFrames property that hints at the total number of frames in the stack. If a client needs this total number upfront, it can issue a request for a single (first) frame and depending on the value of totalFrames decide how to proceed. In any case a client should be prepared to receive less frames than requested, which is an indication that the end of the stack has been reached. *)
1986
+
A client can request all stack frames by omitting the startFrame and levels arguments. For performance conscious clients and if the debug adapter's 'supportsDelayedStackTraceLoading' capability is true, stack frames can be retrieved in a piecemeal way with the startFrame and levels arguments. The response of the stackTrace request may contain a totalFrames property that hints at the total number of frames in the stack. If a client needs this total number upfront, it can issue a request for a single (first) frame and depending on the value of totalFrames decide how to proceed. In any case a client should be prepared to receive less frames than requested, which is an indication that the end of the stack has been reached. *)
Copy file name to clipboardExpand all lines: src/debug_protocol/debug_protocol.mli
+3-3Lines changed: 3 additions & 3 deletions
Original file line number
Diff line number
Diff line change
@@ -198,7 +198,7 @@ module Capabilities : sig
198
198
supports_value_formatting_options : booloption [@key "supportsValueFormattingOptions"] [@default None];(** The debug adapter supports a 'format' attribute on the stackTraceRequest, variablesRequest, and evaluateRequest. *)
199
199
supports_exception_info_request : booloption [@key "supportsExceptionInfoRequest"] [@default None];(** The debug adapter supports the 'exceptionInfo' request. *)
200
200
support_terminate_debuggee : booloption [@key "supportTerminateDebuggee"] [@default None];(** The debug adapter supports the 'terminateDebuggee' attribute on the 'disconnect' request. *)
201
-
supports_delayed_stack_trace_loading : booloption [@key "supportsDelayedStackTraceLoading"] [@default None];(** The debug adapter supports the delayed loading of parts of the stack, which requires that both the 'startFrame' and 'levels' arguments and the 'totalFrames' result of the 'StackTrace' request are supported. *)
201
+
supports_delayed_stack_trace_loading : booloption [@key "supportsDelayedStackTraceLoading"] [@default None];(** The debug adapter supports the delayed loading of parts of the stack, which requires that both the 'startFrame' and 'levels' arguments and an optional 'totalFrames' result of the 'StackTrace' request are supported. *)
202
202
supports_loaded_sources_request : booloption [@key "supportsLoadedSourcesRequest"] [@default None];(** The debug adapter supports the 'loadedSources' request. *)
203
203
supports_log_points : booloption [@key "supportsLogPoints"] [@default None];(** The debug adapter supports logpoints by interpreting the 'logMessage' attribute of the SourceBreakpoint. *)
204
204
supports_terminate_threads_request : booloption [@key "supportsTerminateThreadsRequest"] [@default None];(** The debug adapter supports the 'terminateThreads' request. *)
@@ -1388,7 +1388,7 @@ module Data_breakpoint_info_command : sig
1388
1388
typet = {
1389
1389
variables_reference : intoption [@key "variablesReference"] [@default None];(** Reference to the Variable container if the data breakpoint is requested for a child of the container. *)
1390
1390
name : string;(** The name of the Variable's child to obtain data breakpoint information for.
1391
-
If variableReference isn’t provided, this can be an expression. *)
1391
+
If variablesReference isn’t provided, this can be an expression. *)
1392
1392
}
1393
1393
[@@deriving make, yojson {strict =false}]
1394
1394
end
@@ -1640,7 +1640,7 @@ module Pause_command : sig
1640
1640
end
1641
1641
1642
1642
(** The request returns a stacktrace from the current execution state of a given thread.
1643
-
A client can request all stack frames by omitting the startFrame and levels arguments. For performance conscious clients stack frames can be retrieved in a piecemeal way with the startFrame and levels arguments. The response of the stackTrace request may contain a totalFrames property that hints at the total number of frames in the stack. If a client needs this total number upfront, it can issue a request for a single (first) frame and depending on the value of totalFrames decide how to proceed. In any case a client should be prepared to receive less frames than requested, which is an indication that the end of the stack has been reached. *)
1643
+
A client can request all stack frames by omitting the startFrame and levels arguments. For performance conscious clients and if the debug adapter's 'supportsDelayedStackTraceLoading' capability is true, stack frames can be retrieved in a piecemeal way with the startFrame and levels arguments. The response of the stackTrace request may contain a totalFrames property that hints at the total number of frames in the stack. If a client needs this total number upfront, it can issue a request for a single (first) frame and depending on the value of totalFrames decide how to proceed. In any case a client should be prepared to receive less frames than requested, which is an indication that the end of the stack has been reached. *)
0 commit comments