package dap

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Debug_protocolSource

The Debug Adapter Protocol defines the protocol used between an editor or IDE and a debugger or runtime.

Sourcemodule type JSONABLE = sig ... end
Sourcemodule type EVENT = sig ... end
Sourcemodule type COMMAND = sig ... end
Sourcemodule Any : sig ... end
Sourcemodule Empty_dict : sig ... end
Sourcemodule Int_or_string : sig ... end
Sourcemodule Dict : sig ... end
Sourcemodule String_dict : sig ... end
Sourcemodule String_opt_dict : sig ... end
Sourcemodule Protocol_message : sig ... end
Sourcemodule Request : sig ... end
Sourcemodule Event : sig ... end
Sourcemodule Response : sig ... end
Sourcemodule Message : sig ... end
Sourcemodule Error_response : sig ... end
Sourcemodule Column_descriptor : sig ... end
Sourcemodule Checksum_algorithm : sig ... end
Sourcemodule Capabilities : sig ... end
Sourcemodule Module : sig ... end
Sourcemodule Modules_view_descriptor : sig ... end
Sourcemodule Thread : sig ... end
Sourcemodule Checksum : sig ... end
Sourcemodule Source : sig ... end
Sourcemodule Stack_frame : sig ... end
Sourcemodule Scope : sig ... end
Sourcemodule Variable : sig ... end
Sourcemodule Breakpoint_location : sig ... end
Sourcemodule Source_breakpoint : sig ... end
Sourcemodule Function_breakpoint : sig ... end
Sourcemodule Data_breakpoint : sig ... end
Sourcemodule Instruction_breakpoint : sig ... end
Sourcemodule Breakpoint : sig ... end
Sourcemodule Stepping_granularity : sig ... end
Sourcemodule Step_in_target : sig ... end
Sourcemodule Goto_target : sig ... end
Sourcemodule Completion_item_type : sig ... end
Sourcemodule Completion_item : sig ... end
Sourcemodule Value_format : sig ... end
Sourcemodule Stack_frame_format : sig ... end
Sourcemodule Exception_filter_options : sig ... end
Sourcemodule Exception_path_segment : sig ... end
Sourcemodule Exception_break_mode : sig ... end
Sourcemodule Exception_options : sig ... end
Sourcemodule Exception_details : sig ... end
Sourcemodule Disassembled_instruction : sig ... end
Sourcemodule Invalidated_areas : sig ... end
Sourcemodule Initialized_event : sig ... end
Sourcemodule Stopped_event : sig ... end
Sourcemodule Continued_event : sig ... end
Sourcemodule Exited_event : sig ... end
Sourcemodule Terminated_event : sig ... end
Sourcemodule Thread_event : sig ... end
Sourcemodule Output_event : sig ... end
Sourcemodule Breakpoint_event : sig ... end
Sourcemodule Module_event : sig ... end
Sourcemodule Loaded_source_event : sig ... end
Sourcemodule Process_event : sig ... end
Sourcemodule Capabilities_event : sig ... end
Sourcemodule Progress_start_event : sig ... end
Sourcemodule Progress_update_event : sig ... end
Sourcemodule Progress_end_event : sig ... end
Sourcemodule Invalidated_event : sig ... end
Sourcemodule Cancel_command : sig ... end

The 'cancel' request is used by the frontend in two situations:

Sourcemodule Run_in_terminal_command : sig ... end

This optional request is sent from the debug adapter to the client to run a command in a terminal. This is typically used to launch the debuggee in a terminal provided by the client. This request should only be called if the client has passed the value true for the 'supportsRunInTerminalRequest' capability of the 'initialize' request.

Sourcemodule Initialize_command : sig ... end

The 'initialize' request is sent as the first request from the client to the debug adapter in order to configure it with client capabilities and to retrieve capabilities from the debug adapter. Until the debug adapter has responded to with an 'initialize' response, the client must not send any additional requests or events to the debug adapter. In addition the debug adapter is not allowed to send any requests or events to the client until it has responded with an 'initialize' response. The 'initialize' request may only be sent once.

This optional request indicates that the client has finished initialization of the debug adapter. So it is the last request in the sequence of configuration requests (which was started by the 'initialized' event). Clients should only call this request if the capability 'supportsConfigurationDoneRequest' is true.

