ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.nested_class_imports._QualifyImportedNestedClasses Class Reference
Inheritance diagram for parser.nested_class_imports._QualifyImportedNestedClasses:
[legend]

Public Member Functions

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

Public Attributes

 renames = renames
 paths = paths
dict names = {name: (outer, node) for name, (outer, node) in from_imported.items()}
dict added = {}

Constructor & Destructor Documentation

◆ __init__()

parser.nested_class_imports._QualifyImportedNestedClasses.__init__ ( self,
renames,
paths,
from_imported )

Member Function Documentation

◆ visit_Attribute()

parser.nested_class_imports._QualifyImportedNestedClasses.visit_Attribute ( self,
node )

Member Data Documentation

◆ added

dict parser.nested_class_imports._QualifyImportedNestedClasses.added = {}

◆ names

dict parser.nested_class_imports._QualifyImportedNestedClasses.names = {name: (outer, node) for name, (outer, node) in from_imported.items()}

◆ paths

parser.nested_class_imports._QualifyImportedNestedClasses.paths = paths

◆ renames

parser.nested_class_imports._QualifyImportedNestedClasses.renames = renames

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