package mopsa

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

Module Lang.Utils

val debug : ('a, Format.formatter, unit, unit) format4 -> 'a
val partition_list_by_length : int -> 'a list -> 'a list * 'a list
val mk_builtin_raise : ?ssynthetic:bool -> string -> Mopsa_utils.Core.Location.range -> MopsaLib.stmt
val mk_builtin_raise_args : ?ssynthetic:bool -> string -> MopsaLib.expr list -> Mopsa_utils.Core.Location.range -> MopsaLib.stmt
val mk_builtin_raise_msg : ?ssynthetic:bool -> string -> string -> Mopsa_utils.Core.Location.range -> MopsaLib.stmt
val mk_builtin_call : ?esynthetic:bool -> string -> MopsaLib.expr list -> Mopsa_utils.Core.Location.range -> MopsaLib.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

val mk_hasattr : ?esynthetic:bool -> MopsaLib.expr -> string -> Mopsa_utils.Core.Location.range -> MopsaLib.expr
val mk_object_hasattr : ?esynthetic:bool -> (MopsaLib.addr * MopsaLib.expr option) -> string -> Mopsa_utils.Core.Location.range -> MopsaLib.expr
val mk_addr_hasattr : ?esynthetic:bool -> Framework.Core.Ast.Addr.addr -> string -> Mopsa_utils.Core.Location.range -> MopsaLib.expr
val mk_try_stopiteration : ?ssynthetic:bool -> MopsaLib.stmt -> MopsaLib.stmt -> Mopsa_utils.Core.Location.range -> MopsaLib.stmt

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

This statement will be created with the provided `range`

val strip_object : MopsaLib.expr -> MopsaLib.expr
val change_var_type : MopsaLib.typ -> MopsaLib.var -> MopsaLib.var
val change_evar_type : MopsaLib.typ -> MopsaLib.expr -> MopsaLib.expr
val extract_oobject : MopsaLib.expr -> MopsaLib.expr
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct