Module `Dap.Make`Source

Variables references

Parameters

module Toplevel : Toplevel.TOPLEVEL

Signature

Sourcetype value =

| Leaf of string
| Compound of int

Sourceval vref_counter : int Stdlib.ref

Sourceval compute_vrefs : Core.All.print_object -> (string * value) list IntMap.t

Source

val compute_scopes_vrefs : 
  Core.All.print_object ->
  (string * value) list IntMap.t * (string * int) list

Sourceval vrefs : (string * value) list IntMap.t Stdlib.ref

JSON processing

Sourceval read_json_DAP : unit -> Yojson.Basic.t

Reading the request from the standard input

Sourceval write_json_DAP : Yojson.Basic.t -> unit

Answering on stdin

Sourceval extract_command : Yojson__Basic.t -> string

Extraction functions for some JSON fields

Sourceval extract_seq : Yojson__Basic.t -> int

Sourceval extract_varref : Yojson__Basic.t -> int

Sourceval extract_path : Yojson__Basic.t -> string

Sourceval extract_breakpoints : Yojson__Basic.t -> Yojson__Basic.t list

Sourceval extract_line_breakpoint : Yojson__Basic.t -> int

Sourceval extract_name : Yojson__Basic.t -> string

Sourceval extract_expression : Yojson__Basic.t -> string

Sourceval extract_file : Yojson__Basic.t -> string

Sourceval extract_line : Yojson__Basic.t -> int

Sourceval create_response : Yojson__Basic.t -> Yojson.Basic.t -> Yojson.Basic.t

Sourceval create_event : string -> Yojson.Basic.t -> Yojson.Basic.t

Sourceval create_body_stopped : string -> Yojson.Basic.t

Source

val createFrame : 
  int ->
  string ->
  int ->
  int ->
  string ->
  string ->
  Yojson.Basic.t

Sourceval createScope : string -> int -> Yojson.Basic.t

Source

val createVariable : 
  string ->
  value ->
  [> `Assoc of (string * [> `Int of int | `String of string ]) list ]

Sourceval body_initilize : Yojson.Basic.t

Sourceval body_threads : Yojson.Basic.t

Sourceval body_stackTrace : Yojson.Basic.t list -> Yojson.Basic.t

Sourceval body_scopes : (string * int) list -> Yojson.Basic.t

Sourceval body_variables : (string * value) list -> Yojson.Basic.t

Sourceval body_breakpoints : int -> Yojson.Basic.t

Sourceval body_empty_evaluate : Yojson.Basic.t

Sourceval body_evaluate : int -> Yojson.Basic.t

Sourceval report_of_alarms : Core.All.alarm list -> Core.All.report

Sourceval create_body_alarms_output : Core.All.alarm list -> Yojson.Basic.t

Source

val create_body_environment_output : 
  string ->
  int ->
  Yojson.Basic.t ->
  Yojson.Basic.t

Sourceval last_request : Yojson.Basic.t Stdlib.ref

Source

val breakpoints_from_request : 
  Yojson__Basic.t ->
  string * Breakpoint.breakpoint list

Extract breakpoints from request

Source

val function_breakpoints_from_request : 
  Yojson__Basic.t ->
  Breakpoint.breakpoint list

Extract functional breakpoints from request

Sourcetype dap_command =

| Initialize
(*
Initialize DA
*)
| Launch
(*
Launch DA
*)
| Threads
(*
Send list of current threads
*)
| StackTrace
(*
Send current stack trace
*)
| Scopes
(*
Send available scopes
*)
| Vars of int
(*
variables reference
*)
| Breaks of string * Breakpoint.breakpoint list
(*
Set breakpoints for file
*)
| FuncBreaks of Breakpoint.breakpoint list
(*
Set functional breakpoints
*)
| ExceptBreaks
(*
Set exceptional breakpoints
*)
| Continue
(*
Stop at next breakpoint
*)
| Next
(*
Stop at next statement and skip function calls
*)
| Step
(*
Step into function calls
*)
| Finish
(*
Finish current function
*)
| Evaluate of string
| Environment of string * int
| Disconnect

Commands

Sourceval last_command : dap_command option Stdlib.ref

The last entered command

Sourceval read_dap_command : unit -> dap_command

Read a command from input

Sourceval init : unit -> unit

Sourceval reach : Action.action -> 'a -> 'b -> unit

Sourceval alarm : Core.All.alarm list -> 'a -> 'b -> 'c -> unit

Sourceval dummy_range : Mopsa_utils.Location.range

Source

val read_command : 
  Action.action ->
  'a Envdb.envdb ->
  ('a, 'b) Core.All.man ->
  'a Core.All.Flow.flow ->
  Interface.command

Sourceval wait_disconnect : unit -> 'a

Sourceval finish : 'a -> 'b -> 'c

Sourceval error : exn -> 'a

Install

Dune Dependency

Authors

Maintainers

Sources

doc/interactive/Interactive/Dap/Make/index.html

Module `Dap.Make`Source

Parameters

Signature

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/interactive/Interactive/Dap/Make/index.html

Module Dap.MakeSource

Parameters

Signature

Module `Dap.Make`Source