Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 1 | /* Implementation helper: a struct that looks like a tuple. See timemodule |
| 2 | and posixmodule for example uses. */ |
| 3 | |
| 4 | #include "Python.h" |
Sergey Fedoseev | 234531b | 2019-02-25 21:59:12 +0500 | [diff] [blame] | 5 | #include "pycore_tupleobject.h" |
Pablo Galindo | 7ffcf84 | 2019-06-02 15:45:13 +0100 | [diff] [blame] | 6 | #include "pycore_object.h" |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 7 | #include "structmember.h" |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 8 | |
Serhiy Storchaka | 2d06e84 | 2015-12-25 19:53:18 +0200 | [diff] [blame] | 9 | static const char visible_length_key[] = "n_sequence_fields"; |
| 10 | static const char real_length_key[] = "n_fields"; |
| 11 | static const char unnamed_fields_key[] = "n_unnamed_fields"; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 12 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 13 | /* Fields with this name have only a field index, not a field name. |
Martin v. Löwis | f607bda | 2002-10-16 18:27:39 +0000 | [diff] [blame] | 14 | They are only allowed for indices < n_visible_fields. */ |
| 15 | char *PyStructSequence_UnnamedField = "unnamed field"; |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 16 | _Py_IDENTIFIER(n_sequence_fields); |
| 17 | _Py_IDENTIFIER(n_fields); |
| 18 | _Py_IDENTIFIER(n_unnamed_fields); |
Martin v. Löwis | f607bda | 2002-10-16 18:27:39 +0000 | [diff] [blame] | 19 | |
Christian Heimes | 90aa764 | 2007-12-19 02:45:37 +0000 | [diff] [blame] | 20 | #define VISIBLE_SIZE(op) Py_SIZE(op) |
Serhiy Storchaka | 56f6e76 | 2015-09-06 21:25:30 +0300 | [diff] [blame] | 21 | #define VISIBLE_SIZE_TP(tp) PyLong_AsSsize_t( \ |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 22 | _PyDict_GetItemId((tp)->tp_dict, &PyId_n_sequence_fields)) |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 23 | |
Serhiy Storchaka | 56f6e76 | 2015-09-06 21:25:30 +0300 | [diff] [blame] | 24 | #define REAL_SIZE_TP(tp) PyLong_AsSsize_t( \ |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 25 | _PyDict_GetItemId((tp)->tp_dict, &PyId_n_fields)) |
Christian Heimes | 90aa764 | 2007-12-19 02:45:37 +0000 | [diff] [blame] | 26 | #define REAL_SIZE(op) REAL_SIZE_TP(Py_TYPE(op)) |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 27 | |
Serhiy Storchaka | 56f6e76 | 2015-09-06 21:25:30 +0300 | [diff] [blame] | 28 | #define UNNAMED_FIELDS_TP(tp) PyLong_AsSsize_t( \ |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 29 | _PyDict_GetItemId((tp)->tp_dict, &PyId_n_unnamed_fields)) |
Christian Heimes | 90aa764 | 2007-12-19 02:45:37 +0000 | [diff] [blame] | 30 | #define UNNAMED_FIELDS(op) UNNAMED_FIELDS_TP(Py_TYPE(op)) |
Martin v. Löwis | ceaa77c | 2002-10-16 19:10:03 +0000 | [diff] [blame] | 31 | |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 32 | |
| 33 | PyObject * |
| 34 | PyStructSequence_New(PyTypeObject *type) |
| 35 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 36 | PyStructSequence *obj; |
Benjamin Peterson | ccabcd4 | 2010-07-07 20:54:01 +0000 | [diff] [blame] | 37 | Py_ssize_t size = REAL_SIZE_TP(type), i; |
Christian Heimes | d32ed6f | 2008-01-14 18:49:24 +0000 | [diff] [blame] | 38 | |
Benjamin Peterson | ccabcd4 | 2010-07-07 20:54:01 +0000 | [diff] [blame] | 39 | obj = PyObject_GC_NewVar(PyStructSequence, type, size); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 40 | if (obj == NULL) |
| 41 | return NULL; |
Benjamin Peterson | d02441e | 2010-07-08 22:33:03 +0000 | [diff] [blame] | 42 | /* Hack the size of the variable object, so invisible fields don't appear |
| 43 | to Python code. */ |
| 44 | Py_SIZE(obj) = VISIBLE_SIZE_TP(type); |
Benjamin Peterson | ccabcd4 | 2010-07-07 20:54:01 +0000 | [diff] [blame] | 45 | for (i = 0; i < size; i++) |
| 46 | obj->ob_item[i] = NULL; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 47 | |
Benjamin Peterson | ccabcd4 | 2010-07-07 20:54:01 +0000 | [diff] [blame] | 48 | return (PyObject*)obj; |
Thomas Wouters | ed03b41 | 2007-08-28 21:37:11 +0000 | [diff] [blame] | 49 | } |
| 50 | |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 51 | void |
| 52 | PyStructSequence_SetItem(PyObject* op, Py_ssize_t i, PyObject* v) |
| 53 | { |
| 54 | PyStructSequence_SET_ITEM(op, i, v); |
| 55 | } |
| 56 | |
| 57 | PyObject* |
| 58 | PyStructSequence_GetItem(PyObject* op, Py_ssize_t i) |
| 59 | { |
| 60 | return PyStructSequence_GET_ITEM(op, i); |
| 61 | } |
| 62 | |
Pablo Galindo | 7ffcf84 | 2019-06-02 15:45:13 +0100 | [diff] [blame] | 63 | |
| 64 | static int |
| 65 | structseq_traverse(PyStructSequence *obj, visitproc visit, void *arg) |
| 66 | { |
| 67 | Py_ssize_t i, size; |
| 68 | size = REAL_SIZE(obj); |
| 69 | for (i = 0; i < size; ++i) { |
| 70 | Py_VISIT(obj->ob_item[i]); |
| 71 | } |
| 72 | return 0; |
| 73 | } |
| 74 | |
Benjamin Peterson | d02441e | 2010-07-08 22:33:03 +0000 | [diff] [blame] | 75 | static void |
| 76 | structseq_dealloc(PyStructSequence *obj) |
| 77 | { |
| 78 | Py_ssize_t i, size; |
Eddie Elizondo | 364f0b0 | 2019-03-27 07:52:18 -0400 | [diff] [blame] | 79 | PyTypeObject *tp; |
Pablo Galindo | 3caf4de | 2019-06-02 21:52:49 +0100 | [diff] [blame] | 80 | PyObject_GC_UnTrack(obj); |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 81 | |
Eddie Elizondo | 364f0b0 | 2019-03-27 07:52:18 -0400 | [diff] [blame] | 82 | tp = (PyTypeObject *) Py_TYPE(obj); |
Benjamin Peterson | d02441e | 2010-07-08 22:33:03 +0000 | [diff] [blame] | 83 | size = REAL_SIZE(obj); |
| 84 | for (i = 0; i < size; ++i) { |
| 85 | Py_XDECREF(obj->ob_item[i]); |
| 86 | } |
| 87 | PyObject_GC_Del(obj); |
Eddie Elizondo | 364f0b0 | 2019-03-27 07:52:18 -0400 | [diff] [blame] | 88 | if (PyType_GetFlags(tp) & Py_TPFLAGS_HEAPTYPE) { |
| 89 | Py_DECREF(tp); |
| 90 | } |
Benjamin Peterson | d02441e | 2010-07-08 22:33:03 +0000 | [diff] [blame] | 91 | } |
| 92 | |
Serhiy Storchaka | 18b250f | 2017-03-19 08:51:07 +0200 | [diff] [blame] | 93 | /*[clinic input] |
| 94 | class structseq "PyStructSequence *" "NULL" |
| 95 | [clinic start generated code]*/ |
| 96 | /*[clinic end generated code: output=da39a3ee5e6b4b0d input=9d781c6922c77752]*/ |
| 97 | |
| 98 | #include "clinic/structseq.c.h" |
| 99 | |
| 100 | /*[clinic input] |
| 101 | @classmethod |
| 102 | structseq.__new__ as structseq_new |
| 103 | sequence as arg: object |
| 104 | dict: object = NULL |
| 105 | [clinic start generated code]*/ |
| 106 | |
Thomas Wouters | ed03b41 | 2007-08-28 21:37:11 +0000 | [diff] [blame] | 107 | static PyObject * |
Serhiy Storchaka | 18b250f | 2017-03-19 08:51:07 +0200 | [diff] [blame] | 108 | structseq_new_impl(PyTypeObject *type, PyObject *arg, PyObject *dict) |
| 109 | /*[clinic end generated code: output=baa082e788b171da input=9b44810243907377]*/ |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 110 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 111 | PyObject *ob; |
| 112 | PyStructSequence *res = NULL; |
| 113 | Py_ssize_t len, min_len, max_len, i, n_unnamed_fields; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 114 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 115 | arg = PySequence_Fast(arg, "constructor requires a sequence"); |
Michael W. Hudson | ce358e3 | 2002-03-06 17:07:49 +0000 | [diff] [blame] | 116 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 117 | if (!arg) { |
| 118 | return NULL; |
| 119 | } |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 120 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 121 | if (dict && !PyDict_Check(dict)) { |
| 122 | PyErr_Format(PyExc_TypeError, |
| 123 | "%.500s() takes a dict as second arg, if any", |
| 124 | type->tp_name); |
| 125 | Py_DECREF(arg); |
| 126 | return NULL; |
| 127 | } |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 128 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 129 | len = PySequence_Fast_GET_SIZE(arg); |
| 130 | min_len = VISIBLE_SIZE_TP(type); |
| 131 | max_len = REAL_SIZE_TP(type); |
| 132 | n_unnamed_fields = UNNAMED_FIELDS_TP(type); |
Michael W. Hudson | ce358e3 | 2002-03-06 17:07:49 +0000 | [diff] [blame] | 133 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 134 | if (min_len != max_len) { |
| 135 | if (len < min_len) { |
| 136 | PyErr_Format(PyExc_TypeError, |
Antoine Pitrou | 4b3c784 | 2012-02-15 02:52:58 +0100 | [diff] [blame] | 137 | "%.500s() takes an at least %zd-sequence (%zd-sequence given)", |
| 138 | type->tp_name, min_len, len); |
| 139 | Py_DECREF(arg); |
| 140 | return NULL; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 141 | } |
Michael W. Hudson | ce358e3 | 2002-03-06 17:07:49 +0000 | [diff] [blame] | 142 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 143 | if (len > max_len) { |
| 144 | PyErr_Format(PyExc_TypeError, |
Antoine Pitrou | 4b3c784 | 2012-02-15 02:52:58 +0100 | [diff] [blame] | 145 | "%.500s() takes an at most %zd-sequence (%zd-sequence given)", |
| 146 | type->tp_name, max_len, len); |
| 147 | Py_DECREF(arg); |
| 148 | return NULL; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 149 | } |
| 150 | } |
| 151 | else { |
| 152 | if (len != min_len) { |
| 153 | PyErr_Format(PyExc_TypeError, |
Antoine Pitrou | 4b3c784 | 2012-02-15 02:52:58 +0100 | [diff] [blame] | 154 | "%.500s() takes a %zd-sequence (%zd-sequence given)", |
| 155 | type->tp_name, min_len, len); |
| 156 | Py_DECREF(arg); |
| 157 | return NULL; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 158 | } |
| 159 | } |
Michael W. Hudson | ce358e3 | 2002-03-06 17:07:49 +0000 | [diff] [blame] | 160 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 161 | res = (PyStructSequence*) PyStructSequence_New(type); |
| 162 | if (res == NULL) { |
Antoine Pitrou | 37784ba | 2012-02-15 02:51:43 +0100 | [diff] [blame] | 163 | Py_DECREF(arg); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 164 | return NULL; |
| 165 | } |
| 166 | for (i = 0; i < len; ++i) { |
| 167 | PyObject *v = PySequence_Fast_GET_ITEM(arg, i); |
| 168 | Py_INCREF(v); |
| 169 | res->ob_item[i] = v; |
| 170 | } |
| 171 | for (; i < max_len; ++i) { |
| 172 | if (dict && (ob = PyDict_GetItemString( |
| 173 | dict, type->tp_members[i-n_unnamed_fields].name))) { |
| 174 | } |
| 175 | else { |
| 176 | ob = Py_None; |
| 177 | } |
| 178 | Py_INCREF(ob); |
| 179 | res->ob_item[i] = ob; |
| 180 | } |
| 181 | |
| 182 | Py_DECREF(arg); |
Pablo Galindo | 7ffcf84 | 2019-06-02 15:45:13 +0100 | [diff] [blame] | 183 | _PyObject_GC_TRACK(res); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 184 | return (PyObject*) res; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 185 | } |
| 186 | |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 187 | |
| 188 | static PyObject * |
| 189 | structseq_repr(PyStructSequence *obj) |
| 190 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 191 | PyTypeObject *typ = Py_TYPE(obj); |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 192 | _PyUnicodeWriter writer; |
Christian Heimes | d32ed6f | 2008-01-14 18:49:24 +0000 | [diff] [blame] | 193 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 194 | /* Write "typename(" */ |
| 195 | PyObject *type_name = PyUnicode_DecodeUTF8(typ->tp_name, |
| 196 | strlen(typ->tp_name), |
| 197 | NULL); |
| 198 | if (type_name == NULL) { |
Zackery Spytz | 93e8012 | 2019-03-22 01:24:34 -0600 | [diff] [blame] | 199 | return NULL; |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 200 | } |
Christian Heimes | d32ed6f | 2008-01-14 18:49:24 +0000 | [diff] [blame] | 201 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 202 | _PyUnicodeWriter_Init(&writer); |
| 203 | writer.overallocate = 1; |
| 204 | /* count 5 characters per item: "x=1, " */ |
| 205 | writer.min_length = (PyUnicode_GET_LENGTH(type_name) + 1 |
| 206 | + VISIBLE_SIZE(obj) * 5 + 1); |
Christian Heimes | d32ed6f | 2008-01-14 18:49:24 +0000 | [diff] [blame] | 207 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 208 | if (_PyUnicodeWriter_WriteStr(&writer, type_name) < 0) { |
| 209 | Py_DECREF(type_name); |
| 210 | goto error; |
| 211 | } |
| 212 | Py_DECREF(type_name); |
Christian Heimes | d32ed6f | 2008-01-14 18:49:24 +0000 | [diff] [blame] | 213 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 214 | if (_PyUnicodeWriter_WriteChar(&writer, '(') < 0) { |
| 215 | goto error; |
| 216 | } |
| 217 | |
| 218 | for (Py_ssize_t i=0; i < VISIBLE_SIZE(obj); i++) { |
| 219 | if (i > 0) { |
| 220 | /* Write ", " */ |
| 221 | if (_PyUnicodeWriter_WriteASCIIString(&writer, ", ", 2) < 0) { |
| 222 | goto error; |
| 223 | } |
| 224 | } |
| 225 | |
| 226 | /* Write "name=repr" */ |
| 227 | const char *name_utf8 = typ->tp_members[i].name; |
| 228 | if (name_utf8 == NULL) { |
Serhiy Storchaka | d53fe5f | 2019-03-13 22:59:55 +0200 | [diff] [blame] | 229 | PyErr_Format(PyExc_SystemError, "In structseq_repr(), member %zd name is NULL" |
Benjamin Peterson | d02441e | 2010-07-08 22:33:03 +0000 | [diff] [blame] | 230 | " for type %.500s", i, typ->tp_name); |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 231 | goto error; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 232 | } |
| 233 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 234 | PyObject *name = PyUnicode_DecodeUTF8(name_utf8, strlen(name_utf8), NULL); |
| 235 | if (name == NULL) { |
| 236 | goto error; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 237 | } |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 238 | if (_PyUnicodeWriter_WriteStr(&writer, name) < 0) { |
| 239 | Py_DECREF(name); |
| 240 | goto error; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 241 | } |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 242 | Py_DECREF(name); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 243 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 244 | if (_PyUnicodeWriter_WriteChar(&writer, '=') < 0) { |
| 245 | goto error; |
| 246 | } |
| 247 | |
| 248 | PyObject *value = PyStructSequence_GET_ITEM(obj, i); |
| 249 | assert(value != NULL); |
| 250 | PyObject *repr = PyObject_Repr(value); |
| 251 | if (repr == NULL) { |
| 252 | goto error; |
| 253 | } |
| 254 | if (_PyUnicodeWriter_WriteStr(&writer, repr) < 0) { |
| 255 | Py_DECREF(repr); |
| 256 | goto error; |
| 257 | } |
| 258 | Py_DECREF(repr); |
| 259 | } |
| 260 | |
| 261 | if (_PyUnicodeWriter_WriteChar(&writer, ')') < 0) { |
| 262 | goto error; |
| 263 | } |
| 264 | |
| 265 | return _PyUnicodeWriter_Finish(&writer); |
| 266 | |
| 267 | error: |
| 268 | _PyUnicodeWriter_Dealloc(&writer); |
| 269 | return NULL; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 270 | } |
| 271 | |
Victor Stinner | c70ab02 | 2019-03-20 00:05:51 +0100 | [diff] [blame] | 272 | |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 273 | static PyObject * |
Siddhesh Poyarekar | 55edd0c | 2018-04-30 00:29:33 +0530 | [diff] [blame] | 274 | structseq_reduce(PyStructSequence* self, PyObject *Py_UNUSED(ignored)) |
Michael W. Hudson | 7bb466a | 2002-03-05 13:27:58 +0000 | [diff] [blame] | 275 | { |
Victor Stinner | 9a146ee | 2013-07-17 13:41:39 +0200 | [diff] [blame] | 276 | PyObject* tup = NULL; |
| 277 | PyObject* dict = NULL; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 278 | PyObject* result; |
Serhiy Storchaka | 56f6e76 | 2015-09-06 21:25:30 +0300 | [diff] [blame] | 279 | Py_ssize_t n_fields, n_visible_fields, n_unnamed_fields, i; |
Michael W. Hudson | 7bb466a | 2002-03-05 13:27:58 +0000 | [diff] [blame] | 280 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 281 | n_fields = REAL_SIZE(self); |
| 282 | n_visible_fields = VISIBLE_SIZE(self); |
| 283 | n_unnamed_fields = UNNAMED_FIELDS(self); |
Sergey Fedoseev | 234531b | 2019-02-25 21:59:12 +0500 | [diff] [blame] | 284 | tup = _PyTuple_FromArray(self->ob_item, n_visible_fields); |
Victor Stinner | 9a146ee | 2013-07-17 13:41:39 +0200 | [diff] [blame] | 285 | if (!tup) |
| 286 | goto error; |
Michael W. Hudson | ce358e3 | 2002-03-06 17:07:49 +0000 | [diff] [blame] | 287 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 288 | dict = PyDict_New(); |
Victor Stinner | 9a146ee | 2013-07-17 13:41:39 +0200 | [diff] [blame] | 289 | if (!dict) |
| 290 | goto error; |
Michael W. Hudson | ce358e3 | 2002-03-06 17:07:49 +0000 | [diff] [blame] | 291 | |
Sergey Fedoseev | 234531b | 2019-02-25 21:59:12 +0500 | [diff] [blame] | 292 | for (i = n_visible_fields; i < n_fields; i++) { |
Serhiy Storchaka | 007d7ff | 2016-11-22 07:58:08 +0200 | [diff] [blame] | 293 | const char *n = Py_TYPE(self)->tp_members[i-n_unnamed_fields].name; |
Victor Stinner | 9a146ee | 2013-07-17 13:41:39 +0200 | [diff] [blame] | 294 | if (PyDict_SetItemString(dict, n, self->ob_item[i]) < 0) |
| 295 | goto error; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 296 | } |
Michael W. Hudson | 70ffddf | 2002-03-07 15:13:40 +0000 | [diff] [blame] | 297 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 298 | result = Py_BuildValue("(O(OO))", Py_TYPE(self), tup, dict); |
| 299 | |
| 300 | Py_DECREF(tup); |
| 301 | Py_DECREF(dict); |
| 302 | |
| 303 | return result; |
Victor Stinner | 9a146ee | 2013-07-17 13:41:39 +0200 | [diff] [blame] | 304 | |
| 305 | error: |
| 306 | Py_XDECREF(tup); |
| 307 | Py_XDECREF(dict); |
| 308 | return NULL; |
Michael W. Hudson | 7bb466a | 2002-03-05 13:27:58 +0000 | [diff] [blame] | 309 | } |
| 310 | |
Michael W. Hudson | 7bb466a | 2002-03-05 13:27:58 +0000 | [diff] [blame] | 311 | static PyMethodDef structseq_methods[] = { |
Benjamin Peterson | ccabcd4 | 2010-07-07 20:54:01 +0000 | [diff] [blame] | 312 | {"__reduce__", (PyCFunction)structseq_reduce, METH_NOARGS, NULL}, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 313 | {NULL, NULL} |
Michael W. Hudson | 7bb466a | 2002-03-05 13:27:58 +0000 | [diff] [blame] | 314 | }; |
| 315 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 316 | static Py_ssize_t |
| 317 | count_members(PyStructSequence_Desc *desc, Py_ssize_t *n_unnamed_members) { |
| 318 | Py_ssize_t i; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 319 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 320 | *n_unnamed_members = 0; |
| 321 | for (i = 0; desc->fields[i].name != NULL; ++i) { |
| 322 | if (desc->fields[i].name == PyStructSequence_UnnamedField) { |
| 323 | (*n_unnamed_members)++; |
| 324 | } |
| 325 | } |
| 326 | return i; |
| 327 | } |
| 328 | |
| 329 | static int |
| 330 | initialize_structseq_dict(PyStructSequence_Desc *desc, PyObject* dict, |
| 331 | Py_ssize_t n_members, Py_ssize_t n_unnamed_members) { |
Victor Stinner | 1c8f059 | 2013-07-22 22:24:54 +0200 | [diff] [blame] | 332 | PyObject *v; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 333 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 334 | #define SET_DICT_FROM_SIZE(key, value) \ |
| 335 | do { \ |
| 336 | v = PyLong_FromSsize_t(value); \ |
| 337 | if (v == NULL) { \ |
| 338 | return -1; \ |
| 339 | } \ |
| 340 | if (PyDict_SetItemString(dict, key, v) < 0) { \ |
| 341 | Py_DECREF(v); \ |
| 342 | return -1; \ |
| 343 | } \ |
| 344 | Py_DECREF(v); \ |
| 345 | } while (0) |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 346 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 347 | SET_DICT_FROM_SIZE(visible_length_key, desc->n_in_sequence); |
| 348 | SET_DICT_FROM_SIZE(real_length_key, n_members); |
| 349 | SET_DICT_FROM_SIZE(unnamed_fields_key, n_unnamed_members); |
| 350 | return 0; |
| 351 | } |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 352 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 353 | static void |
| 354 | initialize_members(PyStructSequence_Desc *desc, PyMemberDef* members, |
| 355 | Py_ssize_t n_members) { |
| 356 | Py_ssize_t i, k; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 357 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 358 | for (i = k = 0; i < n_members; ++i) { |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 359 | if (desc->fields[i].name == PyStructSequence_UnnamedField) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 360 | continue; |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 361 | } |
| 362 | |
| 363 | /* The names and docstrings in these MemberDefs are statically */ |
| 364 | /* allocated so it is expected that they'll outlive the MemberDef */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 365 | members[k].name = desc->fields[i].name; |
| 366 | members[k].type = T_OBJECT; |
| 367 | members[k].offset = offsetof(PyStructSequence, ob_item) |
| 368 | + i * sizeof(PyObject*); |
| 369 | members[k].flags = READONLY; |
| 370 | members[k].doc = desc->fields[i].doc; |
| 371 | k++; |
| 372 | } |
| 373 | members[k].name = NULL; |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 374 | } |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 375 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 376 | int |
| 377 | PyStructSequence_InitType2(PyTypeObject *type, PyStructSequence_Desc *desc) |
| 378 | { |
| 379 | PyMemberDef *members; |
| 380 | Py_ssize_t n_members, n_unnamed_members; |
| 381 | |
| 382 | #ifdef Py_TRACE_REFS |
| 383 | /* if the type object was chained, unchain it first |
| 384 | before overwriting its storage */ |
| 385 | if (type->ob_base.ob_base._ob_next) { |
| 386 | _Py_ForgetReference((PyObject *)type); |
| 387 | } |
| 388 | #endif |
| 389 | |
| 390 | /* PyTypeObject has already been initialized */ |
| 391 | if (Py_REFCNT(type) != 0) { |
| 392 | PyErr_BadInternalCall(); |
| 393 | return -1; |
| 394 | } |
| 395 | |
| 396 | type->tp_name = desc->name; |
| 397 | type->tp_basicsize = sizeof(PyStructSequence) - sizeof(PyObject *); |
| 398 | type->tp_itemsize = sizeof(PyObject *); |
| 399 | type->tp_dealloc = (destructor)structseq_dealloc; |
| 400 | type->tp_repr = (reprfunc)structseq_repr; |
| 401 | type->tp_doc = desc->doc; |
| 402 | type->tp_base = &PyTuple_Type; |
| 403 | type->tp_methods = structseq_methods; |
| 404 | type->tp_new = structseq_new; |
| 405 | type->tp_flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC; |
Pablo Galindo | 7ffcf84 | 2019-06-02 15:45:13 +0100 | [diff] [blame] | 406 | type->tp_traverse = (traverseproc) structseq_traverse; |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 407 | |
| 408 | n_members = count_members(desc, &n_unnamed_members); |
| 409 | members = PyMem_NEW(PyMemberDef, n_members - n_unnamed_members + 1); |
| 410 | if (members == NULL) { |
| 411 | PyErr_NoMemory(); |
| 412 | return -1; |
| 413 | } |
| 414 | initialize_members(desc, members, n_members); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 415 | type->tp_members = members; |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 416 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 417 | if (PyType_Ready(type) < 0) { |
| 418 | PyMem_FREE(members); |
Victor Stinner | 1c8f059 | 2013-07-22 22:24:54 +0200 | [diff] [blame] | 419 | return -1; |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 420 | } |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 421 | Py_INCREF(type); |
Neal Norwitz | 2f99b24 | 2008-08-24 05:48:10 +0000 | [diff] [blame] | 422 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 423 | if (initialize_structseq_dict( |
| 424 | desc, type->tp_dict, n_members, n_unnamed_members) < 0) { |
| 425 | PyMem_FREE(members); |
| 426 | Py_DECREF(type); |
| 427 | return -1; |
| 428 | } |
Victor Stinner | 1c8f059 | 2013-07-22 22:24:54 +0200 | [diff] [blame] | 429 | |
| 430 | return 0; |
| 431 | } |
| 432 | |
| 433 | void |
| 434 | PyStructSequence_InitType(PyTypeObject *type, PyStructSequence_Desc *desc) |
| 435 | { |
| 436 | (void)PyStructSequence_InitType2(type, desc); |
Guido van Rossum | e82f75a | 2001-10-18 20:47:51 +0000 | [diff] [blame] | 437 | } |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 438 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 439 | PyTypeObject * |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 440 | PyStructSequence_NewType(PyStructSequence_Desc *desc) |
| 441 | { |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 442 | PyMemberDef *members; |
| 443 | PyObject *bases; |
| 444 | PyTypeObject *type; |
Pablo Galindo | 7ffcf84 | 2019-06-02 15:45:13 +0100 | [diff] [blame] | 445 | PyType_Slot slots[8]; |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 446 | PyType_Spec spec; |
| 447 | Py_ssize_t n_members, n_unnamed_members; |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 448 | |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 449 | /* Initialize MemberDefs */ |
| 450 | n_members = count_members(desc, &n_unnamed_members); |
| 451 | members = PyMem_NEW(PyMemberDef, n_members - n_unnamed_members + 1); |
| 452 | if (members == NULL) { |
| 453 | PyErr_NoMemory(); |
Victor Stinner | 1c8f059 | 2013-07-22 22:24:54 +0200 | [diff] [blame] | 454 | return NULL; |
Stefan Krah | 6b96286 | 2012-08-19 11:20:41 +0200 | [diff] [blame] | 455 | } |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 456 | initialize_members(desc, members, n_members); |
| 457 | |
| 458 | /* Initialize Slots */ |
| 459 | slots[0] = (PyType_Slot){Py_tp_dealloc, (destructor)structseq_dealloc}; |
| 460 | slots[1] = (PyType_Slot){Py_tp_repr, (reprfunc)structseq_repr}; |
| 461 | slots[2] = (PyType_Slot){Py_tp_doc, (void *)desc->doc}; |
| 462 | slots[3] = (PyType_Slot){Py_tp_methods, structseq_methods}; |
| 463 | slots[4] = (PyType_Slot){Py_tp_new, structseq_new}; |
| 464 | slots[5] = (PyType_Slot){Py_tp_members, members}; |
Pablo Galindo | 7ffcf84 | 2019-06-02 15:45:13 +0100 | [diff] [blame] | 465 | slots[6] = (PyType_Slot){Py_tp_traverse, (traverseproc)structseq_traverse}; |
| 466 | slots[7] = (PyType_Slot){0, 0}; |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 467 | |
| 468 | /* Initialize Spec */ |
| 469 | /* The name in this PyType_Spec is statically allocated so it is */ |
| 470 | /* expected that it'll outlive the PyType_Spec */ |
| 471 | spec.name = desc->name; |
| 472 | spec.basicsize = sizeof(PyStructSequence) - sizeof(PyObject *); |
| 473 | spec.itemsize = sizeof(PyObject *); |
| 474 | spec.flags = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC; |
| 475 | spec.slots = slots; |
| 476 | |
| 477 | bases = PyTuple_Pack(1, &PyTuple_Type); |
Pablo Galindo | bfb855b | 2018-11-15 02:03:57 +0000 | [diff] [blame] | 478 | if (bases == NULL) { |
| 479 | PyMem_FREE(members); |
| 480 | return NULL; |
| 481 | } |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 482 | type = (PyTypeObject *)PyType_FromSpecWithBases(&spec, bases); |
| 483 | Py_DECREF(bases); |
| 484 | PyMem_FREE(members); |
| 485 | if (type == NULL) { |
| 486 | return NULL; |
| 487 | } |
| 488 | |
| 489 | if (initialize_structseq_dict( |
| 490 | desc, type->tp_dict, n_members, n_unnamed_members) < 0) { |
Pablo Galindo | bfb855b | 2018-11-15 02:03:57 +0000 | [diff] [blame] | 491 | Py_DECREF(type); |
Eddie Elizondo | 474eedf | 2018-11-13 04:09:31 -0800 | [diff] [blame] | 492 | return NULL; |
| 493 | } |
| 494 | |
| 495 | return type; |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 496 | } |
Victor Stinner | 26f9199 | 2013-07-17 01:22:45 +0200 | [diff] [blame] | 497 | |
| 498 | int _PyStructSequence_Init(void) |
| 499 | { |
| 500 | if (_PyUnicode_FromId(&PyId_n_sequence_fields) == NULL |
| 501 | || _PyUnicode_FromId(&PyId_n_fields) == NULL |
| 502 | || _PyUnicode_FromId(&PyId_n_unnamed_fields) == NULL) |
| 503 | return -1; |
| 504 | |
| 505 | return 0; |
| 506 | } |