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

Public Member Functions

 __init__ (self, coroutines, counts, module_name)
 visit_Expr (self, node)
 visit_Await (self, node)
 visit_Call (self, node)
 visit_Name (self, node)
 visit_AsyncFunctionDef (self, node)

Public Attributes

 coroutines = coroutines
 counts = counts
 module_name = module_name

Protected Member Functions

 _coroutine_call (self, node)
 _lower_call (self, call)

Constructor & Destructor Documentation

◆ __init__()

preprocessor.coroutine_lowering._Lowering.__init__ ( self,
coroutines,
counts,
module_name )

Member Function Documentation

◆ _coroutine_call()

preprocessor.coroutine_lowering._Lowering._coroutine_call ( self,
node )
protected

◆ _lower_call()

preprocessor.coroutine_lowering._Lowering._lower_call ( self,
call )
protected

◆ visit_AsyncFunctionDef()

preprocessor.coroutine_lowering._Lowering.visit_AsyncFunctionDef ( self,
node )

◆ visit_Await()

preprocessor.coroutine_lowering._Lowering.visit_Await ( self,
node )

◆ visit_Call()

preprocessor.coroutine_lowering._Lowering.visit_Call ( self,
node )

◆ visit_Expr()

preprocessor.coroutine_lowering._Lowering.visit_Expr ( self,
node )

◆ visit_Name()

preprocessor.coroutine_lowering._Lowering.visit_Name ( self,
node )

Member Data Documentation

◆ coroutines

preprocessor.coroutine_lowering._Lowering.coroutines = coroutines

◆ counts

preprocessor.coroutine_lowering._Lowering.counts = counts

◆ module_name

preprocessor.coroutine_lowering._Lowering.module_name = module_name

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