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

Public Member Functions

 __init__ (self, renames)
 visit_Attribute (self, node)

Public Attributes

 renames = renames

Detailed Description

Rewrite `Outer.Inner` to the hoisted class's module-level name.

Constructor & Destructor Documentation

◆ __init__()

preprocessor.class_context_mixin._QualifyNestedClasses.__init__ ( self,
renames )

Member Function Documentation

◆ visit_Attribute()

preprocessor.class_context_mixin._QualifyNestedClasses.visit_Attribute ( self,
node )

Member Data Documentation

◆ renames

preprocessor.class_context_mixin._QualifyNestedClasses.renames = renames

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