package mopsa

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

Module type Hook.STATELESS_HOOK

Signature of a stateless hook

val name : string

Name of the hook

val init : 'a Context.ctx -> unit

Initialization of the hook

val on_before_exec : Core.Route.route -> Core.Ast.Stmt.stmt -> ('a, 'a) Manager.man -> 'a Core.Flow.flow -> unit

Event fired before an exec is performed

val on_after_exec : Core.Route.route -> Core.Ast.Stmt.stmt -> ('a, 'a) Manager.man -> 'a Core.Flow.flow -> 'a Core.Post.post -> unit

Event fired after an exec is performed

val on_before_eval : Core.Route.route -> Core.Ast.Semantic.semantic -> Core.Ast.Expr.expr -> ('a, 'a) Manager.man -> 'a Core.Flow.flow -> unit

Event fired before an eval is performed

val on_after_eval : Core.Route.route -> Core.Ast.Semantic.semantic -> Core.Ast.Expr.expr -> ('a, 'a) Manager.man -> 'a Core.Flow.flow -> 'a Eval.eval -> unit

Event fired after an eval is performed

val on_finish : ('a, 'a) Manager.man -> 'a Core.Flow.flow -> unit

Event fired after the analysis has terminated