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

Public Member Functions

 __init__ (self, names, subject)
 visit_Name (self, node)

Public Attributes

 names = names
 subject = subject

Detailed Description

Replace reads of the names a case binds with reads of the subject.

Constructor & Destructor Documentation

◆ __init__()

preprocessor.match_lowering._ReadSubject.__init__ ( self,
names,
subject )

Member Function Documentation

◆ visit_Name()

preprocessor.match_lowering._ReadSubject.visit_Name ( self,
node )
Read the subject where a bound name is read.

Member Data Documentation

◆ names

preprocessor.match_lowering._ReadSubject.names = names

◆ subject

preprocessor.match_lowering._ReadSubject.subject = subject

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