ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.preprocessor_state_mixin.PreprocessorStateMixin Class Reference
Inheritance diagram for preprocessor.preprocessor_state_mixin.PreprocessorStateMixin:
[legend]

Public Attributes

str target_name = ""
dict functionDefaults = {}
 hoisted_default_names = set()
dict functionParams = {}
 module_name = module_name
bool is_range_loop = False
dict known_variable_types = {}
int range_loop_counter = 0
int iterable_loop_counter = 0
int enumerate_loop_counter = 0
 iterator_classes = set()
 iterator_params = set()
bool helper_functions_added = False
dict functionKwonlyParams = {}
 static_methods = set()
bool is_entry_module = False
dict hoisted_classes = {}
 functionVarargs = set()
dict external_vararg_arities = {}
dict exported_vararg_specs = {}
dict external_type_calls = {}
 blocked_type_functions = set()
 external_bound_names = set()
dict exported_type_specs = {}
int listcomp_counter = 0
 comprehension_targets = set()
 functools_reduce_names = set()
 functools_module_names = set()
int minmax_key_counter = 0
dict variable_annotations = {}
dict function_return_annotations = {}
dict class_attr_annotations = {}
dict instance_class_map = {}
dict attr_list_element_classes = {}
bool decimal_imported = False
bool decimal_module_imported = False
 decimal_class_alias = None
 decimal_module_alias = None
bool defaultdict_imported = False
 defaultdict_alias = None
bool collections_module_imported = False
 collections_module_alias = None
 numpy_module_names = set()
dict numpy_constructor_names = {}
 generator_funcs = set()
 early_return_generator_funcs = set()
dict generator_vars = {}
dict generator_func_defs = {}
dict generator_next_index = {}
 generator_emitted_init = set()
dict seq_iterator_length = {}
dict seq_iterator_index = {}
dict dict_items_vars = {}
dict het_dict_literals = {}
dict het_value_dict_literals = {}
 dict_literal_vars = set()
dict bound_method_vars = {}
dict fixed_receivers = {}
 once_bound_names = set()
dict module_statements = {}
 variable_names = set()
dict scope_binding_counts = {}
 in_order_bindings = set()
 called_names = set()
 referenced_names = set()
 shadowed_nondet_collections = set()
 imported_module_names = set()
dict list_literal_values = {}
dict dict_literal_values = {}
 newtype_vars = set()
dict newtype_names = {"NewType"}
 typing_module_names = set()
dict type_aliases = {}
dict dataclasses_module_names = {"dataclasses"}
 exported_range_aliases = set()
dict exported_range_wrappers = {}
 module_dunder_all = None

Protected Member Functions

 _init_preprocessor_state (self, module_name)

Protected Attributes

int _iter_counter = 0
 _builtin_shadow_names = None
 _unobservable_builtin_keys = frozenset()
dict _closed_lambda_bindings = {}
dict _fixed_length_starred = {}
dict _vararg_alias_calls = {}
list _vararg_alias_stmts = []
 _redefined_names = set()
dict _vararg_func_defs = {}
 _vararg_module_defs = set()
dict _vararg_callee_defs = {}
dict _vararg_specializations = {}
 _vararg_dropped_defs = set()
list _vararg_scope_stack = []
dict _vararg_def_owners = {}
dict _vararg_owner_specs = {}
dict _imported_vararg_specs = {}
dict _used_imported_vararg_specs = {}
 _vararg_once_bound = set()
 _subscript_inferred_vars = set()
 _gen_next_blacklist = set()
dict _static_seq_len = {}
 _seq_iter_blacklist = set()
dict _defaultdict_factory = {}
dict _defaultdict_initialized_keys = {}
dict _dict_param_call_shapes = {}
dict _single_return_funcs = {}
 _param_subscripting_funcs = set()
dict _assignment_call_origins = {}
 _eq_only_items_view_targets = set()
 _typing_imported_names = set()
int _with_counter = 0
int _unroll_counter = 0
dict _dataclass_decorator_names = {"dataclass"}
dict _dataclass_field_names = {"field"}
dict _dataclass_initvar_names = {"InitVar"}
dict _dataclass_is_dataclass_names = {"is_dataclass"}
dict _dataclass_fields_api_names = {"fields"}
dict _dataclass_asdict_names = {"asdict"}
dict _dataclass_astuple_names = {"astuple"}
dict _dataclass_replace_names = {"replace"}
dict _typing_classvar_names = {"ClassVar"}
 _classes_with_post_init = set()
