Module Lang.UtilsSource

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval partition_list_by_length : int -> 'a list -> 'a list * 'a list
Sourceval mk_builtin_raise : string -> Mopsa_utils.Location.range -> Mopsa.stmt
Sourceval mk_builtin_raise_args : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.stmt
Sourceval mk_builtin_raise_msg : string -> string -> Mopsa_utils.Location.range -> Mopsa.stmt
Sourceval mk_builtin_call : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.expr

Creates an AST block, tagged by `range`, representing the call of a builtin defined as `f` (a string), to which a list of parameters is passed

Sourceval mk_hasattr : Mopsa.expr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_object_hasattr : (Mopsa.addr * Mopsa.expr option) -> string -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_addr_hasattr : Ast.Addr.addr -> string -> Mopsa_utils.Location.range -> Mopsa.expr

Creates a block try: `body` except StopIteration: `except`

This statement will be created with the provided `range`

Sourceval 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
Sourceval 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
Sourceval strip_object : Mopsa.expr -> Mopsa.expr
Sourceval 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
Sourceval 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
Sourceval change_var_type : Mopsa.typ -> Mopsa.var -> Mopsa.var
Sourceval change_evar_type : Mopsa.typ -> Mopsa.expr -> Mopsa.expr
Sourceval extract_oobject : Mopsa.expr -> Mopsa.expr
Sourceval 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