package dap

  1. Overview
  2. Docs
Debug adapter protocol

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dap-1.0.1.tbz
sha256=2c1cb97ed697a3b3c236b3d6d42332193ed9e4f169845551d3690bfa8aa1f527
sha512=9653b7e91148b0a86c41084524dc52ac25e2062d0c39965ab6a916791e9149ca0459ad1e12a71f0670e1956e5295c08356c3bb26bf99090739763f3dbe1fcbdb

doc/dap.types/Debug_protocol/Goto_command/index.html

Module Debug_protocol.Goto_commandSource

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).

Sourceval type_ : string
Sourcemodule Arguments : sig ... end
Sourcemodule Result : sig ... end