Module `Lang.Utils`Source

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

val mk_builtin_raise_args : 
  string ->
  Mopsa.expr list ->
  Mopsa_utils.Location.range ->
  Mopsa.stmt

Source

val mk_builtin_raise_msg : 
  string ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.stmt

Source

val 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

Source

val mk_hasattr : 
  Mopsa.expr ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_object_hasattr : 
  (Mopsa.addr * Mopsa.expr option) ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_addr_hasattr : 
  Ast.Addr.addr ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_try_stopiteration : 
  Mopsa.stmt ->
  Mopsa.stmt ->
  Mopsa_utils.Location.range ->
  Mopsa.stmt

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

This statement will be created with the provided `range`

Source

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

Source

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

Sourceval strip_object : Mopsa.expr -> Mopsa.expr

Source

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

Source

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

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

Source

val get_eobj_itv : 
  ('a, 'b) Mopsa.man ->
  'a Core.Flow.flow ->
  Mopsa.expr ->
  Mopsa.ItvUtils.IntItv.t Mopsa.Bot.with_bot

Source

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

Source

val check : 
  ('a, 'b) Mopsa.man ->
  Mopsa.expr ->
  Mopsa_utils.Location.range ->
  'a Core.Flow.flow ->
  ('a, Ast.Expr.expr) Core.Cases.cases

Install

Dune Dependency

Authors

Maintainers

Sources

doc/python_lang/Python_lang/Lang/Utils/index.html

Module `Lang.Utils`Source

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/python_lang/Python_lang/Lang/Utils/index.html

Module Lang.UtilsSource

Module `Lang.Utils`Source