package mopsa

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

Module Engine.MakeSource

Parameters

Signature

Sourcemodule Interface : sig ... end
Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Actions on the abstract domain

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

Actions on abstract domain

Sourcetype xaction =
  1. | Action : 'a return_action -> xaction
Sourceval action_range : 'a. 'a return_action -> Mopsa_utils.Location.range

Get the program location related to an action

Sourceval interface_action : 'a return_action -> Action.action

Interaction detection

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

Sourceval is_new_loc_action : 'a. Interface.state -> 'a return_action -> bool
Sourceval is_range_breakpoint : unit -> bool
Sourceval is_function_breakpoint : unit -> bool

Test if there is a breakpoint at a given function

Sourceval is_named_breakpoint : string -> bool
Sourceval is_alarm_breakpoint_active : unit -> bool
Sourceval is_interaction_point : Interface.state -> 'a return_action -> bool
Sourceval get_new_alarms : 'a return_action -> 'a -> Core.All.AlarmSet.t

Environment database

Sourceval envdb : t Envdb.envdb Stdlib.ref

Interactive engine

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

Sourceval apply_action : 'a. 'a return_action -> t Core.All.flow -> 'a

Apply an action on a flow and return its result

Sourceval interact : 'a. 'a return_action -> t Core.All.flow -> 'a

Wait for user input and process it

Sourceval interact_or_apply_action : 'a. 'a return_action -> Mopsa_utils.Location.range -> t Core.All.flow -> 'a

Interact with the user input or apply the action

Engine functions

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

Sourceval eval : ?route:Core.Route.route -> ?translate:Ast.Semantic.semantic -> ?translate_when:(Ast.Semantic.semantic * (Ast.Expr.expr -> bool)) list -> Ast.Expr.expr -> t Core.Flow.flow -> t Core.Eval.eval
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