ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.generator_mixin._GeneratorConsumerScan Class Reference

Public Member Functions

 __init__ (self, gen_defs, whole_value, new_scope, branching)
 visit (self, n, scope, ctx)

Public Attributes

 gen_defs = gen_defs
 whole_value = whole_value
 new_scope = new_scope
 branching = branching
list scopes = [{"all": set(), "stored": set(), "function": False}]
 func_scope
 bindings
 calls
dict stores = {}, {}, {}, {}

Protected Member Functions

 _record (self, n, scope, ctx)
 _is_generator_binding (self, n)
 _visit_scope (self, n)
 _child_ctx (self, n, field, ctx)

Static Protected Member Functions

 _params (fn)

Detailed Description

Per scope, the names used and stored, each `g = genfunc(...)` binding
and each `next(g)` call, with the context it runs in: "linear", "loop",
"try" or "branch".

Constructor & Destructor Documentation

◆ __init__()

preprocessor.generator_mixin._GeneratorConsumerScan.__init__ ( self,
gen_defs,
whole_value,
new_scope,
branching )

Member Function Documentation

◆ _child_ctx()

preprocessor.generator_mixin._GeneratorConsumerScan._child_ctx ( self,
n,
field,
ctx )
protected

◆ _is_generator_binding()

preprocessor.generator_mixin._GeneratorConsumerScan._is_generator_binding ( self,
n )
protected

◆ _params()

preprocessor.generator_mixin._GeneratorConsumerScan._params ( fn)
staticprotected

◆ _record()

preprocessor.generator_mixin._GeneratorConsumerScan._record ( self,
n,
scope,
ctx )
protected

◆ _visit_scope()

preprocessor.generator_mixin._GeneratorConsumerScan._visit_scope ( self,
n )
protected

◆ visit()

preprocessor.generator_mixin._GeneratorConsumerScan.visit ( self,
n,
scope,
ctx )

Member Data Documentation

◆ bindings

preprocessor.generator_mixin._GeneratorConsumerScan.bindings

◆ branching

preprocessor.generator_mixin._GeneratorConsumerScan.branching = branching

◆ calls

preprocessor.generator_mixin._GeneratorConsumerScan.calls

◆ func_scope

preprocessor.generator_mixin._GeneratorConsumerScan.func_scope

◆ gen_defs

preprocessor.generator_mixin._GeneratorConsumerScan.gen_defs = gen_defs

◆ new_scope

preprocessor.generator_mixin._GeneratorConsumerScan.new_scope = new_scope

◆ scopes

list preprocessor.generator_mixin._GeneratorConsumerScan.scopes = [{"all": set(), "stored": set(), "function": False}]

◆ stores

dict preprocessor.generator_mixin._GeneratorConsumerScan.stores = {}, {}, {}, {}

◆ whole_value

preprocessor.generator_mixin._GeneratorConsumerScan.whole_value = whole_value

The documentation for this class was generated from the following file: