package mopsa

  1. Overview
  2. Docs

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