ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.generator_mixin.GeneratorMixin._YieldReplacer Class Reference
Inheritance diagram for preprocessor.generator_mixin.GeneratorMixin._YieldReplacer:
[legend]

Public Member Functions

 __init__ (self, target_name, body_dest, source_node)
 visit_YieldFrom (self, node)
 visit_Expr (self, node)

Public Attributes

 target_name = target_name
 body_dest = body_dest
 source_node = source_node

Constructor & Destructor Documentation

◆ __init__()

preprocessor.generator_mixin.GeneratorMixin._YieldReplacer.__init__ ( self,
target_name,
body_dest,
source_node )

Member Function Documentation

◆ visit_Expr()

preprocessor.generator_mixin.GeneratorMixin._YieldReplacer.visit_Expr ( self,
node )

◆ visit_YieldFrom()

preprocessor.generator_mixin.GeneratorMixin._YieldReplacer.visit_YieldFrom ( self,
node )

Member Data Documentation

◆ body_dest

preprocessor.generator_mixin.GeneratorMixin._YieldReplacer.body_dest = body_dest

◆ source_node

preprocessor.generator_mixin.GeneratorMixin._YieldReplacer.source_node = source_node

◆ target_name

preprocessor.generator_mixin.GeneratorMixin._YieldReplacer.target_name = target_name

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