|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | _QualifyNestedClasses |
| class | ClassContextMixin |
Functions | |
| _class_scope_nodes (node) | |
| _def_scope_nodes (scope) | |
| _runs_call (node) | |
| _identifiers (node) | |
| _only_called_as_method (module, target) | |
|
protected |
The nodes of a class-body statement that are evaluated in the class scope: not function or lambda bodies, nested class bodies, or the parts of a comprehension past its first iterable.
|
protected |
The nodes under `scope` outside any nested def, which the visit tracks as a scope of its own; a nested def is yielded but not entered.
|
protected |
The strings in the fields of `node`.
|
protected |
Whether the name `target` binds occurs in `module` only as the attribute called in `x.name(...)`, or not at all, as for a dunder that only an operator reaches. Any other use, such as comparing the bound method or naming it to getattr, can tell the copy from the original (#8356).
|
protected |
Whether evaluating `node` in a class body may call something.