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

Public Member Functions

 __init__ (self, module)
 lower (self, scope)

Public Attributes

 module = module
 bound = bound
 iterator_classes = _iterator_classes(module)
list helpers = []

Protected Member Functions

 _instances (self, scope)
 _iterator_source (self, call, instances)

Constructor & Destructor Documentation

◆ __init__()

preprocessor.iter_next_lowering._Lowering.__init__ ( self,
module )

Member Function Documentation

◆ _instances()

preprocessor.iter_next_lowering._Lowering._instances ( self,
scope )
protected
Names bound once in `scope` to a call of an iterator class.

◆ _iterator_source()

preprocessor.iter_next_lowering._Lowering._iterator_source ( self,
call,
instances )
protected
What `iter(E)` becomes: E's own __iter__() for an iterator instance,
else a per-site list iterator over list(E).

◆ lower()

preprocessor.iter_next_lowering._Lowering.lower ( self,
scope )
Lowers every eligible `g = iter(E)` directly in `scope`.

Member Data Documentation

◆ bound

preprocessor.iter_next_lowering._Lowering.bound = bound

◆ helpers

list preprocessor.iter_next_lowering._Lowering.helpers = []

◆ iterator_classes

preprocessor.iter_next_lowering._Lowering.iterator_classes = _iterator_classes(module)

◆ module

preprocessor.iter_next_lowering._Lowering.module = module

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