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

Public Member Functions

 __init__ (self, result_var, source_node)
 visit_YieldFrom (self, node)
 visit_Expr (self, node)

Public Attributes

 result_var = result_var
 source_node = source_node

Constructor & Destructor Documentation

◆ __init__()

preprocessor.generator_mixin.GeneratorMixin._YieldToAppend.__init__ ( self,
result_var,
source_node )

Member Function Documentation

◆ visit_Expr()

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

◆ visit_YieldFrom()

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

Member Data Documentation

◆ result_var

preprocessor.generator_mixin.GeneratorMixin._YieldToAppend.result_var = result_var

◆ source_node

preprocessor.generator_mixin.GeneratorMixin._YieldToAppend.source_node = source_node

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