Sourcemodule Launch_command : sig ... end

This launch request is sent from the client to the debug adapter to start the debuggee with or without debugging (if 'noDebug' is true). Since launching is debugger/runtime specific, the arguments for this request are not part of this specification.

Sourcemodule Attach_command : sig ... end

The attach request is sent from the client to the debug adapter to attach to a debuggee that is already running. Since attaching is debugger/runtime specific, the arguments for this request are not part of this specification.

Sourcemodule Restart_command : sig ... end

Restarts a debug session. Clients should only call this request if the capability 'supportsRestartRequest' is true. If the capability is missing or has the value false, a typical client will emulate 'restart' by terminating the debug adapter first and then launching it anew.

Sourcemodule Disconnect_command : sig ... end

The 'disconnect' request is sent from the client to the debug adapter in order to stop debugging. It asks the debug adapter to disconnect from the debuggee and to terminate the debug adapter. If the debuggee has been started with the 'launch' request, the 'disconnect' request terminates the debuggee. If the 'attach' request was used to connect to the debuggee, 'disconnect' does not terminate the debuggee. This behavior can be controlled with the 'terminateDebuggee' argument (if supported by the debug adapter).

Sourcemodule Terminate_command : sig ... end

The 'terminate' request is sent from the client to the debug adapter in order to give the debuggee a chance for terminating itself. Clients should only call this request if the capability 'supportsTerminateRequest' is true.

The 'breakpointLocations' request returns all possible locations for source breakpoints in a given range. Clients should only call this request if the capability 'supportsBreakpointLocationsRequest' is true.

Sourcemodule Set_breakpoints_command : sig ... end

Sets multiple breakpoints for a single source and clears all previous breakpoints in that source. To clear all breakpoint for a source, specify an empty array. When a breakpoint is hit, a 'stopped' event (with reason 'breakpoint') is generated.

Replaces all existing function breakpoints with new function breakpoints. To clear all function breakpoints, specify an empty array. When a function breakpoint is hit, a 'stopped' event (with reason 'function breakpoint') is generated. Clients should only call this request if the capability 'supportsFunctionBreakpoints' is true.

The request configures the debuggers response to thrown exceptions. If an exception is configured to break, a 'stopped' event is fired (with reason 'exception'). Clients should only call this request if the capability 'exceptionBreakpointFilters' returns one or more filters.

Obtains information on a possible data breakpoint that could be set on an expression or variable. Clients should only call this request if the capability 'supportsDataBreakpoints' is true.

Replaces all existing data breakpoints with new data breakpoints. To clear all data breakpoints, specify an empty array. When a data breakpoint is hit, a 'stopped' event (with reason 'data breakpoint') is generated. Clients should only call this request if the capability 'supportsDataBreakpoints' is true.

Replaces all existing instruction breakpoints. Typically, instruction breakpoints would be set from a diassembly window. To clear all instruction breakpoints, specify an empty array. When an instruction breakpoint is hit, a 'stopped' event (with reason 'instruction breakpoint') is generated. Clients should only call this request if the capability 'supportsInstructionBreakpoints' is true.

Sourcemodule Continue_command : sig ... end

The request starts the debuggee to run again.

Sourcemodule Next_command : sig ... end

The request starts the debuggee to run again for one step. The debug adapter first sends the response and then a 'stopped' event (with reason 'step') after the step has completed.

Sourcemodule Step_in_command : sig ... end

The request starts the debuggee to step into a function/method if possible. If it cannot step into a target, 'stepIn' behaves like 'next'. The debug adapter first sends the response and then a 'stopped' event (with reason 'step') after the step has completed. If there are multiple function/method calls (or other targets) on the source line, the optional argument 'targetId' can be used to control into which target the 'stepIn' should occur. The list of possible targets for a given source line can be retrieved via the 'stepInTargets' request.

Sourcemodule Step_out_command : sig ... end

The request starts the debuggee to run again for one step. The debug adapter first sends the response and then a 'stopped' event (with reason 'step') after the step has completed.

Sourcemodule Step_back_command : sig ... end