dict _dataclass_class_specs = {}
bool _needs_dataclass_field_helper = False
bool _needs_dataclass_replace_error_helper = False
bool _needs_dataclass_getattr_helper = False
bool _needs_dataclass_initvar_import = False
int _assert_eq_counter = 0
dict _known_literal_values = {}
 _identity_functions = set()
list _pending_method_default_inits = []
list _class_stack = []

Member Function Documentation

◆ _init_preprocessor_state()

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._init_preprocessor_state ( self,
module_name )
protected

Member Data Documentation

◆ _assert_eq_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._assert_eq_counter = 0
protected

◆ _assignment_call_origins

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._assignment_call_origins = {}
protected

◆ _builtin_shadow_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._builtin_shadow_names = None
protected

◆ _class_stack

list preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._class_stack = []
protected

◆ _classes_with_post_init

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._classes_with_post_init = set()
protected

◆ _closed_lambda_bindings

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._closed_lambda_bindings = {}
protected

◆ _dataclass_asdict_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_asdict_names = {"asdict"}
protected

◆ _dataclass_astuple_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_astuple_names = {"astuple"}
protected

◆ _dataclass_class_specs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_class_specs = {}
protected

◆ _dataclass_decorator_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_decorator_names = {"dataclass"}
protected

◆ _dataclass_field_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_field_names = {"field"}
protected

◆ _dataclass_fields_api_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_fields_api_names = {"fields"}
protected

◆ _dataclass_initvar_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_initvar_names = {"InitVar"}
protected

◆ _dataclass_is_dataclass_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_is_dataclass_names = {"is_dataclass"}
protected

◆ _dataclass_replace_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dataclass_replace_names = {"replace"}
protected

◆ _defaultdict_factory

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._defaultdict_factory = {}
protected

◆ _defaultdict_initialized_keys

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._defaultdict_initialized_keys = {}
protected

◆ _dict_param_call_shapes

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._dict_param_call_shapes = {}
protected

◆ _eq_only_items_view_targets

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._eq_only_items_view_targets = set()
protected

◆ _fixed_length_starred

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._fixed_length_starred = {}
protected

◆ _gen_next_blacklist

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._gen_next_blacklist = set()
protected

◆ _identity_functions

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._identity_functions = set()
protected

◆ _imported_vararg_specs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._imported_vararg_specs = {}
protected

◆ _iter_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._iter_counter = 0
protected

◆ _known_literal_values

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._known_literal_values = {}
protected

◆ _needs_dataclass_field_helper

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._needs_dataclass_field_helper = False
protected

◆ _needs_dataclass_getattr_helper

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._needs_dataclass_getattr_helper = False
protected

◆ _needs_dataclass_initvar_import

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._needs_dataclass_initvar_import = False
protected

◆ _needs_dataclass_replace_error_helper

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._needs_dataclass_replace_error_helper = False
protected

◆ _param_subscripting_funcs

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._param_subscripting_funcs = set()
protected

◆ _pending_method_default_inits

list preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._pending_method_default_inits = []
protected

◆ _redefined_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._redefined_names = set()
protected

◆ _seq_iter_blacklist

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._seq_iter_blacklist = set()
protected

◆ _single_return_funcs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._single_return_funcs = {}
protected

◆ _static_seq_len

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._static_seq_len = {}
protected

◆ _subscript_inferred_vars

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._subscript_inferred_vars = set()
protected

◆ _typing_classvar_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._typing_classvar_names = {"ClassVar"}
protected

◆ _typing_imported_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._typing_imported_names = set()
protected

◆ _unobservable_builtin_keys

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._unobservable_builtin_keys = frozenset()
protected

◆ _unroll_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._unroll_counter = 0
protected

◆ _used_imported_vararg_specs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._used_imported_vararg_specs = {}
protected

◆ _vararg_alias_calls

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_alias_calls = {}
protected

◆ _vararg_alias_stmts

list preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_alias_stmts = []
protected

◆ _vararg_callee_defs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_callee_defs = {}
protected

◆ _vararg_def_owners

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_def_owners = {}
protected

◆ _vararg_dropped_defs

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_dropped_defs = set()
protected

◆ _vararg_func_defs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_func_defs = {}
protected

◆ _vararg_module_defs

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_module_defs = set()
protected

◆ _vararg_once_bound

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_once_bound = set()
protected

◆ _vararg_owner_specs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_owner_specs = {}
protected

◆ _vararg_scope_stack

list preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_scope_stack = []
protected

◆ _vararg_specializations

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._vararg_specializations = {}
protected

◆ _with_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin._with_counter = 0
protected

◆ attr_list_element_classes

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.attr_list_element_classes = {}

