package mopsa

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

Module Progress.HookSource

Hook header

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

Sourceval name : string

Entries of the progress table

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

module RangeSet : sig ... end

Set of location ranges

Sourcetype entry = {
  1. name : string;
    (*

    Name of the function

    *)
  2. mutable range : Mopsa.range option;
    (*

    Location of the currently analyzed statement

    *)
  3. all_stmt_range_set : RangeSet.t;
    (*

    Location of all statements in the function body

    *)
  4. mutable analyzed_stmt_range_set : RangeSet.t;
    (*

    Locations of analyzed statements

    *)
  5. nb_all_stmt : int;
    (*

    Total number of statements

    *)
  6. mutable nb_analyzed_stmt : int;
    (*

    Number of analyzed statements

    *)
}

Entry of the progression table

Sourceval pp_entry : Stdlib.Format.formatter -> entry -> unit

Print an entry of the progress table

Utilities for moving the terminam cursor

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

Sourceval clear_line : unit -> unit

Clear the current line and move the cursor at its beginning

Sourceval up_line : unit -> unit

Move the cursor one line above

Progression table

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

Sourceval table : entry Stdlib.Stack.t

Progression table as a stack of entries

Sourceval get_function_statements : Lang.Ast.fundec -> RangeSet.t

Return the set of statements in the body of a function

Sourceval before_call : Lang.Ast.fundec -> unit

Insert a new entry in the progress table

Sourceval after_call : unit -> unit

Remove the head function from the progress table

Sourceval before_stmt : RangeSet.elt -> unit

Update the progress table before a statement is analyzed

Sourceval after_stmt : RangeSet.elt -> unit

Update the progress table after a statement is analyzed

Initialization

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

Sourceval init : 'a -> unit

Events handlers

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

Sourceval on_before_exec : 'a -> Mopsa.stmt -> 'b -> 'c -> unit
Sourceval on_after_exec : 'a -> Mopsa.stmt -> 'b -> 'c -> 'd -> unit
Sourceval on_before_eval : 'a -> 'b -> Mopsa.expr -> 'c -> 'd -> unit
Sourceval on_after_eval : 'a -> 'b -> Mopsa.expr -> 'c -> 'd -> 'e -> unit
Sourceval on_finish : 'a -> 'b -> 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