symtable entries should expose the scope attributes computed by the analysis

Feature or enhancement

The symbol table analysis computes a number of per-scope attributes that the compiler relies on, but does not expose them. I propose to add them as read-only attributes of the symbol table entries: is_generator, is_coroutine, has_annotations, has_conditional_annotations, needs_class_closure, needs_classdict, can_see_class_scope and annotation_block.

>>> import _symtable
>>> top = _symtable.symtable("async def f(): yield", "<string>", "exec")
>>> f = next(c for c in top.children if c.name == "f")
>>> f.is_generator, f.is_coroutine
(True, True)

A consumer currently has to re-derive these by walking the AST and replicating the exact rules of Python/symtable.c, which can change between versions. Trivially derivable attributes (like whether a function has a *args parameter or a docstring) are left out, but can be added later.

Linked PRs

• gh-153850

Inizia esaminando la PR collegata gh-153850, quindi leggi l’analisi dell’ambito in Python/symtable.c, che l’issue identifica come la fonte di questi attributi. Verifica che i valori richiesti siano esposti come attributi in sola lettura delle voci della tabella dei simboli e che la PR collegata copra i casi indicati.