package mopsa

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

Module Flows.Generators

Abstraction of generators

type MopsaLib.token +=
  1. | T_py_gen_start of Python.Lang.Ast.py_object
    (*

    Initial generator flows

    *)
  2. | T_py_gen_next of Python.Lang.Ast.py_object * MopsaLib.range
    (*

    Flows starting from a call to __next__ that should resume execution at the given location point

    *)
  3. | T_py_gen_yield of Python.Lang.Ast.py_object * MopsaLib.expr * MopsaLib.range
    (*

    Flow starting from a yield expression and suspended until reaching the calling next statement

    *)
  4. | T_py_gen_stop of Python.Lang.Ast.py_object
    (*

    Flows reaching the end of the generator

    *)
val mk_framed_var : MopsaLib.var -> (MopsaLib.addr * 'a) -> MopsaLib.var
module GenKey : sig ... end

The current generator being analyzed is stored in the context.

val generator_key : ('a, Python.Lang.Ast.py_object) Mopsa_analyzer__Framework__Core__Context.ctx_key
type MopsaLib.addr_kind +=
  1. | A_py_generator of Python.Lang.Ast.py_fundec
module Domain : sig ... end
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