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