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

Public Member Functions

 __init__ (self, classes, instances, class_attributes, module_name)
 visit_Call (self, node)
 visit_Attribute (self, node)
 visit_Name (self, node)

Public Attributes

 classes = classes
 instances = instances
 class_attributes = class_attributes
 module_name = module_name
dict fields = {f for fields, _ in classes.values() for f in fields}

Constructor & Destructor Documentation

◆ __init__()

preprocessor.namedtuple_lowering._Lowering.__init__ ( self,
classes,
instances,
class_attributes,
module_name )

Member Function Documentation

◆ visit_Attribute()

preprocessor.namedtuple_lowering._Lowering.visit_Attribute ( self,
node )
The tuple element a field read selects.

◆ visit_Call()

preprocessor.namedtuple_lowering._Lowering.visit_Call ( self,
node )
The tuple a constructor call builds.

◆ visit_Name()

preprocessor.namedtuple_lowering._Lowering.visit_Name ( self,
node )
Refuse a use of a namedtuple class other than a constructor call.

Member Data Documentation

◆ class_attributes

preprocessor.namedtuple_lowering._Lowering.class_attributes = class_attributes

◆ classes

preprocessor.namedtuple_lowering._Lowering.classes = classes

◆ fields

dict preprocessor.namedtuple_lowering._Lowering.fields = {f for fields, _ in classes.values() for f in fields}

◆ instances

preprocessor.namedtuple_lowering._Lowering.instances = instances

◆ module_name

preprocessor.namedtuple_lowering._Lowering.module_name = module_name

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