package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
val partition_list_by_length : int -> 'a list -> 'a list * 'a list
val mk_builtin_raise : string -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_raise_args : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_raise_msg : string -> string -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_call : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_hasattr : Mopsa.expr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_object_hasattr : (Mopsa.addr * Mopsa.expr option) -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_addr_hasattr : Ast.Addr.addr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_try_stopiteration : Mopsa.stmt -> Mopsa.stmt -> Mopsa_utils.Location.range -> Mopsa.stmt
val check_instances : ?arguments_after_check:int -> string -> ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa_utils.Location.range -> Ast.Expr.expr list -> string list -> (Mopsa.expr list -> 'a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) -> ('a, Ast.Expr.expr) Mopsa.Cases.cases
val check_instances_disj : ?arguments_after_check:int -> string -> ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa_utils.Location.range -> Ast.Expr.expr list -> string list list -> (Mopsa.expr list -> 'a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) -> ('a, Ast.Expr.expr) Mopsa.Cases.cases
val strip_object : Mopsa.expr -> Mopsa.expr
val new_wrapper : ('a, 'b) Mopsa.man -> Mopsa_utils.Location.range -> 'a Core.Flow.flow -> string -> Ast.Expr.expr -> fthennew:('a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) -> ('a, Ast.Expr.expr) Mopsa.Cases.cases option
val bind_list_args : ?cleaners:bool -> ('b, 'a) Core.Manager.man -> Mopsa.expr list -> 'b Mopsa.Flow.flow -> Mopsa_utils.Location.range -> (Mopsa.var list -> 'b Mopsa.flow -> ('b, 'c) Mopsa.Cases.cases) -> ('b, 'c) Mopsa.Cases.cases
val change_var_type : Mopsa.typ -> Mopsa.var -> Mopsa.var
val change_evar_type : Mopsa.typ -> Mopsa.expr -> Mopsa.expr
val extract_oobject : Mopsa.expr -> Mopsa.expr
val try_eval_expr : ?on_empty: (Mopsa.expr -> string -> Universal.Strings.Powerset.StringPower.t -> 'a Mopsa.Flow.flow -> 'a Mopsa.Eval.eval option) -> on_result:(Mopsa.expr -> 'a Mopsa.flow -> ('a, Mopsa.expr) Mopsa.cases) -> ('a, 'b) Mopsa.man -> ?route:Mopsa.Core.Route.route -> Ast.Expr.expr -> 'a Mopsa.flow -> ('a, Mopsa.expr) Mopsa.cases option
OCaml

Innovation. Community. Security.