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

Public Member Functions

 __init__ (self, aliases)
 visit_Attribute (self, node)

Public Attributes

 aliases = aliases

Constructor & Destructor Documentation

◆ __init__()

preprocessor.dotted_imports._Rename.__init__ ( self,
aliases )

Member Function Documentation

◆ visit_Attribute()

preprocessor.dotted_imports._Rename.visit_Attribute ( self,
node )

Member Data Documentation

◆ aliases

preprocessor.dotted_imports._Rename.aliases = aliases

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