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

Classes

class  DataclassMixin

Variables

str _WALK = "__dataclass_walk"
str _VALUE = "__dataclass_value"
str _FIELD = "__dataclass_field"
str _ITEM = "__dataclass_item"
str _KEY = "__dataclass_key"

Detailed Description

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.

Variable Documentation

◆ _FIELD

str preprocessor.dataclass_mixin._FIELD = "__dataclass_field"
protected

◆ _ITEM

str preprocessor.dataclass_mixin._ITEM = "__dataclass_item"
protected

◆ _KEY

str preprocessor.dataclass_mixin._KEY = "__dataclass_key"
protected

◆ _VALUE

str preprocessor.dataclass_mixin._VALUE = "__dataclass_value"
protected

◆ _WALK

str preprocessor.dataclass_mixin._WALK = "__dataclass_walk"
protected