package mopsa

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

Module Dap.MakeSource

Variables references

Parameters

Signature

Sourcetype value =
  1. | Leaf of string
  2. | Compound of int
Sourceval vref_counter : int Stdlib.ref
Sourceval compute_vrefs : Core.All.print_object -> (string * value) list IntMap.t
Sourceval 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
Sourceval createFrame : int -> string -> int -> int -> string -> string -> Yojson.Basic.t
Sourceval createScope : string -> int -> Yojson.Basic.t
Sourceval 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
Sourceval create_body_environment_output : string -> int -> Yojson.Basic.t -> Yojson.Basic.t
Sourceval last_request : Yojson.Basic.t Stdlib.ref
Sourceval breakpoints_from_request : Yojson__Basic.t -> string * Breakpoint.breakpoint list

Extract breakpoints from request

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

Extract functional breakpoints from request

Sourcetype dap_command =
  1. | Initialize
    (*

    Initialize DA

    *)
  2. | Launch
    (*

    Launch DA

    *)
  3. | Threads
    (*

    Send list of current threads

    *)
  4. | StackTrace
    (*

    Send current stack trace

    *)
  5. | Scopes
    (*

    Send available scopes

    *)
  6. | Vars of int
    (*

    variables reference

    *)
  7. | Breaks of string * Breakpoint.breakpoint list
    (*

    Set breakpoints for file

    *)
  8. | FuncBreaks of Breakpoint.breakpoint list
    (*

    Set functional breakpoints

    *)
  9. | ExceptBreaks
    (*

    Set exceptional breakpoints

    *)
  10. | Continue
    (*

    Stop at next breakpoint

    *)
  11. | Next
    (*

    Stop at next statement and skip function calls

    *)
  12. | Step
    (*

    Step into function calls

    *)
  13. | Finish
    (*

    Finish current function

    *)
  14. | Evaluate of string
  15. | Environment of string * int
  16. | 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 wait_disconnect : unit -> 'a
Sourceval finish : 'a -> 'b -> 'c
Sourceval error : exn -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct