package dap

  1. Overview
  2. Docs

Module Debug_protocol.Goto_targets_commandSource

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.

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