ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.path_dependent_attributes._Uses Class Reference

Public Member Functions

 __init__ (self)
 add (self, receiver, node)

Public Attributes

bool ok = True
 receivers = set()
list nodes = []
list stores = []
list calls = []

Detailed Description

Every use of one attribute name, or `ok` False when one is unsupported.

Constructor & Destructor Documentation

◆ __init__()

preprocessor.path_dependent_attributes._Uses.__init__ ( self)

Member Function Documentation

◆ add()

preprocessor.path_dependent_attributes._Uses.add ( self,
receiver,
node )

Member Data Documentation

◆ calls

list preprocessor.path_dependent_attributes._Uses.calls = []

◆ nodes

list preprocessor.path_dependent_attributes._Uses.nodes = []

◆ ok

bool preprocessor.path_dependent_attributes._Uses.ok = True

◆ receivers

preprocessor.path_dependent_attributes._Uses.receivers = set()

◆ stores

list preprocessor.path_dependent_attributes._Uses.stores = []

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