|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | DataclassMixin |
Variables | |
| str | _WALK = "__dataclass_walk" |
| str | _VALUE = "__dataclass_value" |
| str | _FIELD = "__dataclass_field" |
| str | _ITEM = "__dataclass_item" |
| str | _KEY = "__dataclass_key" |
DataclassMixin — extracted from preprocessor.py. Contains all dataclass-expansion logic: detection, field collection, dunder generation (__init__, __repr__, __eq__, __hash__, ordering), AST helpers, the ``dataclasses`` API rewrite (asdict/astuple/fields/ is_dataclass/replace) and ``__post_init__`` validation. All shared state lives on Preprocessor (set in Preprocessor.__init__); this mixin only adds methods.
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |