Module `Core.Utils`Source

Utility functions

val exec_cleaner : 
  Ast.Stmt.stmt ->
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  ('a, unit) Cases.cases

Source

val exec_cleaners : 
  ('a, 'b) Manager.man ->
  ('a, unit) Cases.cases ->
  ('a, unit) Cases.cases

Sourceval post_to_flow : ('a, 'b) Manager.man -> 'a Post.post -> 'a Flow.flow

Source

val assume : 
  Ast.Expr.expr ->
  ?route:Route.route ->
  ?translate:Ast.Semantic.semantic ->
  fthen:('a Flow.flow -> ('a, 'b) Cases.cases) ->
  felse:('a Flow.flow -> ('a, 'b) Cases.cases) ->
  ?fboth:('a Flow.flow -> 'a Flow.flow -> ('a, 'b) Cases.cases) ->
  ?fnone:('a Flow.flow -> 'a Flow.flow -> ('a, 'b) Cases.cases) ->
  ?eval:bool ->
  ('a, 'c) Manager.man ->
  'a Flow.flow ->
  ('a, 'b) Cases.cases

Source

val switch : 
  (Ast.Expr.expr list * ('a Flow.flow -> ('a, 'r) Cases.cases)) list ->
  ?route:Route.route ->
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  ('a, 'r) Cases.cases

Source

val set_env : 
  Token.token ->
  't ->
  ('a, 't) Manager.man ->
  'a Flow.flow ->
  'a Flow.flow

Sourceval get_env : Token.token -> ('a, 't) Manager.man -> 'a Flow.flow -> 't

Source

val map_env : 
  Token.token ->
  ('t -> 't) ->
  ('a, 't) Manager.man ->
  'a Flow.flow ->
  'a Flow.flow

Sourceval get_pair_fst : ('a, 'b * 'c) Manager.man -> 'a -> 'b

Sourceval set_pair_fst : ('a, 'b * 'c) Manager.man -> 'b -> 'a -> 'a

Sourceval get_pair_snd : ('a, 'b * 'c) Manager.man -> 'a -> 'c

Sourceval set_pair_snd : ('a, 'b * 'c) Manager.man -> 'c -> 'a -> 'a

Source

val env_exec : 
  ('a Flow.flow -> 'a Post.post) ->
  'a Context.ctx ->
  ('a, 't) Manager.man ->
  'a ->
  'a

Source

val ask_and_reduce_cases : 
  (('a, 'b) Query.query -> 'c -> ('d, 'b) Cases.cases) ->
  ('a, 'b) Query.query ->
  ?bottom:(unit -> 'b) ->
  'c ->
  'b

Source

val ask_and_reduce_list : 
  (('a, 'b) Query.query -> 'c -> ('d * 'b) list) ->
  ('a, 'b) Query.query ->
  ?bottom:(unit -> 'b) ->
  'c ->
  'b

Source

val ask_and_reduce : 
  (('a, 'b) Query.query -> 'c -> ('d, 'b) Cases.cases) ->
  ('a, 'b) Query.query ->
  ?bottom:(unit -> 'b) ->
  'c ->
  'b

Source

val find_var_by_name : 
  ?function_scope:string option ->
  string ->
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  Ast.Var.var

Sourceval dummy_range : Mopsa_utils.Location.range

Source

val pp_vars_info : 
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  Stdlib.Format.formatter ->
  Ast.Var.var list ->
  unit

Source

val pp_vars_info_by_name : 
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  Stdlib.Format.formatter ->
  string list ->
  unit

Source

val pp_expr_vars_info : 
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  Stdlib.Format.formatter ->
  Ast.Expr.expr ->
  unit

Source

val pp_stmt_vars_info : 
  ('a, 'b) Manager.man ->
  'a Flow.flow ->
  Stdlib.Format.formatter ->
  Ast.Stmt.stmt ->
  unit

Sourceval breakpoint : string -> ('a, 'b) Manager.man -> 'a Flow.flow -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/core/Core/Utils/index.html

Module `Core.Utils`Source

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/core/Core/Utils/index.html

Module Core.UtilsSource

Module `Core.Utils`Source