|
| | replace_filtered_genexp_arg (node) |
| | collect_range_aliases (module_node, seed=frozenset()) |
| | collect_range_wrappers (module_node) |
| | subscripts_name (node, name) |
| | dataclasses_module_names |
| | known_variable_types |
| | instance_class_map |
| | typing_module_names |
| | class_attr_annotations |
| | comprehension_targets |
| | module_name |
| | generator_emitted_init |
| | early_return_generator_funcs |
| | dict_items_vars |
| | early_return_generator_funcs |
| | newtype_vars |
| | generator_funcs |
| | list_literal_values |
| | dict_literal_values |
| | bound_method_vars |
| | functionParams |
| | module_name |
| | functionVarargs |
| | decimal_class_alias |
| | decimal_module_alias |
| | functionDefaults |
| | variable_annotations |
| | current_class_name |
| | dict_literal_vars |
| | known_variable_types = saved_known_types |
| | functools_reduce_names = found["reduce"] |
| | functools_module_names = found["module"] |
| | list_literal_values |
| | early_return_generator_funcs |
| tuple | dict_literal_values = (dict(before[0]), dict(before[1])) |
| | variable_annotations |
| | hoisted_classes = renames |
| | body |
| | name |
| | current_class_name = node.name |
| | is_entry_module |
| | blocked_type_functions |
| dict | fixed_receivers |
| dict | once_bound_names = {name for name, count in counts.items() if count == 1} |
| dict | module_statements = {id(stmt): stmt for stmt in module.body} |
| | class_attr_annotations |
| | numpy_module_names |
| | iterator_params |
| | iterator_classes |
| bool | is_range_loop = True |
| bool | helper_functions_added = True |
| | generator_vars |
| | generator_funcs |
| | module_name |
| | target_name = target_name |
| tuple | current_start_var |
| | imported_module_names |
| | shadowed_nondet_collections |
| | old = old |
| | new = new |
| | module_name |
| | fixed_receivers |
| | referenced_names = _referenced_names(node) |
| | variable_names = self._variable_names(node) |
| | scope_binding_counts = self._scope_binding_counts(node) |
| | iterator_classes = self._scan_iterator_classes(node) |
| | iterator_params = self._scan_iterator_params(node) |
| | module_class_names |
| | instance_var_classes |
| | attr_list_element_classes = self._scan_attr_list_element_classes(node) |
| | list_var_element_classes = self._scan_list_var_element_classes(node) |
| | body |
| | bases |
| dict | imported_module_names = {m for m in imports if imports.count(m) == 1} - others |
| | functionParams |
| | functionKwonlyParams |
| | functionDefaults |
| | static_methods |
| | functionVarargs |
| | is_entry_module |
| | helper_functions_added |
| | seq_iterator_index |
| | generator_func_defs |
| 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 |
| | old_name = old_name |
| | new_name = new_name |
| | typing_module_names |
| | type_aliases |
| bool | decimal_imported = True |
| | decimal_class_alias = alias.asname |
| bool | defaultdict_imported = True |
| | defaultdict_alias = alias.asname |
| bool | decimal_module_imported = True |
| | decimal_module_alias = alias.asname |
| bool | collections_module_imported = True |
| | collections_module_alias = alias.asname |
| | variable_annotations |
| Dict | variable_annotations [str, ast.AST] |
| Dict | known_variable_types [str, str] |
| Dict | class_attr_annotations [str, Dict[str, ast.AST]] |
| Dict | function_return_annotations [str, ast.AST] |
| Dict | instance_class_map [str, str] |
| Dict | het_dict_literals [str, ast.Dict] |
| Dict | het_value_dict_literals [str, ast.Dict] |
| Dict | dict_items_vars [str, ast.AST] |
| Set | dataclasses_module_names [str] |
| | visit_AsyncWith = visit_With |
| list | module_dunder_all | None |
| | _ensure_dataclass_initvar_import (self, module_node) |
| | _build_dataclass_field_helper_class (self, source_node) |
| | _build_dataclass_replace_error_helper (self, source_node) |
| | _build_dataclass_getattr_helper (self, source_node) |
| | _dataclass_api_kind_from_name (self, name) |
| | _dataclass_api_kind (self, node) |
| | _dataclass_instance_type_of_expr (self, expr) |
| | _dataclass_class_of_expr (self, expr) |
| | _annotation_class_name (self, annotation) |
| | _dataclass_field_specs (self, class_name) |
| | _build_recursive_dataclass_call (self, walk_name, value_expr, source_node) |
| | _build_static_known_dataclass_expr (self, kind, class_name, instance_expr, source_node) |
| | _walk_recurse_on_item (self, source_node) |
| | _build_walk_dict_comp (self, source_node) |
| | _build_walk_iter_call (self, builder, source_node) |
| | _build_walk_dataclass_expr (self, kind, source_node) |
| | _build_runtime_recursive_dataclass_expr (self, kind, instance_expr, source_node) |
| | _build_asdict_expr (self, class_name, instance_expr, source_node) |
| | _build_astuple_expr (self, class_name, instance_expr, source_node) |
| | _rewrite_dataclass_replace_call (self, instance_class, target, node) |
| | _rewrite_dataclass_fields_call (self, node, effective_class) |
| | _rewrite_is_dataclass_call (self, node, target, class_name, instance_class) |
| | _rewrite_dataclass_fields_kind (self, node, class_name, instance_class) |
| | _rewrite_dataclass_instance_kind (self, kind, node, target, instance_class) |
| | _rewrite_dataclass_api_call (self, node) |
| | _unwrap_annotation_slice (self, annotation) |
| | _is_dataclass_initvar_base (self, node) |
| | _is_typing_classvar_base (self, node) |
| | _analyze_dataclass_field_annotation (self, annotation) |
| | _get_post_init_method (self, class_node) |
| | _class_has_post_init_behavior (self, class_node) |
| | _class_defines_name (self, class_node, name) |
| | _validate_post_init_signature (self, class_node, fields, post_init_method) |
| | _dataclass_default_options (self) |
| | _field_spec (self, name, annotation, defaults, options) |
| | _parse_dataclass_bool_option (self, value, option_name) |
| | _parse_dataclass_options (self, class_node) |
| | _is_field_call (self, call_node) |
| | _parse_field_hash_value (self, value) |
| | _apply_field_keyword (self, kw, state) |
| | _parse_field_call (self, default_value) |
| | _build_init_args (self, class_node, fields) |
| | _build_init_field_rhs (self, class_node, field) |
| | _build_init_field_assigns (self, class_node, fields) |
| | _build_post_init_call_stmt (self, class_node, initvar_names) |
| | _build_tuple_from_fields (self, class_node, fields, predicate) |
| | _record_dataclass_attr_annotations (self, class_node, fields) |
| | _inject_dataclass_synth_methods (self, class_node, fields, dataclass_options, insert_index) |
| | _resolve_list_literal_iterable (self, iterable_expr) |
| | _rename_shadowing_targets (self, node) |
| | _hoist_shadowed_iter (self, gen_iter, bound_names, node) |
| | _lower_listcomp (self, node) |
| | _isolate_genexp_targets (self, genexp_node) |
| | _prepare_genexp (self, genexp_node) |
| | _combine_comprehension_ifs (self, ifs) |
| | _build_reduction_guard (self, tmp_name, source_node, negated) |
| | _build_genexp_for_body (self, generator, loop_body, guard, source_node) |
| | _finalize_lowered_genexp (self, for_stmt, source_node) |
| | _lower_reduction_genexp (self, genexp_node, reduction_stmt, state) |
| | _lower_any_genexp (self, genexp_node) |
| | _lower_all_genexp (self, genexp_node) |
| | _build_param_assigns (self, param_names, call_args, parent_node) |
| | _apply_yield_replacer (self, body_stmts, replacer_spec, func_name) |
| | _lower_list_gen_call (self, gen_call_node, parent_node) |
| | _has_early_return_before_yield (self, body) |
| | _transform_recursive_generator (self, node) |
| | _inline_generator_for (self, node) |
| | _inline_generator_call_for (self, node) |
| | _find_generator_next_call (self, node) |
| | _scan_generator_consumers (self, node) |
| | _consumers_in_order (self, var, scan, gen_defs) |
| | _collect_loop_yields (self, stmt, yields) |
| | _make_ternary_yield_value (self, stmt, if_val, else_val) |
| | _absorb_if_only_yields (self, if_init, if_yields, post, yields) |
| | _collect_if_yields (self, stmts, i, accum, in_loop) |
| | _collect_yields (self, stmts, in_loop=False) |
| | _make_stop_iteration_raise (self, template_node) |
| | _resolve_next_yield (self, gen_var, func_name) |
| | _inline_next_call (self, targets, func_name, gen_var, template_node) |
| | _lower_listcomp_in_expr (self, expr) |
| | _lower_sorted_with_key_call (self, call_node) |
| | _fold_dict_getitem_key (self, iterable, key_node) |
| | _const_element_value (self, node) |
| | _lower_min_max_with_key_call (self, call_node) |
| | _scan_unobservable_builtin_keys (cls, module_node) |
| | _scan_closed_lambda_bindings (cls, module_node) |
| | _resolve_lambda_key_name (self, key_kw) |
| | _const_scalar_list_literal (self, literal) |
| | _sorted_scan_key_supported (self, key_value, literal) |
| | _scan_key_argument (self, call_node, func_names) |
| | _key_indexes_element (self, key_value) |
| | _is_scan_supported (self, iterable_expr, key_value) |
| | _lower_sorted_key_iterable (self, call_node) |
| | _lower_sorted_key_scan (self, call_node) |
| | _lower_min_max_key_scan (self, call_node) |
| | _eval_const_key_values (self, key_node, elts) |
| | _eval_const_key_value (self, key_node, element) |
| | _eval_key_body (self, node, param, element) |
| | _const_dict_entry (self, node, param, element) |
| | _lower_tuple_sorted_pair_call (self, call_node) |
| | _maybe_rewrite_list_sort_with_key (self, expr_node) |
| | _lower_assert_eq_literal (self, test_node, source_node) |
| | _try_lower_expr_tuple_literal_eq (self, expr_side, tuple_side, source_node) |
| | _is_assert_literal_shape (self, node) |
| | _resolve_known_literal_expr (self, node) |
| | _is_pure_assert_expr (self, node) |
| | _build_assert_literal_checks (self, actual_expr, literal_node, source_node) |
| | _hoist_generator_inits (self, body, template_node) |
| | _get_dict_expr_from_items_call (self, call_node) |
| | _get_items_dict_expr (self, node, wrappers) |
| | _get_dict_view_call (self, node, attr) |
| | _try_transform_items_set_eq (self, set_side, literal_side, source_node) |
| | _try_transform_keys_view_eq (self, view_side, literal_side, source_node) |
| | _try_transform_values_view_eq (self, view_side, literal_side, source_node) |
| | _try_transform_items_list_eq (self, list_side, literal_side, source_node) |
| | _try_transform_list_tuple_eq (self, left_side, literal_side, source_node) |
| | _create_helper_functions (self) |
| | _is_newtype_call (self, call_node) |
| | _as_load_target (self, target, source_node) |
| | _update_assignment_call_origins (self, targets, value) |
| | _scan_eq_only_items_view_targets (self, body) |
| | _is_items_view_call (self, node) |
| | _items_view_receiver_name (self, node) |
| | _invalidate_list_literals_for_assign_targets (self, targets) |
| | _maybe_record_type_alias_assign (self, node) |
| | _update_known_literal_for_simple_assign (self, node) |
| | _maybe_rewrite_next_call_assign (self, node) |
| | _maybe_lower_listcomp_assign (self, node) |
| | _maybe_lower_dict_from_comprehension_assign (self, node) |
| | _rename_dictcomp_targets (self, comp) |
| | _rename_free_name (self, node, old, new) |
| | _rename_free_name_in_lambda (self, node, old, new) |
| | _rename_free_name_in_comprehension (self, node, old, new) |
| | _dictcomp_needs_loop (self, gen) |
| | _maybe_lower_dictcomp_over_items (self, node) |
| | _annotated_assign_for_value (self, target_id, node, was_defaultdict_call) |
| | _handle_single_target_assign (self, node) |
| | _record_defaultdict_assignment_target (self, node) |
| | _update_name_target_assignment_metadata (self, target_id, node) |
| | _track_call_result_bindings (self, target_id, node) |
| | _build_defaultdict_value_annotation (self, target_id, template) |
| | _handle_multi_target_assign (self, node) |
| | _track_literal_binding (self, name, value) |
| | _invalidate_list_literals_for_call (self, node) |
| | _maybe_rewrite_newtype_call (self, node) |
| | _track_bound_method (self, target, value, resolvable=True) |
| | _needs_no_method_value (self, target, value) |
| | _captures_receiver (self, target, value) |
| | _is_resolvable_unpacked_method (self, target, value, statement) |
| | _maybe_rewrite_bound_method_call (self, node) |
| | _maybe_rewrite_getattr_call (self, node) |
| | _record_staticmethod (self, node, qualified_name) |
| | _params_without_implicit_self (self, key) |
| | _resolve_function_signature (self, node) |
| | _scan_scope_builtin_shadows (self, scope_node) |
| | _scan_builtin_shadow_names (self, module_node) |
| | _enter_builtin_shadow_scope (self, node) |
| | _builtin_is_shadowed (self, name) |
| | _normalize_builtin_keyword_args (self, node) |
| | _build_keyword_map (self, node) |
| | _validate_kwonly_args (self, function_name, kwonly_args, keywords) |
| | _validate_positional_call_arity (self, node, function_name, expected_args) |
| | _validate_duplicate_positional_keyword (self, node, expected_args, keywords) |
| | _normalize_decimal_constructor_call (self, node) |
| | _maybe_rewrite_decimal_call (self, node) |
| | _fill_missing_args_with_defaults (self, node, function_name, expected_args, keywords) |
| | _apply_call_signature_defaults (self, node) |
| | _resolve_and_store_function_annotations (self, node) |
| | _prepare_generator_function (self, node) |
| | _record_function_param_types (self, node) |
| | _infer_dict_params_structurally (self, node) |
| | _recover_param_dict_annotation (self, func_name, param_index) |
| | _build_dict_annotation_from_literal (self, dict_node) |
| | _build_list_annotation_from_literal (self, list_node) |
| | _sized_matches_declared (self, sized, declared) |
| | _size_tuple_str_components (self, key_ann, tuples) |
| | _infer_dict_key_annotation (self, key_node) |
| | _build_qualified_function_name (self, node) |
| | _store_function_defaults (self, node, qualified_name) |
| | _lower_defaultdict_reads_in_target (self, node, lowered) |
| | _neutralize_sorted_items_view (self, node) |
| | _is_known_dict_name (self, name) |
| | _maybe_rewrite_dict_to_list_call (self, node) |
| | _subscript (self, ident, idx) |
| | _shortest_len (self, names) |
| | _zip_to_list (self, call) |
| | _enumerate_to_list (self, call) |
| | _maybe_rewrite_list_over_iterator (self, node) |
| | _maybe_rewrite_operator_dunder_call (self, node) |
| | _bind_call_arguments (self, node) |
| | _lower_starred_call_argument (self, node) |
| | _scan_starred_calls (self, node) |
| | _mark_starred_calls (self, scope, is_method, calls_to, loads) |
| | _locally_bound_names (self, node) |
| | _rewrite_humaneval_20_none_sentinel (self, node) |
| | _map_as_listcomp (self, call) |
| | _map_for_lowerable (self, node, call) |
| | _map_for_as_plain_for (self, node) |
| | _map_consumer_slot (self, stmt, name, call) |
| | _list_call_on (self, stmt, name) |
| | _inline_single_use_map (self, stmts, i, name_counts) |
| | _inline_single_use_maps (self, module) |
| | _rewrite_map_values (self, module) |
| | _scan_functools_reduce_names (self, module) |
| | _is_functools_reduce_call (self, node) |
| | _lower_functools_reduce (self, call) |
| | _transform_list_truthiness (self, test_expr, source_node) |
| | _move_test_prefix_into_body (self, node, prefix) |
| | _simplify_isinstance (self, node) |
| | _resolve_call_origin (self, node) |
| | _apply_assert_eq_rewrites (self, node) |
| | _extract_dict_method_element_type (self, iterable_node) |
| | _extract_dict_name_element_type (self, iterable_node) |
| | _extract_list_tuple_annotation_element_type (self, iterable_node) |
| | _build_var_class_map (self, module) |
| | _element_instance_class (self, elt) |
| | _homogeneous_list_class (self, list_node, class_names, var_classes) |
| | _collect_list_literal_classes (self, module, class_names, var_classes, list_classes) |
| | _collect_list_repetition_classes (self, module, class_names, var_classes, list_classes) |
| | _propagate_comprehension_classes (self, module, list_classes) |
| | _scan_list_var_element_classes (self, module) |
| | _scan_attr_list_element_classes (self, module) |
| | _extract_type_from_annotation (self, annotation) |
| | _get_iterable_type_annotation (self, iterable) |
| | _get_element_type_from_container (self, container_type, iterable_node=None) |
| | _hoist_from_class (self, cls, taken, renames) |
| | _can_hoist (self, cls, index, taken) |
| | _aliased_method (self, cls, index) |
| | _copy_is_exact (self, cls, method, alias) |
| | _class_body_binds (self, stmt, name) |
| | _binds_name (self, tree, name, skip=None) |
| | _cls_constructor_calls (self, member) |
| | _rebind_cls_calls (self, method, class_name) |
| | _method_owner (self, classes, node, name) |
| | _unbindable_classes (self, classes) |
| | _classmethod_heirs (self, classes, owner, name) |
| | _can_bind (self, member, targets) |
| | _bind_classmethod_constructors (self, module) |
| | _self_called_methods (self, member) |
| | _bind_overridden_method_calls (self, module) |
| | _receiver (self, method) |
| | _inherited_nested_classes (self, classes, cls, excluded) |
| | _escaped_classes (self, module, classes) |
| | _inherits_from (self, classes, cls, names) |
| | _bind_nested_classes_via_self (self, module) |
| | _calls_unresolved_attribute (self, classes, cls, method) |
| | _heirs_needing_copy (self, classes, owner, member) |
| | _runs_only_on_subclasses (self, module, classes, owner, member) |
| | _copy_methods_into_heirs (self, module) |
| | _bind_class_alias_calls (self, module) |
| | _bind_type_values (self, module) |
| | _unroll_class_tuples (self, module, known, counts) |
| | _hoist_lambda_arguments (self, module, counts) |
| | _lower_called_lambdas (self, module, known, counts) |
| | _specialise_one_function (self, module, known, counts) |
| | _specialise_requested_function (self, module, known, counts) |
| | _bind_local_type_values (self, module, known) |
| | _type_parameters (self, func, known, calls) |
| | _type_copy (self, func, name, bindings) |
| | _specialise_type_parameters (self, module, func, known, calls, taken) |
| | _scan_fixed_receivers (self, module) |
| | _record_exit_suppresses_all (self, class_node) |
| | _record_class_with_exit (self, class_node) |
| | _class_inherits_exit_handler (self, class_node) |
| | _collect_class_attr_annotations (self, class_node) |
| | _pre_annotate_items_loop_vars (self, node) |
| | _pre_annotate_enumerate_loop_vars (self, node) |
| | _is_reversed_range_call (self, iter_node) |
| | _transform_reversed_range (self, reversed_call) |
| | _forget_literals_changed_in_loop (self, loop) |
| | _lower_iterator_protocol_for (self, node) |
| | _is_nditer_call (self, expr) |
| | _nditer_source (self, expr) |
| | _unwrap_nditer_iter (self, expr) |
| | _record_nditer_with_targets (self, node) |
| | _lower_nditer_for (self, node) |
| | _constructs_iterator_class (self, expr) |
| | _lower_for_else (self, node) |
| | _visit_for_inner (self, node) |
| | _can_safely_unroll_list_literal_for (self, node, list_literal) |
| | _unroll_list_literal_for (self, node, list_literal) |
| | _transform_enumerate_for (self, node) |
| | _validate_enumerate_call (self, enumerate_call) |
| | _parse_enumerate_target (self, target) |
| | _reject_unsupported_loop (self, node, message) |
| | _nested_enumerate_source (self, node, arity) |
| | _count_nested_enumerate_for (self, node, target_info) |
| | _tuple_literal_enumerate_source (self, node) |
| | _unroll_enumerate_over_tuples (self, node, target_info, literal, start) |
| | _unroll_nested_enumerate_for (self, node, target_info) |
| | _parse_enumerate_arguments (self, enumerate_call, node) |
| | _validate_start_value (self, start_value) |
| | _create_enumerate_setup_statements (self, node, iterable, start_value, loop_id) |
| | _create_enumerate_while_loop (self, node, target_info, loop_id) |
| | _create_unpacking_loop_body (self, node, target_info, loop_id) |
| | _create_single_var_loop_body (self, node, target_info, loop_id) |
| | _create_increment_statements (self, node, loop_id) |
| | _transform_original_body (self, node) |
| | _transform_range_for (self, node) |
| | _transform_items_for (self, node) |
| | _any_ann (self) |
| | _uses_string_subscript (self, var_name, body) |
| | _key_used_as_subscript (self, var_name, body) |
| | _value_used_in_float_arith (self, var_name, body) |
| | _kv_types_from_annotation (self, annotation) |
| | _is_concrete_tuple_ann (self, ann_node) |
| | _literal_tuple_annotation_node (self, iterable_node) |
| | _full_tuple_annotation_node (self, iterable_node) |
| | _get_base_type_name (self, ann_node) |
| | _get_dict_kv_types (self, dict_var_name) |
| | _get_kv_types_from_call (self, call_node) |
| | _get_kv_types_from_attribute (self, attr_node) |
| | _get_kv_types_from_subscript (self, subscript_node) |
| | _create_dict_list_assign (self, node, var_name, dict_node, method, elem_ann) |
| | _create_var_subscript_assign (self, node, var_name, list_var, index_var, elem_ann) |
| | _emit_items_unpack (self, node, body, target_elt, list_var, index_var, elem_ann) |
| | _create_dict_size_assertion (self, node, keys_var, length_var) |
| | _materialize_for_iter (self, node, seq, loop_id, suffix="") |
| | _make_target_assign (self, node, target, iter_var_name, index_var, element_type) |
| | _make_index_step (self, node, index_var, step) |
| | _transform_reversed_for (self, node) |
| | _transform_filter_for (self, node) |
| | _transform_zip_for (self, node) |
| | _transform_iterable_for (self, node) |
| | _create_iter_assignment (self, node, annotation_id, iter_var_name, element_type, full_element_ann=None) |
| | _create_index_assignment (self, node, index_var="ESBMC_index") |
| | _create_length_assignment (self, node, iter_var_name, length_var="ESBMC_length") |
| | _create_while_condition (self, node, index_var="ESBMC_index", length_var="ESBMC_length") |
| | _create_loop_body (self, node, target_var_name, iter_var_name, index_var, element_type, full_element_ann=None) |
| | _create_index_increment (self, node, index_var="ESBMC_index") |
| | _infer_type_from_value (self, value) |
| | _infer_type_from_constant (self, constant_node) |
| | _infer_type_from_call (self, call_node) |
| | _copy_location_info (self, source_node, target_node) |
| | _next_unpack_tmp_id (self) |
| | _create_individual_assignment (self, target, value, source_node) |
| | _update_variable_types_simple (self, target, value) |
| | _handle_tuple_unpacking (self, target, value, source_node) |
| | _create_annotation_node_from_value (self, value) |
| | _nondet_callee_name (self, node) |
| | _nondet_generator_type (self, node) |
| | _is_user_nondet_generator (self, node) |
| | _is_nondet_generator (self, node) |
| | _nondet_list_builder (self, elem_node, resolve) |
| | _resolve_nondet_type (self, node, allowed, func_name, role) |
| | _parse_nondet_collection_call (self, call) |
| | _rewrite_nondet_collection_call (self, call) |
| | _create_annotation_from_call (self, call_node) |
| | _create_list_annotation (self, list_node) |
| | _create_dict_annotation (self, dict_node) |
| | _has_heterogeneous_keys (self, dict_node) |
| | _has_heterogeneous_values (self, dict_node) |
| | _infer_constant_type (self, node) |
| | _unroll_het_for (self, node, typed_elts) |
| | _transform_het_dict_for (self, node) |
| | _transform_het_values_for (self, node, dict_node) |
| | _infer_dict_key_type (self, key_node) |
| | _infer_dict_value_annotation (self, value_node) |
| | _create_subscript_annotation (self, subscript_node) |
| | _is_defaultdict_call (self, call_node) |
| | _get_defaultdict_factory (self, call_node) |
| | _make_defaultdict_missing_check (self, dict_name, key_node, factory_node, template) |
| | _is_defaultdict_key_initialized (self, dict_name, key_node) |
| | _record_defaultdict_key_initialized (self, dict_name, key_node) |
| | _lower_defaultdict_reads_in_expr (self, expr, template) |
| | _iter_module_scope (cls, root, shadow_names) |
| | _collect_module_const_ints (self, module_node) |
| | _fold_module_const_range_args (self, module_node) |
| | _rewrite_range_aliases (self, module_node, seed=frozenset()) |
| | _collect_param_subscripting_funcs (self, module_node) |
| | _inline_range_wrappers (self, module_node, seed=None) |
| | _rewrite_module_aliases (self, module_node) |
| | _scan_iterator_classes (self, node) |
| | _scan_iterator_params (self, node) |
| | _iterator_params_of (self, func, calls) |
| | _is_iterator_construction (self, expr) |
| | _scan_dict_literal_bindings_and_calls (self, node) |
| | _scan_imported_module_names (self, node) |
| | _scan_shadowed_nondet_collections (self, node) |
| | _collect_scope_dict_binds (self, stmts) |
| | _record_scope_calls (self, stmts, local_binds, local_names, module_binds) |
| | _record_numpy_import (self, node) |
| | _numpy_constructor_name (self, node) |
| | _bind_numpy_constructor_call (self, node) |
| | _bind_numpy_parameters (self, name, node) |
| | _spell_numpy_constructor_call (self, name, node, bound) |
| | _is_pure_numpy_argument (cls, node) |
| | _unpacked_linspace_call (self, node) |
| | _split_linspace_retstep (self, node) |
| | _retstep_bound_arguments (self, call) |
| | _seq_const_int (self, node) |
| | _range_static_len (self, call) |
| | _static_len_of (self, node) |
| | _scan_sequence_iterators (self, node) |
| | _track_static_seq_binding (self, node) |
| | _maybe_track_seq_iterator (self, node) |
| | _make_seq_next_stop (self, template) |
| | _build_seq_next (self, iter_var, targets, template) |
| | _maybe_rewrite_seq_next_assign (self, node) |
| | _maybe_rewrite_seq_next_expr (self, node) |
| | _collect_test_cases (cls, module_node, modules, case_names) |
| | _expand_main_calls (self, body, names, cases, index) |
| | _build_case_runs (self, cases, source, index) |
| | _inline_assertions (self, module_node, modules, case_names) |
| | _rebound_names (self, module_node) |
| | _is_plain_test_case (self, stmt, modules, known) |
| | _inline_method_assertions (self, method, overridden) |
| | _inline_in_body (self, body, receiver, overridden) |
| | _assertion_claims (self, stmt, receiver, overridden) |
| | _stage_arguments (self, call) |
| | _scan_module_vararg_defs (self, node) |
| | _scan_vararg_alias_calls (self, module) |
| | _vararg_alias_name (self, stmt, variadic) |
| | _resolve_vararg_alias_call (self, node) |
| | _drop_unused_vararg_aliases (self, module) |
| | _enter_vararg_scope (self, node) |
| | _exit_vararg_scope (self, node, saved_func_defs) |
| | _enclosing_vararg_scope (self) |
| | _record_vararg_function (self, node, qualified_name) |
| | _is_specializable_vararg_call (self, node, func_def) |
| | _is_specializable_vararg_arity (self, func_def, arity) |
| | _specialize_vararg_call (self, node) |
| | _call_imported_vararg_spec (self, node) |
| | _specialize_external_varargs (self) |
| | _import_used_vararg_specs (self, module) |
| | _specialized_vararg_def (self, name) |
| | _packed_params (self, func_def) |
| | _specialize_vararg_arguments (self, node) |
| | _param_call_arity (self, func_def, param) |
| | _vararg_specialization (self, func_def, extra, kwnames=()) |
| | _build_vararg_specialization (self, func_def, spec_name, extra, kwnames) |
| | _forwards_own_varargs (self, node) |
| | _names_bound_in (self, body) |
| | _spell_out_forwarded_varargs (self, spec, vararg_name, pad) |
| | _inject_vararg_specializations (self, node, owner_key=None) |
| | _scan_fixed_length_starred (self, module) |
| | _fixed_length_starred_params (self, scope, calls, parents, bind_counts, unsafe) |
| | _passed_display (self, call, index) |
| | _record_fixed_length_starred (self, stmt, later, bind_counts, unsafe, fixed) |
| | _expand_starred_call_args (self, node) |
| | _init_preprocessor_state (self, module_name) |
| | _rename_loads (self, node, old_name, new_name) |
| | _bound_target_names (self, target) |
| | _create_bool_ann_assign (self, target_name, value, source_node) |
| | _is_type_alias_expression (self, value) |
| | _copy_annotation_node (self, node) |
| | _resolve_annotation_aliases (self, annotation) |
| | _handle_decimal_importfrom (self, alias) |
| | _handle_collections_importfrom (self, alias) |
| | _handle_dataclasses_importfrom (self, alias) |
| | _handle_typing_importfrom (self, alias) |
| | _infer_type_from_subscript (self, subscript_node) |
| | _extract_full_type_string (self, type_node) |
| | _walk_isinstance_ifexp (type_name, body, orelse) |
| | _walker_two_arg_args () |
| | _partition_init_fields (fields) |
| | _build_init_positional_defaults (pos_fields) |
| | _validate_dataclass_field_ordering (class_node, fields) |
| | _strip_field_annassigns (class_node, fields) |
| | _compute_init_insert_index (class_node) |
| | _class_defines_method (class_node, method_name) |
| | _select_min_max_index (key_values, is_min) |
| | _unguard_starred_call (call) |
| | _is_recursive_call (func_name, body) |
| | _recursive_calls (func_name, body) |
| | _has_yield (node) |
| | _collect_post (stmts, start) |
| | _use_in_order (first, last, ctx, kind, only_loop) |
| | _dict_getitem_key_receiver (iterable, key_node) |
| | _pack_min_max_key_args (call_node) |
| | _is_scannable_key (key_value) |
| | _scan_key_call (key_value, bind_name, arg_expr) |
| | _inlinable_key_lambda (key_value) |
| | _binds_key (key_value) |
| | _inline_key_lambda (key_value, arg_expr) |
| | _single_key_keyword (call_node, allowed=()) |
| | _keyword_value (call_node, name) |
| | _sorted_reverse (call_node) |
| | _is_bool_constant (node) |
| | _literal_contains_tuple (literal) |
| | _param_subscript_index (node, param) |
| | _apply_builtin (name, value) |
| | _apply_arith (op, left, right) |
| | _const_scalar_value (node) |
| | _all_constants_distinct (elts) |
| | _is_sorted_const_list (elts, *, by="self") |
| | _build_stop_iteration_raise (source_node) |
| | _iter_own_scope_nodes (scope_node) |
| | _display_name (function_name) |
| | _decimal_from_single_arg (arg, decimal_module) |
| | _decimal_tuple_to_esbmc_args (decimal_tuple) |
| | _maybe_fold_as_integer_ratio (node) |
| | _normalize_math_gcd_lcm_variadic (node) |
| | _index_name_for (call) |
| | _load_name (ident, ctx=None) |
| | _builtin_call (func, args) |
| | _sequence_literal_elts (seq) |
| | _index_comprehension (idx, elt_parts, bound) |
| | _raising_call (node, message) |
| | _own_scope (root) |
| | _starred_name_operand (n) |
| | _is_sequence_annotation (ann) |
| | _passed_sequence (func_name, index, calls_to, loads) |
| | _restore_shadowed_literals (store, names, saved) |
| | _is_map_call (node) |
| | _is_pure_operand (node) |
| | _is_unpacking (node) |
| | _names (node, name) |
| | _functools_binding (node, alias) |
| | _is_inlinable_lambda (node) |
| | _list_element_class (elt, class_names, var_classes) |
| | _record_single_class (mapping, name, cls) |
| | _extract_str_method_element_type (iterable_node) |
| | _names_bound_by (node) |
| | _class_ancestry (classes, node) |
| | _class_defines (node, name) |
| | _indirect_attributes (module, classes) |
| | _top_level_classes (module) |
| | _names_mentioned (module) |
| | _recovers_classes (module) |
| | _is_name_copy (node) |
| | _module_level_nodes (module) |
| | _fold_class_generator (node, classes, copies, counts) |
| | _class_generator (node, counts) |
| | _known_classes (module, counts) |
| | _typing_any (module) |
| | _is_plain_function (stmt) |
| | _lambda_as_def (stmt, counts) |
| | _called_parameters (func) |
| | _module_level_calls (node) |
| | _replace_reads (nodes, name, value) |
| | _is_type_of_none (arg, known) |
| | _class_argument (call, func, index, known) |
| | _class_value (node, known) |
| | _class_tuple (node, known) |
| | _class_name (node, known) |
| | _drop_tuple_arguments (call, func, indexes, key) |
| | _construction (stmt) |
| | _assigned_attributes (module) |
| | _variable_names (module) |
| | _scope_binding_counts (module) |
| | _function_may_return_truthy (func_node) |
| | _return_may_be_truthy (value) |
| Optional[str] | _name_id_or_none (ast.AST node) |
| bool | _is_nullary_lambda (ast.AST node) |
| | _is_enumerate_preannotation_candidate (node) |
| | _is_constant_element (elt) |
| | _static_int_value (expr) |
| | _body_destructures_name (body, name) |
| | _is_zip_call (it) |
| | _is_filter_call (it) |
| | _is_reversed_call (it) |
| | _nondet_builder_call (builder, max_size_node) |
| | _nondet_collection_keywords (call, func_name) |
| | _nondet_builder_annotation (func_name) |
| | _defaultdict_key_signature (key_node) |
| | _target_names (target) |
| | _rebound_module_names (module_node) |
| | _bound_names_of (node) |
| | _scope_locally_binds (scope_node, names) |
| | _int_literal_value (node) |
| | _simple_single_return_defs (module_node) |
| | _collect_single_return_funcs (module_node) |
| | _capture_dunder_all (module_node) |
| | _binding_sites (module_node) |
| | _appears_before (module_node, name, stmt) |
| | _has_iter (cls, iterable) |
| | _names_bound_without_import (n) |
| | _walk_scope (stmts) |
| | _bind_arange_stop (node, bound) |
| | _reads_unpacked_target (node, bound) |
| | _linspace_step (bound, div) |
| | _is_dunder_iter_call (node) |
| | _seq_next_consumed_name (call) |
| | _ast_types (*names) |
| | _unittest_bindings (module_node) |
| | _is_test_case_base (base, modules, case_names) |
| | _is_test_method (node) |
| | _is_main_call (stmt, names) |
| | _assertion_call (stmt, receiver, overridden) |
| | _call (func) |
| | _has_star_import (module) |
| | _name_is_used (body, name) |
| | _sequence_display_length (value) |
| | _bound_names (node) |
| | _is_length_preserving_use (name, parent, grandparent, len_bound) |
| | _called_only_by (scope, calls, parents, bind_counts) |
| | _starred_reads (scope, name, parents, bind_counts) |
| | _sanitize_identifier_fragment (fragment) |
| | _body_has_node_shallow (body_stmts, node_type) |
| | _dataclass_is_dataclass_names |
| | _dataclass_fields_api_names |
| | _dataclass_asdict_names |
| | _dataclass_astuple_names |
| | _dataclass_replace_names |
| | _dataclass_class_specs |
| bool | _needs_dataclass_getattr_helper = True |
| bool | _needs_dataclass_replace_error_helper = True |
| bool | _needs_dataclass_field_helper = True |
| | _dataclass_decorator_names |
| | _dataclass_initvar_names |
| | _typing_classvar_names |
| | _classes_with_post_init |
| bool | _needs_dataclass_initvar_import = True |
| dict | _gen_next_blacklist |
| | _lower_sorted_with_key_call |
| | _lower_sorted_key_scan |
| | _single_return_funcs |
| | _known_literal_values |
| | _defaultdict_factory |
| | _defaultdict_factory |
| | _builtin_shadow_names = saved | self._scan_scope_builtin_shadows(node) |
| | _redefined_names |
| dict | _single_return_funcs |
| | _eq_only_items_view_targets = self._scan_eq_only_items_view_targets(node.body) |
| | _assignment_call_origins = saved_call_origins |
| | _is_pure_operand |
| | _subscript_inferred_vars |
| | _pending_method_default_inits |
| | _class_stack |
| | _exit_suppresses_all = set() |
| | _classes_with_exit = set() |
| int | _for_else_counter = counter + 1 |
| | _is_constant_element |
| int | _unpack_tmp_counter = current + 1 |
| | _names_bound_by |
| | _next_unpack_tmp_id |
| | _single_return_funcs = self._collect_single_return_funcs(node) |
| | _param_subscripting_funcs = self._collect_param_subscripting_funcs(node) |
| dict | _dict_param_call_shapes = {} |
| | _builtin_shadow_names = self._scan_builtin_shadow_names(node) |
| | _unobservable_builtin_keys = self._scan_unobservable_builtin_keys(node) |
| | _closed_lambda_bindings = self._scan_closed_lambda_bindings(node) |
| | _fixed_length_starred = self._scan_fixed_length_starred(node) |
| | _vararg_alias_calls = self._scan_vararg_alias_calls(node) |
| tuple | _eq_only_items_view_targets = (self._scan_eq_only_items_view_targets(node.body)) |
| | _needs_dataclass_initvar_import |
| | _needs_dataclass_field_helper |
| | _needs_dataclass_replace_error_helper |
| | _needs_dataclass_getattr_helper |
| | _assignment_call_origins = saved_call_origins |
| | _seq_iter_blacklist = set() |
| dict | _vararg_module_defs |
| dict | _vararg_once_bound = {name for name, count in bind_counts.items() if count == 1} |
| dict | _vararg_callee_defs |
| list | _vararg_alias_stmts = [] |
| | _vararg_func_defs |
| | _vararg_scope_stack |
| | _vararg_specializations |
| | _fixed_length_starred |
| 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 = [] |
| | _typing_imported_names |
1.15.0