The request starts the debuggee to run one step backwards. The debug adapter first sends the response and then a 'stopped' event (with reason 'step') after the step has completed. Clients should only call this request if the capability 'supportsStepBack' is true.

Sourcemodule Reverse_continue_command : sig ... end

The request starts the debuggee to run backward. Clients should only call this request if the capability 'supportsStepBack' is true.

Sourcemodule Restart_frame_command : sig ... end

The request restarts execution of the specified stackframe. The debug adapter first sends the response and then a 'stopped' event (with reason 'restart') after the restart has completed. Clients should only call this request if the capability 'supportsRestartFrame' is true.

Sourcemodule Goto_command : sig ... end

The request sets the location where the debuggee will continue to run. This makes it possible to skip the execution of code or to executed code again. The code between the current location and the goto target is not executed but skipped. The debug adapter first sends the response and then a 'stopped' event with reason 'goto'. Clients should only call this request if the capability 'supportsGotoTargetsRequest' is true (because only then goto targets exist that can be passed as arguments).

Sourcemodule Pause_command : sig ... end

The request suspends the debuggee. The debug adapter first sends the response and then a 'stopped' event (with reason 'pause') after the thread has been paused successfully.

Sourcemodule Stack_trace_command : sig ... end

The request returns a stacktrace from the current execution state of a given thread. 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.

Sourcemodule Scopes_command : sig ... end

The request returns the variable scopes for a given stackframe ID.

Sourcemodule Variables_command : sig ... end

Retrieves all child variables for the given variable reference. An optional filter can be used to limit the fetched children to either named or indexed children.

Sourcemodule Set_variable_command : sig ... end

Set the variable with the given name in the variable container to a new value. Clients should only call this request if the capability 'supportsSetVariable' is true.

Sourcemodule Source_command : sig ... end

The request retrieves the source code for a given source reference.

Sourcemodule Threads_command : sig ... end

The request retrieves a list of all threads.

Sourcemodule Terminate_threads_command : sig ... end

The request terminates the threads with the given ids. Clients should only call this request if the capability 'supportsTerminateThreadsRequest' is true.

Sourcemodule Modules_command : sig ... end

Modules can be retrieved from the debug adapter with this request which can either return all modules or a range of modules to support paging. Clients should only call this request if the capability 'supportsModulesRequest' is true.

Sourcemodule Loaded_sources_command : sig ... end

Retrieves the set of all sources currently loaded by the debugged process. Clients should only call this request if the capability 'supportsLoadedSourcesRequest' is true.

Sourcemodule Evaluate_command : sig ... end

Evaluates the given expression in the context of the top most stack frame. The expression has access to any variables and arguments that are in scope.

Sourcemodule Set_expression_command : sig ... end

Evaluates the given 'value' expression and assigns it to the 'expression' which must be a modifiable l-value. The expressions have access to any variables and arguments that are in scope of the specified frame. Clients should only call this request if the capability 'supportsSetExpression' is true.

Sourcemodule Step_in_targets_command : sig ... end

This request retrieves the possible stepIn targets for the specified stack frame. These targets can be used in the 'stepIn' request. The StepInTargets may only be called if the 'supportsStepInTargetsRequest' capability exists and is true. Clients should only call this request if the capability 'supportsStepInTargetsRequest' is true.

Sourcemodule Goto_targets_command : sig ... end

This request retrieves the possible goto targets for the specified source location. These targets can be used in the 'goto' request. Clients should only call this request if the capability 'supportsGotoTargetsRequest' is true.

Sourcemodule Completions_command : sig ... end

Returns a list of possible completions for a given caret position and text. Clients should only call this request if the capability 'supportsCompletionsRequest' is true.

Sourcemodule Exception_info_command : sig ... end

Retrieves the details of the exception that caused this event to be raised. Clients should only call this request if the capability 'supportsExceptionInfoRequest' is true.

Sourcemodule Read_memory_command : sig ... end

Reads bytes from memory at the provided location. Clients should only call this request if the capability 'supportsReadMemoryRequest' is true.

Sourcemodule Disassemble_command : sig ... end

Disassembles code stored at the provided location. Clients should only call this request if the capability 'supportsDisassembleRequest' is true.

OCaml

Innovation. Community. Security.