◆ blocked_type_functions

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.blocked_type_functions = set()

◆ bound_method_vars

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.bound_method_vars = {}

◆ called_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.called_names = set()

◆ class_attr_annotations

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.class_attr_annotations = {}

◆ collections_module_alias

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.collections_module_alias = None

◆ collections_module_imported

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.collections_module_imported = False

◆ comprehension_targets

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.comprehension_targets = set()

◆ dataclasses_module_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.dataclasses_module_names = {"dataclasses"}

◆ decimal_class_alias

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.decimal_class_alias = None

◆ decimal_imported

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.decimal_imported = False

◆ decimal_module_alias

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.decimal_module_alias = None

◆ decimal_module_imported

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.decimal_module_imported = False

◆ defaultdict_alias

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.defaultdict_alias = None

◆ defaultdict_imported

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.defaultdict_imported = False

◆ dict_items_vars

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.dict_items_vars = {}

◆ dict_literal_values

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.dict_literal_values = {}

◆ dict_literal_vars

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.dict_literal_vars = set()

◆ early_return_generator_funcs

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.early_return_generator_funcs = set()

◆ enumerate_loop_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.enumerate_loop_counter = 0

◆ exported_range_aliases

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.exported_range_aliases = set()

◆ exported_range_wrappers

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.exported_range_wrappers = {}

◆ exported_type_specs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.exported_type_specs = {}

◆ exported_vararg_specs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.exported_vararg_specs = {}

◆ external_bound_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.external_bound_names = set()

◆ external_type_calls

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.external_type_calls = {}

◆ external_vararg_arities

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.external_vararg_arities = {}

◆ fixed_receivers

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.fixed_receivers = {}

◆ function_return_annotations

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.function_return_annotations = {}

◆ functionDefaults

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.functionDefaults = {}

◆ functionKwonlyParams

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.functionKwonlyParams = {}

◆ functionParams

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.functionParams = {}

◆ functionVarargs

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.functionVarargs = set()

◆ functools_module_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.functools_module_names = set()

◆ functools_reduce_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.functools_reduce_names = set()

◆ generator_emitted_init

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.generator_emitted_init = set()

◆ generator_func_defs

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.generator_func_defs = {}

◆ generator_funcs

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.generator_funcs = set()

◆ generator_next_index

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.generator_next_index = {}

◆ generator_vars

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.generator_vars = {}

◆ helper_functions_added

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.helper_functions_added = False

◆ het_dict_literals

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.het_dict_literals = {}

◆ het_value_dict_literals

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.het_value_dict_literals = {}

◆ hoisted_classes

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.hoisted_classes = {}

◆ hoisted_default_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.hoisted_default_names = set()

◆ imported_module_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.imported_module_names = set()

◆ in_order_bindings

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.in_order_bindings = set()

◆ instance_class_map

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.instance_class_map = {}

◆ is_entry_module

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.is_entry_module = False

◆ is_range_loop

bool preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.is_range_loop = False

◆ iterable_loop_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.iterable_loop_counter = 0

◆ iterator_classes

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.iterator_classes = set()

◆ iterator_params

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.iterator_params = set()

◆ known_variable_types

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.known_variable_types = {}

◆ list_literal_values

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.list_literal_values = {}

◆ listcomp_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.listcomp_counter = 0

◆ minmax_key_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.minmax_key_counter = 0

◆ module_dunder_all

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.module_dunder_all = None

◆ module_name

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.module_name = module_name

◆ module_statements

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.module_statements = {}

◆ newtype_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.newtype_names = {"NewType"}

◆ newtype_vars

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.newtype_vars = set()

◆ numpy_constructor_names

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.numpy_constructor_names = {}

◆ numpy_module_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.numpy_module_names = set()

◆ once_bound_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.once_bound_names = set()

◆ range_loop_counter

int preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.range_loop_counter = 0

◆ referenced_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.referenced_names = set()

◆ scope_binding_counts

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.scope_binding_counts = {}

◆ seq_iterator_index

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.seq_iterator_index = {}

◆ seq_iterator_length

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.seq_iterator_length = {}

◆ shadowed_nondet_collections

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.shadowed_nondet_collections = set()

◆ static_methods

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.static_methods = set()

◆ target_name

str preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.target_name = ""

◆ type_aliases

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.type_aliases = {}

◆ typing_module_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.typing_module_names = set()

◆ variable_annotations

dict preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.variable_annotations = {}

◆ variable_names

preprocessor.preprocessor_state_mixin.PreprocessorStateMixin.variable_names = set()

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