ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.class_context_mixin Namespace Reference

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)

Function Documentation

◆ _class_scope_nodes()

preprocessor.class_context_mixin._class_scope_nodes ( node)
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.

◆ _def_scope_nodes()

preprocessor.class_context_mixin._def_scope_nodes ( scope)
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.

◆ _identifiers()

preprocessor.class_context_mixin._identifiers ( node)
protected
The strings in the fields of `node`.

◆ _only_called_as_method()

preprocessor.class_context_mixin._only_called_as_method ( module,
target )
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).

◆ _runs_call()

preprocessor.class_context_mixin._runs_call ( node)
protected
Whether evaluating `node` in a class body may call something.