package mopsa

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

Parameters

Signature

val opt_show_var_scope : bool ref
type terminal_command_kind =
  1. | Break of string
    (*

    Add a breakpoint

    *)
  2. | Continue
    (*

    Stop at next breakpoint

    *)
  3. | MopsaBackTrace
    (*

    Returns the current backtrace of Mopsa

    *)
  4. | Next
    (*

    Stop at next statement and skip function calls

    *)
  5. | Step
    (*

    Step into function calls

    *)
  6. | Finish
    (*

    Finish current function

    *)
  7. | NextI
    (*

    Stop at next statement and skip nodes in the interpretation sub-tree

    *)
  8. | StepI
    (*

    Step into interpretation sub-tree

    *)
  9. | Print of (string * string option) list * (string * int) option
    (*

    Print the abstract state or the value of variables

    *)
  10. | Env of string list
    (*

    Print the current abstract environment, associated to token T_cur, eventually projected on a list of domains

    *)
  11. | State
    (*

    Print the current abstract state

    *)
  12. | Where
    (*

    Show current program point

    *)
  13. | Info of info_command
    (*

    Print extra information

    *)
  14. | Enable of enable_command
    (*

    Enable an option

    *)
  15. | Disable of enable_command
    (*

    Disable an option

    *)
  16. | Set of set_command * string
    (*

    Set an option

    *)
  17. | Unset of set_command
    (*

    Unset an option

    *)
  18. | BackTrace
    (*

    Print the callstack

    *)
  19. | LoadScript of string
  20. | Trace
  21. | Backward

Commands

and info_command =
  1. | Alarms
  2. | Breakpoints
  3. | Tokens
  4. | Variables
  5. | Context

Information sub-commands

and enable_command =
  1. | Hook of string

Enable/Disable sub-commands

and set_command =
  1. | Debug
  2. | Script
  3. | ShowVarScope

Set/Unset sub-commands

type terminal_command_redirection =
  1. | Pipe of string
  2. | File of string
type terminal_command = {
  1. kind : terminal_command_kind;
    (*

    Optional flag

    *)
  2. redirection : terminal_command_redirection option;
}

Commands

val pp_terminal_command_kind : Format.formatter -> terminal_command_kind -> unit

Print a command

val pp_terminal_command_redirection : Format.formatter -> terminal_command_redirection -> unit
val pp_terminal_command : Format.formatter -> terminal_command -> unit
val print_usage : unit -> unit

Print help message

val print_prompt : unit -> unit

Print input prompt

val linedit_ctx : Mopsa_utils.LineEdit.ctx

Context of LineEdit library

val last_prompt_commands : string list ref

Reference to the last commands read from the prompt

val commands_buffer : string Queue.t

Buffer of upcoming commands to execute

val script : out_channel option ref
val read_terminal_command_string : unit -> string
exception ReadNewCommand
val parse_command_kind : string -> 'a Core.All.Flow.flow -> terminal_command_kind
val parse_command_redirection : string -> string * terminal_command_redirection option
val read_terminal_command : (string -> 'a) -> 'b Core.All.Flow.flow -> terminal_command

Read the next command

Pretty printers

*******************

module Addr : sig ... end
module AddrSet : sig ... end
val dummy_range : Mopsa_utils.Location.range

Print value of variables

val init : unit -> unit
val reach : Action.action -> 'a -> 'b -> unit
val pp_alarms : Format.formatter -> Core.All.Alarm.alarm list -> unit
val alarm : Core.All.Alarm.alarm list -> 'a -> 'b -> 'c -> unit
val logger : string -> unit
val pp_output_command : Action.action -> 'a Envdb.envdb -> ('b, 'c) Core.All.man -> 'd Core.All.Flow.flow -> Format.formatter -> terminal_command_kind -> unit
val process_output_command : terminal_command -> Action.action -> 'a Envdb.envdb -> ('a, 'b) Core.All.man -> 'a Core.All.Flow.flow -> unit
val read_command : Action.action -> 'a Envdb.envdb -> ('b, 'b) Core.Manager.man -> 'c Core.All.Flow.flow -> Interface.command
val finish : 'a -> 'b -> unit
val error : exn -> unit
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