blob: 86ae3c28e878e0919703364bd378010cbced7a60 [file] [log] [blame]
Martin v. Löwis4d0d4712010-12-03 20:14:31 +00001#ifndef Py_LIMITED_API
Jeremy Hylton4b38da62001-02-02 18:19:15 +00002#ifndef Py_SYMTABLE_H
3#define Py_SYMTABLE_H
Neal Norwitz090b3dd2006-02-28 22:36:46 +00004
Jeremy Hylton4b38da62001-02-02 18:19:15 +00005#ifdef __cplusplus
6extern "C" {
7#endif
8
Nick Coghlan650f0d02007-04-15 12:05:43 +00009/* XXX(ncoghlan): This is a weird mix of public names and interpreter internal
10 * names.
11 */
12
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000013typedef enum _block_type { FunctionBlock, ClassBlock, ModuleBlock }
Neal Norwitz62c2fac2005-10-24 00:30:44 +000014 _Py_block_ty;
Jeremy Hylton4b38da62001-02-02 18:19:15 +000015
Jeremy Hyltoncb17ae82001-02-09 22:22:18 +000016struct _symtable_entry;
17
Jeremy Hylton4b38da62001-02-02 18:19:15 +000018struct symtable {
Victor Stinner14e461d2013-08-26 22:28:21 +020019 PyObject *st_filename; /* name of file being compiled,
Victor Stinner00676d12010-12-27 01:49:31 +000020 decoded from the filesystem encoding */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000021 struct _symtable_entry *st_cur; /* current symbol table entry */
22 struct _symtable_entry *st_top; /* symbol table entry for module */
23 PyObject *st_blocks; /* dict: map AST node addresses
24 * to symbol table entries */
25 PyObject *st_stack; /* list: stack of namespace info */
Eli Benderskydd97fbb2011-04-10 07:37:26 +030026 PyObject *st_global; /* borrowed ref to st_top->ste_symbols */
27 int st_nblocks; /* number of blocks used. kept for
28 consistency with the corresponding
29 compiler structure */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000030 PyObject *st_private; /* name of current class or NULL */
Eli Benderskydd97fbb2011-04-10 07:37:26 +030031 PyFutureFeatures *st_future; /* module's future features that affect
32 the symbol table */
Nick Coghlanaab9c2b2012-11-04 23:14:34 +100033 int recursion_depth; /* current recursion depth */
34 int recursion_limit; /* recursion limit */
Jeremy Hylton4b38da62001-02-02 18:19:15 +000035};
36
Jeremy Hyltoncb17ae82001-02-09 22:22:18 +000037typedef struct _symtable_entry {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000038 PyObject_HEAD
39 PyObject *ste_id; /* int: key in ste_table->st_blocks */
40 PyObject *ste_symbols; /* dict: variable names to flags */
41 PyObject *ste_name; /* string: name of current block */
Eli Benderskydd97fbb2011-04-10 07:37:26 +030042 PyObject *ste_varnames; /* list of function parameters */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000043 PyObject *ste_children; /* list of child blocks */
Benjamin Petersond9c87022012-10-31 20:26:20 -040044 PyObject *ste_directives;/* locations of global and nonlocal statements */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000045 _Py_block_ty ste_type; /* module, class, or function */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000046 int ste_nested; /* true if block is nested */
47 unsigned ste_free : 1; /* true if block has free variables */
48 unsigned ste_child_free : 1; /* true if a child block has free vars,
49 including free refs to globals */
50 unsigned ste_generator : 1; /* true if namespace is a generator */
Yury Selivanoveb636452016-09-08 22:01:51 -070051 unsigned ste_coroutine : 1; /* true if namespace is a coroutine */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000052 unsigned ste_varargs : 1; /* true if block has varargs */
53 unsigned ste_varkeywords : 1; /* true if block has varkeywords */
54 unsigned ste_returns_value : 1; /* true if namespace uses return with
55 an argument */
Benjamin Peterson312595c2013-05-15 15:26:42 -050056 unsigned ste_needs_class_closure : 1; /* for class scopes, true if a
57 closure over __class__
58 should be created */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000059 int ste_lineno; /* first line of block */
Benjamin Petersond4efd9e2010-09-20 23:02:10 +000060 int ste_col_offset; /* offset of first line of block */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000061 int ste_opt_lineno; /* lineno of last exec or import * */
Benjamin Petersond4efd9e2010-09-20 23:02:10 +000062 int ste_opt_col_offset; /* offset of last exec or import * */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000063 int ste_tmpname; /* counter for listcomp temp vars */
64 struct symtable *ste_table;
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000065} PySTEntryObject;
Jeremy Hyltoncb17ae82001-02-09 22:22:18 +000066
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000067PyAPI_DATA(PyTypeObject) PySTEntry_Type;
Jeremy Hyltoncb17ae82001-02-09 22:22:18 +000068
Christian Heimes90aa7642007-12-19 02:45:37 +000069#define PySTEntry_Check(op) (Py_TYPE(op) == &PySTEntry_Type)
Jeremy Hyltoncb17ae82001-02-09 22:22:18 +000070
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000071PyAPI_FUNC(int) PyST_GetScope(PySTEntryObject *, PyObject *);
Jeremy Hyltoncb17ae82001-02-09 22:22:18 +000072
Victor Stinner00676d12010-12-27 01:49:31 +000073PyAPI_FUNC(struct symtable *) PySymtable_Build(
74 mod_ty mod,
75 const char *filename, /* decoded from the filesystem encoding */
76 PyFutureFeatures *future);
Victor Stinner14e461d2013-08-26 22:28:21 +020077PyAPI_FUNC(struct symtable *) PySymtable_BuildObject(
78 mod_ty mod,
79 PyObject *filename,
80 PyFutureFeatures *future);
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000081PyAPI_FUNC(PySTEntryObject *) PySymtable_Lookup(struct symtable *, void *);
82
Mark Hammond91a681d2002-08-12 07:21:58 +000083PyAPI_FUNC(void) PySymtable_Free(struct symtable *);
Jeremy Hylton4b38da62001-02-02 18:19:15 +000084
Jeremy Hylton4b38da62001-02-02 18:19:15 +000085/* Flags for def-use information */
86
87#define DEF_GLOBAL 1 /* global stmt */
88#define DEF_LOCAL 2 /* assignment in code block */
89#define DEF_PARAM 2<<1 /* formal parameter */
Jeremy Hylton81e95022007-02-27 06:50:52 +000090#define DEF_NONLOCAL 2<<2 /* nonlocal stmt */
91#define USE 2<<3 /* name is used */
Benjamin Peterson78565b22009-06-28 19:19:51 +000092#define DEF_FREE 2<<4 /* name used but not defined in nested block */
93#define DEF_FREE_CLASS 2<<5 /* free variable from class's method */
94#define DEF_IMPORT 2<<6 /* assignment occurred via import */
Yury Selivanovf8cb8a12016-09-08 20:50:03 -070095#define DEF_ANNOT 2<<7 /* this name is annotated */
Jeremy Hylton4b38da62001-02-02 18:19:15 +000096
Jeremy Hylton99858b52001-02-28 23:03:39 +000097#define DEF_BOUND (DEF_LOCAL | DEF_PARAM | DEF_IMPORT)
98
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000099/* GLOBAL_EXPLICIT and GLOBAL_IMPLICIT are used internally by the symbol
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000100 table. GLOBAL is returned from PyST_GetScope() for either of them.
Jeremy Hylton81e95022007-02-27 06:50:52 +0000101 It is stored in ste_symbols at bits 12-15.
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000102*/
Nick Coghlan650f0d02007-04-15 12:05:43 +0000103#define SCOPE_OFFSET 11
Jeremy Hylton81e95022007-02-27 06:50:52 +0000104#define SCOPE_MASK (DEF_GLOBAL | DEF_LOCAL | DEF_PARAM | DEF_NONLOCAL)
Jeremy Hylton4b38da62001-02-02 18:19:15 +0000105
106#define LOCAL 1
107#define GLOBAL_EXPLICIT 2
108#define GLOBAL_IMPLICIT 3
109#define FREE 4
110#define CELL 5
111
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000112#define GENERATOR 1
113#define GENERATOR_EXPRESSION 2
Jeremy Hylton29906ee2001-02-27 04:23:34 +0000114
Jeremy Hylton4b38da62001-02-02 18:19:15 +0000115#ifdef __cplusplus
116}
117#endif
118#endif /* !Py_SYMTABLE_H */
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000119#endif /* Py_LIMITED_API */