generator_mixin.py File Reference

Classes
class	preprocessor.generator_mixin._GeneratorConsumerScan
class	preprocessor.generator_mixin.GeneratorMixin
class	preprocessor.generator_mixin.GeneratorMixin._YieldFromToFor
class	preprocessor.generator_mixin.GeneratorMixin._YieldToAppend
class	preprocessor.generator_mixin.GeneratorMixin._YieldReplacer

Namespaces
namespace	preprocessor
namespace	preprocessor.generator_mixin

Functions
	preprocessor.generator_mixin._is_contract_clause_call (expr)
	preprocessor.generator_mixin._is_next_of_name (expr)

Variables
tuple	preprocessor.generator_mixin.CONTRACT_CLAUSES = ("__ESBMC_requires", "__ESBMC_ensures")
tuple	preprocessor.generator_mixin._LOOPS = (ast.For, ast.AsyncFor, ast.While)