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

Public Member Functions

 __init__ (self, names)
 visit_Attribute (self, node)

Public Attributes

 names = names

Detailed Description

Replace the method reads named by `names`, keyed by node id.

Constructor & Destructor Documentation

◆ __init__()

preprocessor.bound_method_values._Reads.__init__ ( self,
names )

Member Function Documentation

◆ visit_Attribute()

preprocessor.bound_method_values._Reads.visit_Attribute ( self,
node )

Member Data Documentation

◆ names

preprocessor.bound_method_values._Reads.names = names

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