Module `Terminal.Make`Source

Parameters

module Toplevel : Toplevel.TOPLEVEL

Signature

Sourceval opt_show_var_scope : bool Stdlib.ref

Sourcetype terminal_command_kind =

| Break of string
(*
Add a breakpoint
*)
| Continue
(*
Stop at next breakpoint
*)
| MopsaBackTrace
(*
Returns the current backtrace of Mopsa
*)
| Next
(*
Stop at next statement and skip function calls
*)
| Step
(*
Step into function calls
*)
| Finish
(*
Finish current function
*)
| NextI
(*
Stop at next statement and skip nodes in the interpretation sub-tree
*)
| StepI
(*
Step into interpretation sub-tree
*)
| Print of (string * string option) list * (string * int) option
(*
Print the abstract state or the value of variables
*)
| Env of string list
(*
Print the current abstract environment, associated to token T_cur, eventually projected on a list of domains
*)
| State
(*
Print the current abstract state
*)
| Where
(*
Show current program point
*)
| Info of info_command
(*
Print extra information
*)
| Enable of enable_command
(*
Enable an option
*)
| Disable of enable_command
(*
Disable an option
*)
| Set of set_command * string
(*
Set an option
*)
| Unset of set_command
(*
Unset an option
*)
| BackTrace
(*
Print the callstack
*)
| LoadScript of string
| Trace
| Backward

Commands

Sourceand info_command =

| Alarms
| Breakpoints
| Tokens
| Variables
| Context

Information sub-commands

Sourceand enable_command =

| Hook of string

Enable/Disable sub-commands

Sourceand set_command =

| Debug
| Script
| ShowVarScope

Set/Unset sub-commands

Sourcetype terminal_command_redirection =

| Pipe of string
| File of string

Sourcetype terminal_command = {

kind : terminal_command_kind;
(*
Optional flag
*)
redirection : terminal_command_redirection option;

}

Commands

Source

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

Print a command

Source

val pp_terminal_command_redirection : 
  Stdlib.Format.formatter ->
  terminal_command_redirection ->
  unit

Sourceval pp_terminal_command : Stdlib.Format.formatter -> terminal_command -> unit

Sourceval print_usage : unit -> unit

Print help message

Sourceval print_prompt : unit -> unit

Print input prompt

Sourceval linedit_ctx : Mopsa_utils.LineEdit.ctx

Context of LineEdit library

Sourceval last_prompt_commands : string list Stdlib.ref

Reference to the last commands read from the prompt

Sourceval commands_buffer : string Stdlib.Queue.t

Buffer of upcoming commands to execute

Sourceval script : Stdlib.out_channel option Stdlib.ref

Sourceval read_terminal_command_string : unit -> string

Sourceexception ReadNewCommand

Source

val parse_command_kind : 
  string ->
  'a Core.All.Flow.flow ->
  terminal_command_kind

Source

val parse_command_redirection : 
  string ->
  string * terminal_command_redirection option

Source

val read_terminal_command : 
  (string -> 'a) ->
  'b Core.All.Flow.flow ->
  terminal_command

Read the next command

Pretty printers

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

Sourcemodule Addr : sig ... end

Sourcemodule AddrSet : sig ... end

Sourceval dummy_range : Mopsa_utils.Location.range

Source

val pp_vars : 
  Stdlib.Format.formatter ->
  Action.action ->
  (Mopsa_utils.MapExt.StringMap.key * Mopsa_utils.MapExt.StringMap.key option)
    list ->
  ('a, 'b) Core.All.man ->
  'a Core.All.Flow.flow ->
  unit

Print value of variables

Sourceval init : unit -> unit

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

Sourceval pp_alarms : Stdlib.Format.formatter -> Core.All.Alarm.alarm list -> unit

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

Sourceval logger : string -> unit

Source

val pp_output_command : 
  Action.action ->
  'a Envdb.envdb ->
  ('a, 'b) Core.All.man ->
  'a Core.All.Flow.flow ->
  Stdlib.Format.formatter ->
  terminal_command_kind ->
  unit

Source

val process_output_command : 
  terminal_command ->
  Action.action ->
  'a Envdb.envdb ->
  ('a, 'b) Core.All.man ->
  'a Core.All.Flow.flow ->
  unit

Source

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

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

Sourceval error : exn -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Terminal.Make`Source

Parameters

Signature

Pretty printers

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Terminal.MakeSource

Parameters

Signature

Pretty printers

Module `Terminal.Make`Source