blob: 8dd579fe40921a642113700a850c47d31200161f [file] [log] [blame]
Guido van Rossumfe3f1a21994-09-29 09:42:55 +00001
2/* New getargs implementation */
3
Guido van Rossum79f25d91997-04-29 20:08:16 +00004#include "Python.h"
Guido van Rossumfe3f1a21994-09-29 09:42:55 +00005
Guido van Rossumc1d50531996-08-21 23:38:24 +00006#include <ctype.h>
7
Guido van Rossumfe3f1a21994-09-29 09:42:55 +00008
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00009#ifdef __cplusplus
Guido van Rossum98297ee2007-11-06 21:34:58 +000010extern "C" {
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000011#endif
Jeremy Hyltonaf68c872005-12-10 18:50:16 +000012int PyArg_Parse(PyObject *, const char *, ...);
13int PyArg_ParseTuple(PyObject *, const char *, ...);
14int PyArg_VaParse(PyObject *, const char *, va_list);
Guido van Rossumfe3f1a21994-09-29 09:42:55 +000015
Tim Petersdbd9ba62000-07-09 03:09:57 +000016int PyArg_ParseTupleAndKeywords(PyObject *, PyObject *,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000017 const char *, char **, ...);
Brett Cannon711e7d92004-07-10 22:20:32 +000018int PyArg_VaParseTupleAndKeywords(PyObject *, PyObject *,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000019 const char *, char **, va_list);
Brett Cannon711e7d92004-07-10 22:20:32 +000020
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +030021int _PyArg_ParseTupleAndKeywordsFast(PyObject *, PyObject *,
22 struct _PyArg_Parser *, ...);
23int _PyArg_VaParseTupleAndKeywordsFast(PyObject *, PyObject *,
24 struct _PyArg_Parser *, va_list);
25
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000026#ifdef HAVE_DECLSPEC_DLL
27/* Export functions */
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020028PyAPI_FUNC(int) _PyArg_Parse_SizeT(PyObject *, const char *, ...);
Victor Stinner3e1fad62017-01-17 01:29:01 +010029PyAPI_FUNC(int) _PyArg_ParseStackAndKeywords_SizeT(PyObject **args, Py_ssize_t nargs, PyObject *kwnames,
Benjamin Peterson819a46f2016-09-09 20:45:06 -070030 struct _PyArg_Parser *parser, ...);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020031PyAPI_FUNC(int) _PyArg_ParseTuple_SizeT(PyObject *, const char *, ...);
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000032PyAPI_FUNC(int) _PyArg_ParseTupleAndKeywords_SizeT(PyObject *, PyObject *,
33 const char *, char **, ...);
34PyAPI_FUNC(PyObject *) _Py_BuildValue_SizeT(const char *, ...);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020035PyAPI_FUNC(int) _PyArg_VaParse_SizeT(PyObject *, const char *, va_list);
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000036PyAPI_FUNC(int) _PyArg_VaParseTupleAndKeywords_SizeT(PyObject *, PyObject *,
37 const char *, char **, va_list);
Benjamin Peterson4eef5052016-09-10 17:04:36 -070038
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +030039PyAPI_FUNC(int) _PyArg_ParseTupleAndKeywordsFast_SizeT(PyObject *, PyObject *,
40 struct _PyArg_Parser *, ...);
41PyAPI_FUNC(int) _PyArg_VaParseTupleAndKeywordsFast_SizeT(PyObject *, PyObject *,
42 struct _PyArg_Parser *, va_list);
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000043#endif
44
Martin v. Löwis18e16552006-02-15 17:27:45 +000045#define FLAG_COMPAT 1
46#define FLAG_SIZE_T 2
47
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -040048typedef int (*destr_t)(PyObject *, void *);
49
50
51/* Keep track of "objects" that have been allocated or initialized and
52 which will need to be deallocated or cleaned up somehow if overall
53 parsing fails.
54*/
55typedef struct {
56 void *item;
57 destr_t destructor;
58} freelistentry_t;
59
60typedef struct {
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -040061 freelistentry_t *entries;
Antoine Pitrou7056cb22013-02-17 01:04:57 +010062 int first_available;
63 int entries_malloced;
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -040064} freelist_t;
65
Antoine Pitrou7056cb22013-02-17 01:04:57 +010066#define STATIC_FREELIST_ENTRIES 8
Guido van Rossumfe3f1a21994-09-29 09:42:55 +000067
68/* Forward */
Jeremy Hyltonaf68c872005-12-10 18:50:16 +000069static int vgetargs1(PyObject *, const char *, va_list *, int);
Victor Stinner84bb1cf2013-05-17 00:12:04 +020070static void seterror(Py_ssize_t, const char *, int *, const char *, const char *);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020071static const char *convertitem(PyObject *, const char **, va_list *, int, int *,
72 char *, size_t, freelist_t *);
73static const char *converttuple(PyObject *, const char **, va_list *, int,
74 int *, char *, size_t, int, freelist_t *);
75static const char *convertsimple(PyObject *, const char **, va_list *, int,
76 char *, size_t, freelist_t *);
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +020077static Py_ssize_t convertbuffer(PyObject *, const void **p, const char **);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020078static int getbuffer(PyObject *, Py_buffer *, const char**);
Guido van Rossumfe3f1a21994-09-29 09:42:55 +000079
Tim Petersdbd9ba62000-07-09 03:09:57 +000080static int vgetargskeywords(PyObject *, PyObject *,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000081 const char *, char **, va_list *, int);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +030082static int vgetargskeywordsfast(PyObject *, PyObject *,
83 struct _PyArg_Parser *, va_list *, int);
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -070084static int vgetargskeywordsfast_impl(PyObject **args, Py_ssize_t nargs,
85 PyObject *keywords, PyObject *kwnames,
86 struct _PyArg_Parser *parser,
87 va_list *p_va, int flags);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +020088static const char *skipitem(const char **, va_list *, int);
Guido van Rossumfe3f1a21994-09-29 09:42:55 +000089
Fred Drake563dfc22001-10-23 14:41:08 +000090int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +000091PyArg_Parse(PyObject *args, const char *format, ...)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +000092{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000093 int retval;
94 va_list va;
Guido van Rossum98297ee2007-11-06 21:34:58 +000095
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000096 va_start(va, format);
97 retval = vgetargs1(args, format, &va, FLAG_COMPAT);
98 va_end(va);
99 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000100}
101
102int
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200103_PyArg_Parse_SizeT(PyObject *args, const char *format, ...)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000104{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000105 int retval;
106 va_list va;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000107
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000108 va_start(va, format);
109 retval = vgetargs1(args, format, &va, FLAG_COMPAT|FLAG_SIZE_T);
110 va_end(va);
111 return retval;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000112}
113
114
Fred Drake563dfc22001-10-23 14:41:08 +0000115int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000116PyArg_ParseTuple(PyObject *args, const char *format, ...)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000117{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000118 int retval;
119 va_list va;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000120
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000121 va_start(va, format);
122 retval = vgetargs1(args, format, &va, 0);
123 va_end(va);
124 return retval;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000125}
126
Martin v. Löwis18e16552006-02-15 17:27:45 +0000127int
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200128_PyArg_ParseTuple_SizeT(PyObject *args, const char *format, ...)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000129{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000130 int retval;
131 va_list va;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000132
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000133 va_start(va, format);
134 retval = vgetargs1(args, format, &va, FLAG_SIZE_T);
135 va_end(va);
136 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000137}
138
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000139
140int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000141PyArg_VaParse(PyObject *args, const char *format, va_list va)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000142{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000143 va_list lva;
Christian Heimes2f2fee12016-09-21 11:37:27 +0200144 int retval;
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000145
Benjamin Peterson0c212142016-09-20 20:39:33 -0700146 va_copy(lva, va);
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000147
Christian Heimes2f2fee12016-09-21 11:37:27 +0200148 retval = vgetargs1(args, format, &lva, 0);
149 va_end(lva);
150 return retval;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000151}
152
Martin v. Löwis18e16552006-02-15 17:27:45 +0000153int
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200154_PyArg_VaParse_SizeT(PyObject *args, const char *format, va_list va)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000155{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000156 va_list lva;
Christian Heimes2f2fee12016-09-21 11:37:27 +0200157 int retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000158
Benjamin Peterson0c212142016-09-20 20:39:33 -0700159 va_copy(lva, va);
Martin v. Löwis18e16552006-02-15 17:27:45 +0000160
Christian Heimes2f2fee12016-09-21 11:37:27 +0200161 retval = vgetargs1(args, format, &lva, FLAG_SIZE_T);
162 va_end(lva);
163 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000164}
165
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000166
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000167/* Handle cleanup of allocated memory in case of exception */
168
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400169static int
170cleanup_ptr(PyObject *self, void *ptr)
Antoine Pitrouf71995782008-08-29 18:37:05 +0000171{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000172 if (ptr) {
173 PyMem_FREE(ptr);
174 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000175 return 0;
Martin v. Löwisc15bdef2009-05-29 14:47:46 +0000176}
177
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000178static int
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400179cleanup_buffer(PyObject *self, void *ptr)
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000180{
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400181 Py_buffer *buf = (Py_buffer *)ptr;
182 if (buf) {
183 PyBuffer_Release(buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000184 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400185 return 0;
186}
187
188static int
189addcleanup(void *ptr, freelist_t *freelist, destr_t destructor)
190{
191 int index;
192
193 index = freelist->first_available;
194 freelist->first_available += 1;
195
196 freelist->entries[index].item = ptr;
197 freelist->entries[index].destructor = destructor;
198
199 return 0;
200}
201
202static int
203cleanreturn(int retval, freelist_t *freelist)
204{
205 int index;
206
207 if (retval == 0) {
208 /* A failure occurred, therefore execute all of the cleanup
209 functions.
210 */
211 for (index = 0; index < freelist->first_available; ++index) {
212 freelist->entries[index].destructor(NULL,
213 freelist->entries[index].item);
214 }
215 }
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100216 if (freelist->entries_malloced)
217 PyMem_FREE(freelist->entries);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000218 return retval;
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000219}
220
221
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000222static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000223vgetargs1(PyObject *args, const char *format, va_list *p_va, int flags)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000224{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000225 char msgbuf[256];
226 int levels[32];
227 const char *fname = NULL;
228 const char *message = NULL;
229 int min = -1;
230 int max = 0;
231 int level = 0;
232 int endfmt = 0;
233 const char *formatsave = format;
234 Py_ssize_t i, len;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200235 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000236 int compat = flags & FLAG_COMPAT;
Benjamin Peterson40be9e52014-02-11 10:09:27 -0500237 freelistentry_t static_entries[STATIC_FREELIST_ENTRIES];
238 freelist_t freelist;
239
240 freelist.entries = static_entries;
241 freelist.first_available = 0;
242 freelist.entries_malloced = 0;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000243
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000244 assert(compat || (args != (PyObject*)NULL));
245 flags = flags & ~FLAG_COMPAT;
Tim Peters5c4d5bf2001-02-12 22:13:26 +0000246
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000247 while (endfmt == 0) {
248 int c = *format++;
249 switch (c) {
250 case '(':
251 if (level == 0)
252 max++;
253 level++;
254 if (level >= 30)
255 Py_FatalError("too many tuple nesting levels "
256 "in argument format string");
257 break;
258 case ')':
259 if (level == 0)
260 Py_FatalError("excess ')' in getargs format");
261 else
262 level--;
263 break;
264 case '\0':
265 endfmt = 1;
266 break;
267 case ':':
268 fname = format;
269 endfmt = 1;
270 break;
271 case ';':
272 message = format;
273 endfmt = 1;
274 break;
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100275 case '|':
276 if (level == 0)
277 min = max;
278 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000279 default:
280 if (level == 0) {
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100281 if (Py_ISALPHA(Py_CHARMASK(c)))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000282 if (c != 'e') /* skip encoded */
283 max++;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000284 }
285 break;
286 }
287 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000288
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000289 if (level != 0)
290 Py_FatalError(/* '(' */ "missing ')' in getargs format");
Guido van Rossum98297ee2007-11-06 21:34:58 +0000291
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000292 if (min < 0)
293 min = max;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000294
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000295 format = formatsave;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000296
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100297 if (max > STATIC_FREELIST_ENTRIES) {
298 freelist.entries = PyMem_NEW(freelistentry_t, max);
299 if (freelist.entries == NULL) {
300 PyErr_NoMemory();
301 return 0;
302 }
303 freelist.entries_malloced = 1;
Benjamin Peterson7ed67272012-03-16 12:21:02 -0500304 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400305
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000306 if (compat) {
307 if (max == 0) {
308 if (args == NULL)
309 return 1;
Victor Stinner6ced7c42011-03-21 18:15:42 +0100310 PyErr_Format(PyExc_TypeError,
311 "%.200s%s takes no arguments",
312 fname==NULL ? "function" : fname,
313 fname==NULL ? "" : "()");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400314 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000315 }
316 else if (min == 1 && max == 1) {
317 if (args == NULL) {
Victor Stinner6ced7c42011-03-21 18:15:42 +0100318 PyErr_Format(PyExc_TypeError,
319 "%.200s%s takes at least one argument",
320 fname==NULL ? "function" : fname,
321 fname==NULL ? "" : "()");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400322 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000323 }
324 msg = convertitem(args, &format, p_va, flags, levels,
325 msgbuf, sizeof(msgbuf), &freelist);
326 if (msg == NULL)
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400327 return cleanreturn(1, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000328 seterror(levels[0], msg, levels+1, fname, message);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400329 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000330 }
331 else {
332 PyErr_SetString(PyExc_SystemError,
333 "old style getargs format uses new features");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400334 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000335 }
336 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000337
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000338 if (!PyTuple_Check(args)) {
339 PyErr_SetString(PyExc_SystemError,
340 "new style getargs format but argument is not a tuple");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400341 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000342 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000343
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000344 len = PyTuple_GET_SIZE(args);
Guido van Rossum98297ee2007-11-06 21:34:58 +0000345
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000346 if (len < min || max < len) {
Victor Stinner6ced7c42011-03-21 18:15:42 +0100347 if (message == NULL)
348 PyErr_Format(PyExc_TypeError,
349 "%.150s%s takes %s %d argument%s (%ld given)",
350 fname==NULL ? "function" : fname,
351 fname==NULL ? "" : "()",
352 min==max ? "exactly"
353 : len < min ? "at least" : "at most",
354 len < min ? min : max,
355 (len < min ? min : max) == 1 ? "" : "s",
356 Py_SAFE_DOWNCAST(len, Py_ssize_t, long));
357 else
358 PyErr_SetString(PyExc_TypeError, message);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400359 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000360 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000361
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000362 for (i = 0; i < len; i++) {
363 if (*format == '|')
364 format++;
365 msg = convertitem(PyTuple_GET_ITEM(args, i), &format, p_va,
366 flags, levels, msgbuf,
367 sizeof(msgbuf), &freelist);
368 if (msg) {
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200369 seterror(i+1, msg, levels, fname, message);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400370 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000371 }
372 }
Guido van Rossum231a41e1997-12-09 20:36:39 +0000373
Antoine Pitrou4de74572013-02-09 23:11:27 +0100374 if (*format != '\0' && !Py_ISALPHA(Py_CHARMASK(*format)) &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000375 *format != '(' &&
376 *format != '|' && *format != ':' && *format != ';') {
377 PyErr_Format(PyExc_SystemError,
378 "bad format string: %.200s", formatsave);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400379 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000380 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000381
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400382 return cleanreturn(1, &freelist);
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000383}
384
385
386
387static void
Victor Stinner84bb1cf2013-05-17 00:12:04 +0200388seterror(Py_ssize_t iarg, const char *msg, int *levels, const char *fname,
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000389 const char *message)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000390{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000391 char buf[512];
392 int i;
393 char *p = buf;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000394
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000395 if (PyErr_Occurred())
396 return;
397 else if (message == NULL) {
398 if (fname != NULL) {
399 PyOS_snprintf(p, sizeof(buf), "%.200s() ", fname);
400 p += strlen(p);
401 }
402 if (iarg != 0) {
403 PyOS_snprintf(p, sizeof(buf) - (p - buf),
Richard Oudkerk25296ce2013-05-18 17:35:19 +0100404 "argument %" PY_FORMAT_SIZE_T "d", iarg);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000405 i = 0;
406 p += strlen(p);
Georg Brandl142ad662013-10-14 07:01:11 +0200407 while (i < 32 && levels[i] > 0 && (int)(p-buf) < 220) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000408 PyOS_snprintf(p, sizeof(buf) - (p - buf),
409 ", item %d", levels[i]-1);
410 p += strlen(p);
411 i++;
412 }
413 }
414 else {
415 PyOS_snprintf(p, sizeof(buf) - (p - buf), "argument");
416 p += strlen(p);
417 }
418 PyOS_snprintf(p, sizeof(buf) - (p - buf), " %.256s", msg);
419 message = buf;
420 }
Serhiy Storchaka4cd63ef2016-02-08 01:22:47 +0200421 if (msg[0] == '(') {
422 PyErr_SetString(PyExc_SystemError, message);
423 }
424 else {
425 PyErr_SetString(PyExc_TypeError, message);
426 }
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000427}
428
429
430/* Convert a tuple argument.
431 On entry, *p_format points to the character _after_ the opening '('.
432 On successful exit, *p_format points to the closing ')'.
433 If successful:
434 *p_format and *p_va are updated,
435 *levels and *msgbuf are untouched,
436 and NULL is returned.
437 If the argument is invalid:
438 *p_format is unchanged,
439 *p_va is undefined,
440 *levels is a 0-terminated list of item numbers,
441 *msgbuf contains an error message, whose format is:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000442 "must be <typename1>, not <typename2>", where:
443 <typename1> is the name of the expected type, and
444 <typename2> is the name of the actual type,
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000445 and msgbuf is returned.
446*/
447
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200448static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000449converttuple(PyObject *arg, const char **p_format, va_list *p_va, int flags,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000450 int *levels, char *msgbuf, size_t bufsize, int toplevel,
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400451 freelist_t *freelist)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000452{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000453 int level = 0;
454 int n = 0;
455 const char *format = *p_format;
456 int i;
Victor Stinner74387f52013-11-18 01:21:12 +0100457 Py_ssize_t len;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000458
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000459 for (;;) {
460 int c = *format++;
461 if (c == '(') {
462 if (level == 0)
463 n++;
464 level++;
465 }
466 else if (c == ')') {
467 if (level == 0)
468 break;
469 level--;
470 }
471 else if (c == ':' || c == ';' || c == '\0')
472 break;
Antoine Pitrou4de74572013-02-09 23:11:27 +0100473 else if (level == 0 && Py_ISALPHA(Py_CHARMASK(c)))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000474 n++;
475 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000476
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000477 if (!PySequence_Check(arg) || PyBytes_Check(arg)) {
478 levels[0] = 0;
479 PyOS_snprintf(msgbuf, bufsize,
480 toplevel ? "expected %d arguments, not %.50s" :
481 "must be %d-item sequence, not %.50s",
482 n,
483 arg == Py_None ? "None" : arg->ob_type->tp_name);
484 return msgbuf;
485 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000486
Victor Stinner74387f52013-11-18 01:21:12 +0100487 len = PySequence_Size(arg);
488 if (len != n) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000489 levels[0] = 0;
Victor Stinner74387f52013-11-18 01:21:12 +0100490 if (toplevel) {
491 PyOS_snprintf(msgbuf, bufsize,
492 "expected %d arguments, not %" PY_FORMAT_SIZE_T "d",
493 n, len);
494 }
495 else {
496 PyOS_snprintf(msgbuf, bufsize,
497 "must be sequence of length %d, "
498 "not %" PY_FORMAT_SIZE_T "d",
499 n, len);
500 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000501 return msgbuf;
502 }
Ka-Ping Yee20579702001-01-15 22:14:16 +0000503
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000504 format = *p_format;
505 for (i = 0; i < n; i++) {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200506 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000507 PyObject *item;
508 item = PySequence_GetItem(arg, i);
509 if (item == NULL) {
510 PyErr_Clear();
511 levels[0] = i+1;
512 levels[1] = 0;
513 strncpy(msgbuf, "is not retrievable", bufsize);
514 return msgbuf;
515 }
516 msg = convertitem(item, &format, p_va, flags, levels+1,
517 msgbuf, bufsize, freelist);
518 /* PySequence_GetItem calls tp->sq_item, which INCREFs */
519 Py_XDECREF(item);
520 if (msg != NULL) {
521 levels[0] = i+1;
522 return msg;
523 }
524 }
Ka-Ping Yee20579702001-01-15 22:14:16 +0000525
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000526 *p_format = format;
527 return NULL;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000528}
529
530
531/* Convert a single item. */
532
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200533static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000534convertitem(PyObject *arg, const char **p_format, va_list *p_va, int flags,
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400535 int *levels, char *msgbuf, size_t bufsize, freelist_t *freelist)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000536{
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200537 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000538 const char *format = *p_format;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000539
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000540 if (*format == '(' /* ')' */) {
541 format++;
542 msg = converttuple(arg, &format, p_va, flags, levels, msgbuf,
543 bufsize, 0, freelist);
544 if (msg == NULL)
545 format++;
546 }
547 else {
548 msg = convertsimple(arg, &format, p_va, flags,
549 msgbuf, bufsize, freelist);
550 if (msg != NULL)
551 levels[0] = 0;
552 }
553 if (msg == NULL)
554 *p_format = format;
555 return msg;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000556}
557
558
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000559
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000560/* Format an error message generated by convertsimple(). */
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000561
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200562static const char *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000563converterr(const char *expected, PyObject *arg, char *msgbuf, size_t bufsize)
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000564{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000565 assert(expected != NULL);
566 assert(arg != NULL);
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200567 if (expected[0] == '(') {
568 PyOS_snprintf(msgbuf, bufsize,
569 "%.100s", expected);
570 }
571 else {
572 PyOS_snprintf(msgbuf, bufsize,
573 "must be %.50s, not %.50s", expected,
574 arg == Py_None ? "None" : arg->ob_type->tp_name);
575 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000576 return msgbuf;
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000577}
578
579#define CONV_UNICODE "(unicode conversion error)"
580
Guido van Rossum45aecf42006-03-15 04:58:47 +0000581/* Explicitly check for float arguments when integers are expected.
582 Return 1 for error, 0 if ok. */
Neil Schemenauer5042da62003-02-04 20:59:40 +0000583static int
584float_argument_error(PyObject *arg)
585{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000586 if (PyFloat_Check(arg)) {
587 PyErr_SetString(PyExc_TypeError,
588 "integer argument expected, got float" );
589 return 1;
590 }
591 else
592 return 0;
Neil Schemenauer5042da62003-02-04 20:59:40 +0000593}
594
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000595/* Convert a non-tuple argument. Return NULL if conversion went OK,
596 or a string with a message describing the failure. The message is
597 formatted as "must be <desired type>, not <actual type>".
598 When failing, an exception may or may not have been raised.
Georg Brandl6dd14612005-09-14 19:29:53 +0000599 Don't call if a tuple is expected.
600
601 When you add new format codes, please don't forget poor skipitem() below.
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000602*/
603
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200604static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000605convertsimple(PyObject *arg, const char **p_format, va_list *p_va, int flags,
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400606 char *msgbuf, size_t bufsize, freelist_t *freelist)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000607{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000608 /* For # codes */
609#define FETCH_SIZE int *q=NULL;Py_ssize_t *q2=NULL;\
610 if (flags & FLAG_SIZE_T) q2=va_arg(*p_va, Py_ssize_t*); \
611 else q=va_arg(*p_va, int*);
Victor Stinnerb3c9e072011-01-04 02:07:34 +0000612#define STORE_SIZE(s) \
613 if (flags & FLAG_SIZE_T) \
614 *q2=s; \
615 else { \
616 if (INT_MAX < s) { \
617 PyErr_SetString(PyExc_OverflowError, \
618 "size does not fit in an int"); \
619 return converterr("", arg, msgbuf, bufsize); \
620 } \
Victor Stinner9550ef32013-06-05 01:18:13 +0200621 *q = (int)s; \
Victor Stinnerb3c9e072011-01-04 02:07:34 +0000622 }
Martin v. Löwis18e16552006-02-15 17:27:45 +0000623#define BUFFER_LEN ((flags & FLAG_SIZE_T) ? *q2:*q)
Victor Stinner6ab8e822011-01-04 11:16:49 +0000624#define RETURN_ERR_OCCURRED return msgbuf
Martin v. Löwis18e16552006-02-15 17:27:45 +0000625
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000626 const char *format = *p_format;
627 char c = *format++;
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +0200628 const char *sarg;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000629
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000630 switch (c) {
Guido van Rossum98297ee2007-11-06 21:34:58 +0000631
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000632 case 'b': { /* unsigned byte -- very short int */
633 char *p = va_arg(*p_va, char *);
634 long ival;
635 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000636 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000637 ival = PyLong_AsLong(arg);
638 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000639 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000640 else if (ival < 0) {
641 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000642 "unsigned byte integer is less than minimum");
643 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000644 }
645 else if (ival > UCHAR_MAX) {
646 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000647 "unsigned byte integer is greater than maximum");
648 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000649 }
650 else
651 *p = (unsigned char) ival;
652 break;
653 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000654
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000655 case 'B': {/* byte sized bitfield - both signed and unsigned
656 values allowed */
657 char *p = va_arg(*p_va, char *);
658 long ival;
659 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000660 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000661 ival = PyLong_AsUnsignedLongMask(arg);
662 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000663 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000664 else
665 *p = (unsigned char) ival;
666 break;
667 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000668
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000669 case 'h': {/* signed short int */
670 short *p = va_arg(*p_va, short *);
671 long ival;
672 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000673 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000674 ival = PyLong_AsLong(arg);
675 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000676 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000677 else if (ival < SHRT_MIN) {
678 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000679 "signed short integer is less than minimum");
680 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000681 }
682 else if (ival > SHRT_MAX) {
683 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000684 "signed short integer is greater than maximum");
685 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000686 }
687 else
688 *p = (short) ival;
689 break;
690 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000691
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000692 case 'H': { /* short int sized bitfield, both signed and
693 unsigned allowed */
694 unsigned short *p = va_arg(*p_va, unsigned short *);
695 long ival;
696 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000697 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000698 ival = PyLong_AsUnsignedLongMask(arg);
699 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000700 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000701 else
702 *p = (unsigned short) ival;
703 break;
704 }
Martin v. Löwis18e16552006-02-15 17:27:45 +0000705
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000706 case 'i': {/* signed int */
707 int *p = va_arg(*p_va, int *);
708 long ival;
709 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000710 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000711 ival = PyLong_AsLong(arg);
712 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000713 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000714 else if (ival > INT_MAX) {
715 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000716 "signed integer is greater than maximum");
717 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000718 }
719 else if (ival < INT_MIN) {
720 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000721 "signed integer is less than minimum");
722 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000723 }
724 else
725 *p = ival;
726 break;
727 }
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000728
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000729 case 'I': { /* int sized bitfield, both signed and
730 unsigned allowed */
731 unsigned int *p = va_arg(*p_va, unsigned int *);
732 unsigned int ival;
733 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000734 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000735 ival = (unsigned int)PyLong_AsUnsignedLongMask(arg);
736 if (ival == (unsigned int)-1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000737 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000738 else
739 *p = ival;
740 break;
741 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000742
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000743 case 'n': /* Py_ssize_t */
744 {
745 PyObject *iobj;
746 Py_ssize_t *p = va_arg(*p_va, Py_ssize_t *);
747 Py_ssize_t ival = -1;
748 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000749 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000750 iobj = PyNumber_Index(arg);
751 if (iobj != NULL) {
752 ival = PyLong_AsSsize_t(iobj);
753 Py_DECREF(iobj);
754 }
755 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000756 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000757 *p = ival;
758 break;
759 }
760 case 'l': {/* long int */
761 long *p = va_arg(*p_va, long *);
762 long ival;
763 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000764 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000765 ival = PyLong_AsLong(arg);
766 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000767 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000768 else
769 *p = ival;
770 break;
771 }
Thomas Hellera4ea6032003-04-17 18:55:45 +0000772
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000773 case 'k': { /* long sized bitfield */
774 unsigned long *p = va_arg(*p_va, unsigned long *);
775 unsigned long ival;
776 if (PyLong_Check(arg))
777 ival = PyLong_AsUnsignedLongMask(arg);
778 else
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200779 return converterr("int", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000780 *p = ival;
781 break;
782 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000783
Benjamin Petersonaf580df2016-09-06 10:46:49 -0700784 case 'L': {/* long long */
785 long long *p = va_arg( *p_va, long long * );
786 long long ival;
Mark Dickinsonc7301312010-06-10 16:05:10 +0000787 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000788 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000789 ival = PyLong_AsLongLong(arg);
Benjamin Petersonaf580df2016-09-06 10:46:49 -0700790 if (ival == (long long)-1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000791 RETURN_ERR_OCCURRED;
Mark Dickinsonc7301312010-06-10 16:05:10 +0000792 else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000793 *p = ival;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000794 break;
795 }
Thomas Hellera4ea6032003-04-17 18:55:45 +0000796
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000797 case 'K': { /* long long sized bitfield */
Benjamin Petersonaf580df2016-09-06 10:46:49 -0700798 unsigned long long *p = va_arg(*p_va, unsigned long long *);
799 unsigned long long ival;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000800 if (PyLong_Check(arg))
801 ival = PyLong_AsUnsignedLongLongMask(arg);
802 else
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200803 return converterr("int", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000804 *p = ival;
805 break;
806 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000807
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000808 case 'f': {/* float */
809 float *p = va_arg(*p_va, float *);
810 double dval = PyFloat_AsDouble(arg);
811 if (PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000812 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000813 else
814 *p = (float) dval;
815 break;
816 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000817
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000818 case 'd': {/* double */
819 double *p = va_arg(*p_va, double *);
820 double dval = PyFloat_AsDouble(arg);
821 if (PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000822 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000823 else
824 *p = dval;
825 break;
826 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000827
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000828 case 'D': {/* complex double */
829 Py_complex *p = va_arg(*p_va, Py_complex *);
830 Py_complex cval;
831 cval = PyComplex_AsCComplex(arg);
832 if (PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000833 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000834 else
835 *p = cval;
836 break;
837 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000838
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000839 case 'c': {/* char */
840 char *p = va_arg(*p_va, char *);
841 if (PyBytes_Check(arg) && PyBytes_Size(arg) == 1)
842 *p = PyBytes_AS_STRING(arg)[0];
Eli Bendersky906b88f2011-07-29 07:05:08 +0300843 else if (PyByteArray_Check(arg) && PyByteArray_Size(arg) == 1)
844 *p = PyByteArray_AS_STRING(arg)[0];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000845 else
846 return converterr("a byte string of length 1", arg, msgbuf, bufsize);
847 break;
848 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000849
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000850 case 'C': {/* unicode char */
851 int *p = va_arg(*p_va, int *);
Victor Stinnere1335c72011-10-04 20:53:03 +0200852 int kind;
853 void *data;
854
855 if (!PyUnicode_Check(arg))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000856 return converterr("a unicode character", arg, msgbuf, bufsize);
Victor Stinnere1335c72011-10-04 20:53:03 +0200857
858 if (PyUnicode_READY(arg))
859 RETURN_ERR_OCCURRED;
860
861 if (PyUnicode_GET_LENGTH(arg) != 1)
862 return converterr("a unicode character", arg, msgbuf, bufsize);
863
864 kind = PyUnicode_KIND(arg);
865 data = PyUnicode_DATA(arg);
866 *p = PyUnicode_READ(kind, data, 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000867 break;
868 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000869
Larry Hastingsfaf91e72012-05-05 16:54:29 -0700870 case 'p': {/* boolean *p*redicate */
871 int *p = va_arg(*p_va, int *);
872 int val = PyObject_IsTrue(arg);
873 if (val > 0)
874 *p = 1;
875 else if (val == 0)
876 *p = 0;
877 else
878 RETURN_ERR_OCCURRED;
879 break;
880 }
881
Victor Stinner3dcb5ac2010-06-08 22:54:19 +0000882 /* XXX WAAAAH! 's', 'y', 'z', 'u', 'Z', 'e', 'w' codes all
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000883 need to be cleaned up! */
Guido van Rossum98297ee2007-11-06 21:34:58 +0000884
Serhiy Storchakab757c832014-12-05 22:25:22 +0200885 case 'y': {/* any bytes-like object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000886 void **p = (void **)va_arg(*p_va, char **);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200887 const char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000888 Py_ssize_t count;
889 if (*format == '*') {
890 if (getbuffer(arg, (Py_buffer*)p, &buf) < 0)
891 return converterr(buf, arg, msgbuf, bufsize);
892 format++;
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400893 if (addcleanup(p, freelist, cleanup_buffer)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000894 return converterr(
895 "(cleanup problem)",
896 arg, msgbuf, bufsize);
897 }
898 break;
899 }
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +0200900 count = convertbuffer(arg, (const void **)p, &buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000901 if (count < 0)
902 return converterr(buf, arg, msgbuf, bufsize);
Victor Stinner06e49dd2010-06-13 18:21:50 +0000903 if (*format == '#') {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000904 FETCH_SIZE;
905 STORE_SIZE(count);
906 format++;
Victor Stinner06e49dd2010-06-13 18:21:50 +0000907 } else {
Serhiy Storchakad8a14472014-09-06 20:07:17 +0300908 if (strlen(*p) != (size_t)count) {
909 PyErr_SetString(PyExc_ValueError, "embedded null byte");
910 RETURN_ERR_OCCURRED;
911 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000912 }
913 break;
914 }
Walter Dörwald612344f2007-05-04 19:28:21 +0000915
Serhiy Storchakab757c832014-12-05 22:25:22 +0200916 case 's': /* text string or bytes-like object */
917 case 'z': /* text string, bytes-like object or None */
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000918 {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000919 if (*format == '*') {
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000920 /* "s*" or "z*" */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000921 Py_buffer *p = (Py_buffer *)va_arg(*p_va, Py_buffer *);
Martin v. Löwis423be952008-08-13 15:53:07 +0000922
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000923 if (c == 'z' && arg == Py_None)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000924 PyBuffer_FillInfo(p, NULL, NULL, 0, 1, 0);
925 else if (PyUnicode_Check(arg)) {
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200926 Py_ssize_t len;
927 sarg = PyUnicode_AsUTF8AndSize(arg, &len);
928 if (sarg == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000929 return converterr(CONV_UNICODE,
930 arg, msgbuf, bufsize);
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +0200931 PyBuffer_FillInfo(p, arg, (void *)sarg, len, 1, 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000932 }
Serhiy Storchakab757c832014-12-05 22:25:22 +0200933 else { /* any bytes-like object */
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200934 const char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000935 if (getbuffer(arg, p, &buf) < 0)
936 return converterr(buf, arg, msgbuf, bufsize);
937 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400938 if (addcleanup(p, freelist, cleanup_buffer)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000939 return converterr(
940 "(cleanup problem)",
941 arg, msgbuf, bufsize);
942 }
943 format++;
Serhiy Storchakab757c832014-12-05 22:25:22 +0200944 } else if (*format == '#') { /* a string or read-only bytes-like object */
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000945 /* "s#" or "z#" */
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +0200946 const void **p = (const void **)va_arg(*p_va, const char **);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000947 FETCH_SIZE;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000948
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000949 if (c == 'z' && arg == Py_None) {
950 *p = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000951 STORE_SIZE(0);
952 }
953 else if (PyUnicode_Check(arg)) {
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200954 Py_ssize_t len;
955 sarg = PyUnicode_AsUTF8AndSize(arg, &len);
956 if (sarg == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000957 return converterr(CONV_UNICODE,
958 arg, msgbuf, bufsize);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200959 *p = sarg;
960 STORE_SIZE(len);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000961 }
Serhiy Storchakab757c832014-12-05 22:25:22 +0200962 else { /* read-only bytes-like object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000963 /* XXX Really? */
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200964 const char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000965 Py_ssize_t count = convertbuffer(arg, p, &buf);
966 if (count < 0)
967 return converterr(buf, arg, msgbuf, bufsize);
968 STORE_SIZE(count);
969 }
970 format++;
971 } else {
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000972 /* "s" or "z" */
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +0200973 const char **p = va_arg(*p_va, const char **);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200974 Py_ssize_t len;
975 sarg = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000976
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000977 if (c == 'z' && arg == Py_None)
978 *p = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000979 else if (PyUnicode_Check(arg)) {
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200980 sarg = PyUnicode_AsUTF8AndSize(arg, &len);
981 if (sarg == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000982 return converterr(CONV_UNICODE,
983 arg, msgbuf, bufsize);
Serhiy Storchakad8a14472014-09-06 20:07:17 +0300984 if (strlen(sarg) != (size_t)len) {
985 PyErr_SetString(PyExc_ValueError, "embedded null character");
986 RETURN_ERR_OCCURRED;
987 }
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200988 *p = sarg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000989 }
990 else
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000991 return converterr(c == 'z' ? "str or None" : "str",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000992 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000993 }
994 break;
995 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000996
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000997 case 'u': /* raw unicode buffer (Py_UNICODE *) */
998 case 'Z': /* raw unicode buffer or None */
999 {
Brett Cannonb94767f2011-02-22 20:15:44 +00001000 Py_UNICODE **p = va_arg(*p_va, Py_UNICODE **);
1001
Serhiy Storchakab757c832014-12-05 22:25:22 +02001002 if (*format == '#') {
Serhiy Storchakad6e53da2015-04-19 21:11:30 +03001003 /* "u#" or "Z#" */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001004 FETCH_SIZE;
Travis E. Oliphantddacf962007-10-13 21:03:27 +00001005
Victor Stinner3c9e6e92010-06-24 22:31:12 +00001006 if (c == 'Z' && arg == Py_None) {
1007 *p = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001008 STORE_SIZE(0);
1009 }
1010 else if (PyUnicode_Check(arg)) {
Victor Stinnerbeac78b2011-10-11 21:55:01 +02001011 Py_ssize_t len;
1012 *p = PyUnicode_AsUnicodeAndSize(arg, &len);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001013 if (*p == NULL)
1014 RETURN_ERR_OCCURRED;
Victor Stinnerbeac78b2011-10-11 21:55:01 +02001015 STORE_SIZE(len);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001016 }
Victor Stinner5216e6d2010-06-08 21:45:51 +00001017 else
Serhiy Storchakad6e53da2015-04-19 21:11:30 +03001018 return converterr(c == 'Z' ? "str or None" : "str",
1019 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001020 format++;
1021 } else {
Serhiy Storchakad6e53da2015-04-19 21:11:30 +03001022 /* "u" or "Z" */
Victor Stinner3c9e6e92010-06-24 22:31:12 +00001023 if (c == 'Z' && arg == Py_None)
1024 *p = NULL;
Victor Stinner06e49dd2010-06-13 18:21:50 +00001025 else if (PyUnicode_Check(arg)) {
Victor Stinnerbeac78b2011-10-11 21:55:01 +02001026 Py_ssize_t len;
1027 *p = PyUnicode_AsUnicodeAndSize(arg, &len);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001028 if (*p == NULL)
1029 RETURN_ERR_OCCURRED;
Serhiy Storchaka460bd0d2016-11-20 12:16:46 +02001030 if (wcslen(*p) != (size_t)len) {
Serhiy Storchakad8a14472014-09-06 20:07:17 +03001031 PyErr_SetString(PyExc_ValueError, "embedded null character");
1032 RETURN_ERR_OCCURRED;
1033 }
Victor Stinner06e49dd2010-06-13 18:21:50 +00001034 } else
Victor Stinner3c9e6e92010-06-24 22:31:12 +00001035 return converterr(c == 'Z' ? "str or None" : "str",
1036 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001037 }
1038 break;
1039 }
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +00001040
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001041 case 'e': {/* encoded string */
1042 char **buffer;
1043 const char *encoding;
1044 PyObject *s;
1045 int recode_strings;
1046 Py_ssize_t size;
1047 const char *ptr;
Jeremy Hylton4819e972001-10-11 14:40:37 +00001048
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001049 /* Get 'e' parameter: the encoding name */
1050 encoding = (const char *)va_arg(*p_va, const char *);
1051 if (encoding == NULL)
1052 encoding = PyUnicode_GetDefaultEncoding();
Martin v. Löwis423be952008-08-13 15:53:07 +00001053
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001054 /* Get output buffer parameter:
1055 's' (recode all objects via Unicode) or
1056 't' (only recode non-string objects)
1057 */
1058 if (*format == 's')
1059 recode_strings = 1;
1060 else if (*format == 't')
1061 recode_strings = 0;
1062 else
1063 return converterr(
1064 "(unknown parser marker combination)",
1065 arg, msgbuf, bufsize);
1066 buffer = (char **)va_arg(*p_va, char **);
1067 format++;
1068 if (buffer == NULL)
1069 return converterr("(buffer is NULL)",
1070 arg, msgbuf, bufsize);
Benjamin Peterson9edd2bd2008-08-27 00:31:37 +00001071
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001072 /* Encode object */
1073 if (!recode_strings &&
1074 (PyBytes_Check(arg) || PyByteArray_Check(arg))) {
1075 s = arg;
1076 Py_INCREF(s);
Serhiy Storchaka460bd0d2016-11-20 12:16:46 +02001077 if (PyBytes_Check(arg)) {
1078 size = PyBytes_GET_SIZE(s);
1079 ptr = PyBytes_AS_STRING(s);
1080 }
1081 else {
1082 size = PyByteArray_GET_SIZE(s);
1083 ptr = PyByteArray_AS_STRING(s);
1084 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001085 }
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001086 else if (PyUnicode_Check(arg)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001087 /* Encode object; use default error handling */
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001088 s = PyUnicode_AsEncodedString(arg,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001089 encoding,
1090 NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001091 if (s == NULL)
1092 return converterr("(encoding failed)",
1093 arg, msgbuf, bufsize);
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001094 assert(PyBytes_Check(s));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001095 size = PyBytes_GET_SIZE(s);
1096 ptr = PyBytes_AS_STRING(s);
1097 if (ptr == NULL)
1098 ptr = "";
1099 }
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001100 else {
1101 return converterr(
1102 recode_strings ? "str" : "str, bytes or bytearray",
1103 arg, msgbuf, bufsize);
1104 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001105
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001106 /* Write output; output is guaranteed to be 0-terminated */
1107 if (*format == '#') {
1108 /* Using buffer length parameter '#':
1109
1110 - if *buffer is NULL, a new buffer of the
1111 needed size is allocated and the data
1112 copied into it; *buffer is updated to point
1113 to the new buffer; the caller is
1114 responsible for PyMem_Free()ing it after
1115 usage
1116
1117 - if *buffer is not NULL, the data is
1118 copied to *buffer; *buffer_len has to be
1119 set to the size of the buffer on input;
1120 buffer overflow is signalled with an error;
1121 buffer has to provide enough room for the
1122 encoded string plus the trailing 0-byte
1123
1124 - in both cases, *buffer_len is updated to
1125 the size of the buffer /excluding/ the
1126 trailing 0-byte
1127
1128 */
1129 FETCH_SIZE;
1130
1131 format++;
1132 if (q == NULL && q2 == NULL) {
1133 Py_DECREF(s);
1134 return converterr(
1135 "(buffer_len is NULL)",
1136 arg, msgbuf, bufsize);
1137 }
1138 if (*buffer == NULL) {
1139 *buffer = PyMem_NEW(char, size + 1);
1140 if (*buffer == NULL) {
1141 Py_DECREF(s);
Victor Stinner2872e5b2010-06-06 20:38:02 +00001142 PyErr_NoMemory();
Victor Stinner6ab8e822011-01-04 11:16:49 +00001143 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001144 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001145 if (addcleanup(*buffer, freelist, cleanup_ptr)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001146 Py_DECREF(s);
1147 return converterr(
1148 "(cleanup problem)",
1149 arg, msgbuf, bufsize);
1150 }
1151 } else {
1152 if (size + 1 > BUFFER_LEN) {
1153 Py_DECREF(s);
Serhiy Storchaka4cd63ef2016-02-08 01:22:47 +02001154 PyErr_Format(PyExc_ValueError,
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001155 "encoded string too long "
1156 "(%zd, maximum length %zd)",
1157 (Py_ssize_t)size, (Py_ssize_t)(BUFFER_LEN-1));
1158 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001159 }
1160 }
1161 memcpy(*buffer, ptr, size+1);
1162 STORE_SIZE(size);
1163 } else {
1164 /* Using a 0-terminated buffer:
1165
1166 - the encoded string has to be 0-terminated
1167 for this variant to work; if it is not, an
1168 error raised
1169
1170 - a new buffer of the needed size is
1171 allocated and the data copied into it;
1172 *buffer is updated to point to the new
1173 buffer; the caller is responsible for
1174 PyMem_Free()ing it after usage
1175
1176 */
1177 if ((Py_ssize_t)strlen(ptr) != size) {
1178 Py_DECREF(s);
1179 return converterr(
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001180 "encoded string without null bytes",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001181 arg, msgbuf, bufsize);
1182 }
1183 *buffer = PyMem_NEW(char, size + 1);
1184 if (*buffer == NULL) {
1185 Py_DECREF(s);
Victor Stinner2872e5b2010-06-06 20:38:02 +00001186 PyErr_NoMemory();
Victor Stinner6ab8e822011-01-04 11:16:49 +00001187 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001188 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001189 if (addcleanup(*buffer, freelist, cleanup_ptr)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001190 Py_DECREF(s);
1191 return converterr("(cleanup problem)",
1192 arg, msgbuf, bufsize);
1193 }
1194 memcpy(*buffer, ptr, size+1);
1195 }
1196 Py_DECREF(s);
1197 break;
1198 }
1199
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001200 case 'S': { /* PyBytes object */
1201 PyObject **p = va_arg(*p_va, PyObject **);
1202 if (PyBytes_Check(arg))
1203 *p = arg;
1204 else
1205 return converterr("bytes", arg, msgbuf, bufsize);
1206 break;
1207 }
1208
1209 case 'Y': { /* PyByteArray object */
1210 PyObject **p = va_arg(*p_va, PyObject **);
1211 if (PyByteArray_Check(arg))
1212 *p = arg;
1213 else
Victor Stinner5216e6d2010-06-08 21:45:51 +00001214 return converterr("bytearray", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001215 break;
1216 }
1217
1218 case 'U': { /* PyUnicode object */
1219 PyObject **p = va_arg(*p_va, PyObject **);
Victor Stinnera1b0c9f2012-05-29 12:30:29 +02001220 if (PyUnicode_Check(arg)) {
1221 if (PyUnicode_READY(arg) == -1)
1222 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001223 *p = arg;
Victor Stinnera1b0c9f2012-05-29 12:30:29 +02001224 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001225 else
1226 return converterr("str", arg, msgbuf, bufsize);
1227 break;
1228 }
1229
1230 case 'O': { /* object */
1231 PyTypeObject *type;
1232 PyObject **p;
1233 if (*format == '!') {
1234 type = va_arg(*p_va, PyTypeObject*);
1235 p = va_arg(*p_va, PyObject **);
1236 format++;
1237 if (PyType_IsSubtype(arg->ob_type, type))
1238 *p = arg;
1239 else
1240 return converterr(type->tp_name, arg, msgbuf, bufsize);
1241
1242 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001243 else if (*format == '&') {
1244 typedef int (*converter)(PyObject *, void *);
1245 converter convert = va_arg(*p_va, converter);
1246 void *addr = va_arg(*p_va, void *);
1247 int res;
1248 format++;
1249 if (! (res = (*convert)(arg, addr)))
1250 return converterr("(unspecified)",
1251 arg, msgbuf, bufsize);
1252 if (res == Py_CLEANUP_SUPPORTED &&
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001253 addcleanup(addr, freelist, convert) == -1)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001254 return converterr("(cleanup problem)",
1255 arg, msgbuf, bufsize);
1256 }
1257 else {
1258 p = va_arg(*p_va, PyObject **);
1259 *p = arg;
1260 }
1261 break;
1262 }
1263
1264
Victor Stinner25e8ec42010-06-25 00:02:38 +00001265 case 'w': { /* "w*": memory buffer, read-write access */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001266 void **p = va_arg(*p_va, void **);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001267
Victor Stinner25e8ec42010-06-25 00:02:38 +00001268 if (*format != '*')
1269 return converterr(
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001270 "(invalid use of 'w' format character)",
Victor Stinner25e8ec42010-06-25 00:02:38 +00001271 arg, msgbuf, bufsize);
1272 format++;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001273
Victor Stinner25e8ec42010-06-25 00:02:38 +00001274 /* Caller is interested in Py_buffer, and the object
1275 supports it directly. */
1276 if (PyObject_GetBuffer(arg, (Py_buffer*)p, PyBUF_WRITABLE) < 0) {
1277 PyErr_Clear();
R David Murray861470c2014-10-05 11:47:01 -04001278 return converterr("read-write bytes-like object",
1279 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001280 }
Victor Stinner8182b712010-07-28 00:40:58 +00001281 if (!PyBuffer_IsContiguous((Py_buffer*)p, 'C')) {
1282 PyBuffer_Release((Py_buffer*)p);
1283 return converterr("contiguous buffer", arg, msgbuf, bufsize);
1284 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001285 if (addcleanup(p, freelist, cleanup_buffer)) {
Victor Stinner25e8ec42010-06-25 00:02:38 +00001286 return converterr(
1287 "(cleanup problem)",
1288 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001289 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001290 break;
1291 }
1292
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001293 default:
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001294 return converterr("(impossible<bad format char>)", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001295
1296 }
1297
1298 *p_format = format;
1299 return NULL;
Victor Stinner6ab8e822011-01-04 11:16:49 +00001300
1301#undef FETCH_SIZE
1302#undef STORE_SIZE
1303#undef BUFFER_LEN
1304#undef RETURN_ERR_OCCURRED
Guido van Rossumfe3f1a21994-09-29 09:42:55 +00001305}
Guido van Rossumaa354651996-08-19 19:32:04 +00001306
Martin v. Löwis18e16552006-02-15 17:27:45 +00001307static Py_ssize_t
Serhiy Storchaka85b0f5b2016-11-20 10:16:47 +02001308convertbuffer(PyObject *arg, const void **p, const char **errmsg)
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +00001309{
Victor Stinner5cb62392010-06-06 20:27:51 +00001310 PyBufferProcs *pb = Py_TYPE(arg)->tp_as_buffer;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001311 Py_ssize_t count;
1312 Py_buffer view;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +00001313
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001314 *errmsg = NULL;
1315 *p = NULL;
Victor Stinner8182b712010-07-28 00:40:58 +00001316 if (pb != NULL && pb->bf_releasebuffer != NULL) {
R David Murray861470c2014-10-05 11:47:01 -04001317 *errmsg = "read-only bytes-like object";
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001318 return -1;
1319 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +00001320
Victor Stinner8182b712010-07-28 00:40:58 +00001321 if (getbuffer(arg, &view, errmsg) < 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001322 return -1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001323 count = view.len;
1324 *p = view.buf;
1325 PyBuffer_Release(&view);
1326 return count;
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +00001327}
Guido van Rossumaa354651996-08-19 19:32:04 +00001328
Martin v. Löwis423be952008-08-13 15:53:07 +00001329static int
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001330getbuffer(PyObject *arg, Py_buffer *view, const char **errmsg)
Martin v. Löwis423be952008-08-13 15:53:07 +00001331{
Victor Stinner8182b712010-07-28 00:40:58 +00001332 if (PyObject_GetBuffer(arg, view, PyBUF_SIMPLE) != 0) {
R David Murray861470c2014-10-05 11:47:01 -04001333 *errmsg = "bytes-like object";
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001334 return -1;
1335 }
Victor Stinner5cb62392010-06-06 20:27:51 +00001336 if (!PyBuffer_IsContiguous(view, 'C')) {
Victor Stinner21e09482010-06-24 22:57:10 +00001337 PyBuffer_Release(view);
Victor Stinner5cb62392010-06-06 20:27:51 +00001338 *errmsg = "contiguous buffer";
1339 return -1;
1340 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001341 return 0;
Martin v. Löwis423be952008-08-13 15:53:07 +00001342}
1343
Guido van Rossumaa354651996-08-19 19:32:04 +00001344/* Support for keyword arguments donated by
1345 Geoff Philbrick <philbric@delphi.hks.com> */
1346
Tim Petersf8cd3e82001-10-27 04:26:57 +00001347/* Return false (0) for error, else true. */
Fred Drake563dfc22001-10-23 14:41:08 +00001348int
1349PyArg_ParseTupleAndKeywords(PyObject *args,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001350 PyObject *keywords,
1351 const char *format,
1352 char **kwlist, ...)
Guido van Rossumaa354651996-08-19 19:32:04 +00001353{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001354 int retval;
1355 va_list va;
Tim Peters45772cd2001-10-27 03:58:40 +00001356
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001357 if ((args == NULL || !PyTuple_Check(args)) ||
1358 (keywords != NULL && !PyDict_Check(keywords)) ||
1359 format == NULL ||
1360 kwlist == NULL)
1361 {
1362 PyErr_BadInternalCall();
1363 return 0;
1364 }
Tim Peters45772cd2001-10-27 03:58:40 +00001365
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001366 va_start(va, kwlist);
1367 retval = vgetargskeywords(args, keywords, format, kwlist, &va, 0);
1368 va_end(va);
1369 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001370}
1371
1372int
1373_PyArg_ParseTupleAndKeywords_SizeT(PyObject *args,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001374 PyObject *keywords,
1375 const char *format,
1376 char **kwlist, ...)
Martin v. Löwis18e16552006-02-15 17:27:45 +00001377{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001378 int retval;
1379 va_list va;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001380
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001381 if ((args == NULL || !PyTuple_Check(args)) ||
1382 (keywords != NULL && !PyDict_Check(keywords)) ||
1383 format == NULL ||
1384 kwlist == NULL)
1385 {
1386 PyErr_BadInternalCall();
1387 return 0;
1388 }
Martin v. Löwis18e16552006-02-15 17:27:45 +00001389
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001390 va_start(va, kwlist);
1391 retval = vgetargskeywords(args, keywords, format,
1392 kwlist, &va, FLAG_SIZE_T);
1393 va_end(va);
1394 return retval;
Guido van Rossumaa354651996-08-19 19:32:04 +00001395}
1396
1397
Brett Cannon711e7d92004-07-10 22:20:32 +00001398int
1399PyArg_VaParseTupleAndKeywords(PyObject *args,
Jeremy Hyltonaf68c872005-12-10 18:50:16 +00001400 PyObject *keywords,
Guido van Rossum98297ee2007-11-06 21:34:58 +00001401 const char *format,
Martin v. Löwis15e62742006-02-27 16:46:16 +00001402 char **kwlist, va_list va)
Brett Cannon711e7d92004-07-10 22:20:32 +00001403{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001404 int retval;
1405 va_list lva;
Brett Cannon711e7d92004-07-10 22:20:32 +00001406
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001407 if ((args == NULL || !PyTuple_Check(args)) ||
1408 (keywords != NULL && !PyDict_Check(keywords)) ||
1409 format == NULL ||
1410 kwlist == NULL)
1411 {
1412 PyErr_BadInternalCall();
1413 return 0;
1414 }
Brett Cannon711e7d92004-07-10 22:20:32 +00001415
Benjamin Peterson0c212142016-09-20 20:39:33 -07001416 va_copy(lva, va);
Brett Cannon711e7d92004-07-10 22:20:32 +00001417
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001418 retval = vgetargskeywords(args, keywords, format, kwlist, &lva, 0);
Christian Heimes2f2fee12016-09-21 11:37:27 +02001419 va_end(lva);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001420 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001421}
1422
1423int
1424_PyArg_VaParseTupleAndKeywords_SizeT(PyObject *args,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001425 PyObject *keywords,
1426 const char *format,
1427 char **kwlist, va_list va)
Martin v. Löwis18e16552006-02-15 17:27:45 +00001428{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001429 int retval;
1430 va_list lva;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001431
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001432 if ((args == NULL || !PyTuple_Check(args)) ||
1433 (keywords != NULL && !PyDict_Check(keywords)) ||
1434 format == NULL ||
1435 kwlist == NULL)
1436 {
1437 PyErr_BadInternalCall();
1438 return 0;
1439 }
Martin v. Löwis18e16552006-02-15 17:27:45 +00001440
Benjamin Peterson0c212142016-09-20 20:39:33 -07001441 va_copy(lva, va);
Martin v. Löwis18e16552006-02-15 17:27:45 +00001442
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001443 retval = vgetargskeywords(args, keywords, format,
1444 kwlist, &lva, FLAG_SIZE_T);
Christian Heimes2f2fee12016-09-21 11:37:27 +02001445 va_end(lva);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001446 return retval;
Brett Cannon711e7d92004-07-10 22:20:32 +00001447}
1448
Benjamin Petersonfb886362010-04-24 18:21:17 +00001449int
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001450_PyArg_ParseTupleAndKeywordsFast(PyObject *args, PyObject *keywords,
1451 struct _PyArg_Parser *parser, ...)
1452{
1453 int retval;
1454 va_list va;
1455
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001456 va_start(va, parser);
1457 retval = vgetargskeywordsfast(args, keywords, parser, &va, 0);
1458 va_end(va);
1459 return retval;
1460}
1461
1462int
1463_PyArg_ParseTupleAndKeywordsFast_SizeT(PyObject *args, PyObject *keywords,
1464 struct _PyArg_Parser *parser, ...)
1465{
1466 int retval;
1467 va_list va;
1468
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001469 va_start(va, parser);
1470 retval = vgetargskeywordsfast(args, keywords, parser, &va, FLAG_SIZE_T);
1471 va_end(va);
1472 return retval;
1473}
1474
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001475int
Victor Stinner3e1fad62017-01-17 01:29:01 +01001476_PyArg_ParseStackAndKeywords(PyObject **args, Py_ssize_t nargs, PyObject *kwnames,
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001477 struct _PyArg_Parser *parser, ...)
1478{
1479 int retval;
1480 va_list va;
1481
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001482 va_start(va, parser);
1483 retval = vgetargskeywordsfast_impl(args, nargs, NULL, kwnames, parser, &va, 0);
1484 va_end(va);
1485 return retval;
1486}
1487
1488int
Victor Stinner3e1fad62017-01-17 01:29:01 +01001489_PyArg_ParseStackAndKeywords_SizeT(PyObject **args, Py_ssize_t nargs, PyObject *kwnames,
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001490 struct _PyArg_Parser *parser, ...)
1491{
1492 int retval;
1493 va_list va;
1494
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001495 va_start(va, parser);
1496 retval = vgetargskeywordsfast_impl(args, nargs, NULL, kwnames, parser, &va, FLAG_SIZE_T);
1497 va_end(va);
1498 return retval;
1499}
1500
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001501
1502int
1503_PyArg_VaParseTupleAndKeywordsFast(PyObject *args, PyObject *keywords,
1504 struct _PyArg_Parser *parser, va_list va)
1505{
1506 int retval;
1507 va_list lva;
1508
Benjamin Peterson0c212142016-09-20 20:39:33 -07001509 va_copy(lva, va);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001510
1511 retval = vgetargskeywordsfast(args, keywords, parser, &lva, 0);
Christian Heimes2f2fee12016-09-21 11:37:27 +02001512 va_end(lva);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001513 return retval;
1514}
1515
1516int
1517_PyArg_VaParseTupleAndKeywordsFast_SizeT(PyObject *args, PyObject *keywords,
1518 struct _PyArg_Parser *parser, va_list va)
1519{
1520 int retval;
1521 va_list lva;
1522
Benjamin Peterson0c212142016-09-20 20:39:33 -07001523 va_copy(lva, va);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001524
1525 retval = vgetargskeywordsfast(args, keywords, parser, &lva, FLAG_SIZE_T);
Christian Heimes2f2fee12016-09-21 11:37:27 +02001526 va_end(lva);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001527 return retval;
1528}
1529
1530int
Benjamin Petersonfb886362010-04-24 18:21:17 +00001531PyArg_ValidateKeywordArguments(PyObject *kwargs)
1532{
Benjamin Petersonf6096542010-11-17 22:33:12 +00001533 if (!PyDict_Check(kwargs)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001534 PyErr_BadInternalCall();
1535 return 0;
1536 }
1537 if (!_PyDict_HasOnlyStringKeys(kwargs)) {
1538 PyErr_SetString(PyExc_TypeError,
1539 "keyword arguments must be strings");
1540 return 0;
1541 }
1542 return 1;
Benjamin Petersonfb886362010-04-24 18:21:17 +00001543}
1544
Christian Heimes380f7f22008-02-28 11:19:05 +00001545#define IS_END_OF_FORMAT(c) (c == '\0' || c == ';' || c == ':')
Brett Cannon711e7d92004-07-10 22:20:32 +00001546
Guido van Rossumaa354651996-08-19 19:32:04 +00001547static int
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001548vgetargskeywords(PyObject *args, PyObject *kwargs, const char *format,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001549 char **kwlist, va_list *p_va, int flags)
Guido van Rossumaa354651996-08-19 19:32:04 +00001550{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001551 char msgbuf[512];
1552 int levels[32];
1553 const char *fname, *msg, *custom_msg, *keyword;
1554 int min = INT_MAX;
Larry Hastings83a9f482012-03-20 20:06:16 +00001555 int max = INT_MAX;
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001556 int i, pos, len;
1557 int skip = 0;
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001558 Py_ssize_t nargs, nkwargs;
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001559 PyObject *current_arg;
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001560 freelistentry_t static_entries[STATIC_FREELIST_ENTRIES];
Benjamin Peterson40be9e52014-02-11 10:09:27 -05001561 freelist_t freelist;
1562
1563 freelist.entries = static_entries;
1564 freelist.first_available = 0;
1565 freelist.entries_malloced = 0;
Tim Petersf4331c12001-10-27 00:17:34 +00001566
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001567 assert(args != NULL && PyTuple_Check(args));
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001568 assert(kwargs == NULL || PyDict_Check(kwargs));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001569 assert(format != NULL);
1570 assert(kwlist != NULL);
1571 assert(p_va != NULL);
Tim Peters45772cd2001-10-27 03:58:40 +00001572
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001573 /* grab the function name or custom error msg first (mutually exclusive) */
1574 fname = strchr(format, ':');
1575 if (fname) {
1576 fname++;
1577 custom_msg = NULL;
1578 }
1579 else {
1580 custom_msg = strchr(format,';');
1581 if (custom_msg)
1582 custom_msg++;
1583 }
Christian Heimes380f7f22008-02-28 11:19:05 +00001584
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001585 /* scan kwlist and count the number of positional-only parameters */
1586 for (pos = 0; kwlist[pos] && !*kwlist[pos]; pos++) {
1587 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001588 /* scan kwlist and get greatest possible nbr of args */
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001589 for (len = pos; kwlist[len]; len++) {
1590 if (!*kwlist[len]) {
1591 PyErr_SetString(PyExc_SystemError,
1592 "Empty keyword parameter name");
1593 return cleanreturn(0, &freelist);
1594 }
1595 }
Tim Petersf8cd3e82001-10-27 04:26:57 +00001596
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001597 if (len > STATIC_FREELIST_ENTRIES) {
1598 freelist.entries = PyMem_NEW(freelistentry_t, len);
1599 if (freelist.entries == NULL) {
1600 PyErr_NoMemory();
1601 return 0;
1602 }
1603 freelist.entries_malloced = 1;
Benjamin Peterson7ed67272012-03-16 12:21:02 -05001604 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001605
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001606 nargs = PyTuple_GET_SIZE(args);
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001607 nkwargs = (kwargs == NULL) ? 0 : PyDict_GET_SIZE(kwargs);
1608 if (nargs + nkwargs > len) {
Victor Stinner6ced7c42011-03-21 18:15:42 +01001609 PyErr_Format(PyExc_TypeError,
Victor Stinnercb29ec52013-11-18 02:05:31 +01001610 "%s%s takes at most %d argument%s (%zd given)",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001611 (fname == NULL) ? "function" : fname,
1612 (fname == NULL) ? "" : "()",
1613 len,
1614 (len == 1) ? "" : "s",
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001615 nargs + nkwargs);
Benjamin Peterson01feaec2012-03-16 13:25:58 -05001616 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001617 }
Tim Petersc2f01122001-10-27 07:25:06 +00001618
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001619 /* convert tuple args and keyword args in same loop, using kwlist to drive process */
1620 for (i = 0; i < len; i++) {
1621 keyword = kwlist[i];
1622 if (*format == '|') {
Larry Hastings83a9f482012-03-20 20:06:16 +00001623 if (min != INT_MAX) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001624 PyErr_SetString(PyExc_SystemError,
Larry Hastings83a9f482012-03-20 20:06:16 +00001625 "Invalid format string (| specified twice)");
1626 return cleanreturn(0, &freelist);
1627 }
1628
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001629 min = i;
1630 format++;
Larry Hastings83a9f482012-03-20 20:06:16 +00001631
1632 if (max != INT_MAX) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001633 PyErr_SetString(PyExc_SystemError,
Larry Hastings83a9f482012-03-20 20:06:16 +00001634 "Invalid format string ($ before |)");
1635 return cleanreturn(0, &freelist);
1636 }
1637 }
1638 if (*format == '$') {
1639 if (max != INT_MAX) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001640 PyErr_SetString(PyExc_SystemError,
Larry Hastings83a9f482012-03-20 20:06:16 +00001641 "Invalid format string ($ specified twice)");
1642 return cleanreturn(0, &freelist);
1643 }
1644
1645 max = i;
1646 format++;
1647
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001648 if (max < pos) {
1649 PyErr_SetString(PyExc_SystemError,
1650 "Empty parameter name after $");
1651 return cleanreturn(0, &freelist);
1652 }
1653 if (skip) {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001654 /* Now we know the minimal and the maximal numbers of
1655 * positional arguments and can raise an exception with
1656 * informative message (see below). */
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001657 break;
1658 }
Larry Hastings83a9f482012-03-20 20:06:16 +00001659 if (max < nargs) {
1660 PyErr_Format(PyExc_TypeError,
1661 "Function takes %s %d positional arguments"
1662 " (%d given)",
1663 (min != INT_MAX) ? "at most" : "exactly",
1664 max, nargs);
1665 return cleanreturn(0, &freelist);
1666 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001667 }
1668 if (IS_END_OF_FORMAT(*format)) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001669 PyErr_Format(PyExc_SystemError,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001670 "More keyword list entries (%d) than "
1671 "format specifiers (%d)", len, i);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001672 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001673 }
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001674 if (!skip) {
1675 current_arg = NULL;
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001676 if (nkwargs && i >= pos) {
1677 current_arg = PyDict_GetItemString(kwargs, keyword);
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001678 if (!current_arg && PyErr_Occurred()) {
1679 return cleanreturn(0, &freelist);
1680 }
1681 }
1682 if (current_arg) {
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001683 --nkwargs;
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001684 if (i < nargs) {
1685 /* arg present in tuple and in dict */
1686 PyErr_Format(PyExc_TypeError,
1687 "Argument given by name ('%s') "
1688 "and position (%d)",
1689 keyword, i+1);
1690 return cleanreturn(0, &freelist);
1691 }
1692 }
1693 else if (i < nargs)
1694 current_arg = PyTuple_GET_ITEM(args, i);
1695
1696 if (current_arg) {
1697 msg = convertitem(current_arg, &format, p_va, flags,
1698 levels, msgbuf, sizeof(msgbuf), &freelist);
1699 if (msg) {
1700 seterror(i+1, msg, levels, fname, custom_msg);
1701 return cleanreturn(0, &freelist);
1702 }
1703 continue;
1704 }
1705
1706 if (i < min) {
1707 if (i < pos) {
1708 assert (min == INT_MAX);
1709 assert (max == INT_MAX);
1710 skip = 1;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001711 /* At that moment we still don't know the minimal and
1712 * the maximal numbers of positional arguments. Raising
1713 * an exception is deferred until we encounter | and $
1714 * or the end of the format. */
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001715 }
1716 else {
1717 PyErr_Format(PyExc_TypeError, "Required argument "
1718 "'%s' (pos %d) not found",
1719 keyword, i+1);
1720 return cleanreturn(0, &freelist);
1721 }
1722 }
1723 /* current code reports success when all required args
1724 * fulfilled and no keyword args left, with no further
1725 * validation. XXX Maybe skip this in debug build ?
1726 */
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001727 if (!nkwargs && !skip) {
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001728 return cleanreturn(1, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001729 }
1730 }
Guido van Rossumaa354651996-08-19 19:32:04 +00001731
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001732 /* We are into optional args, skip thru to any remaining
1733 * keyword args */
1734 msg = skipitem(&format, p_va, flags);
1735 if (msg) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001736 PyErr_Format(PyExc_SystemError, "%s: '%s'", msg,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001737 format);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001738 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001739 }
1740 }
Tim Petersb054be42001-10-27 05:07:41 +00001741
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001742 if (skip) {
1743 PyErr_Format(PyExc_TypeError,
1744 "Function takes %s %d positional arguments"
1745 " (%d given)",
1746 (Py_MIN(pos, min) < i) ? "at least" : "exactly",
1747 Py_MIN(pos, min), nargs);
1748 return cleanreturn(0, &freelist);
1749 }
1750
Larry Hastings83a9f482012-03-20 20:06:16 +00001751 if (!IS_END_OF_FORMAT(*format) && (*format != '|') && (*format != '$')) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001752 PyErr_Format(PyExc_SystemError,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001753 "more argument specifiers than keyword list entries "
1754 "(remaining format:'%s')", format);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001755 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001756 }
Tim Petersc2f01122001-10-27 07:25:06 +00001757
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001758 /* make sure there are no extraneous keyword arguments */
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001759 if (nkwargs > 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001760 PyObject *key, *value;
1761 Py_ssize_t pos = 0;
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001762 while (PyDict_Next(kwargs, &pos, &key, &value)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001763 int match = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001764 if (!PyUnicode_Check(key)) {
1765 PyErr_SetString(PyExc_TypeError,
1766 "keywords must be strings");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001767 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001768 }
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001769 for (i = 0; i < len; i++) {
Serhiy Storchaka3b73ea12016-11-16 10:19:20 +02001770 if (*kwlist[i] && _PyUnicode_EqualToASCIIString(key, kwlist[i])) {
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001771 match = 1;
1772 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001773 }
1774 }
1775 if (!match) {
1776 PyErr_Format(PyExc_TypeError,
Victor Stinner93b55132010-05-19 00:54:06 +00001777 "'%U' is an invalid keyword "
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001778 "argument for this function",
Victor Stinner93b55132010-05-19 00:54:06 +00001779 key);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001780 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001781 }
1782 }
1783 }
1784
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001785 return cleanreturn(1, &freelist);
Guido van Rossumaa354651996-08-19 19:32:04 +00001786}
1787
1788
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001789/* List of static parsers. */
1790static struct _PyArg_Parser *static_arg_parsers = NULL;
1791
1792static int
1793parser_init(struct _PyArg_Parser *parser)
1794{
1795 const char * const *keywords;
1796 const char *format, *msg;
1797 int i, len, min, max, nkw;
1798 PyObject *kwtuple;
1799
1800 assert(parser->format != NULL);
1801 assert(parser->keywords != NULL);
1802 if (parser->kwtuple != NULL) {
1803 return 1;
1804 }
1805
1806 /* grab the function name or custom error msg first (mutually exclusive) */
1807 parser->fname = strchr(parser->format, ':');
1808 if (parser->fname) {
1809 parser->fname++;
1810 parser->custom_msg = NULL;
1811 }
1812 else {
1813 parser->custom_msg = strchr(parser->format,';');
1814 if (parser->custom_msg)
1815 parser->custom_msg++;
1816 }
1817
1818 keywords = parser->keywords;
1819 /* scan keywords and count the number of positional-only parameters */
1820 for (i = 0; keywords[i] && !*keywords[i]; i++) {
1821 }
1822 parser->pos = i;
1823 /* scan keywords and get greatest possible nbr of args */
1824 for (; keywords[i]; i++) {
1825 if (!*keywords[i]) {
1826 PyErr_SetString(PyExc_SystemError,
1827 "Empty keyword parameter name");
1828 return 0;
1829 }
1830 }
1831 len = i;
1832
1833 min = max = INT_MAX;
1834 format = parser->format;
1835 for (i = 0; i < len; i++) {
1836 if (*format == '|') {
1837 if (min != INT_MAX) {
1838 PyErr_SetString(PyExc_SystemError,
1839 "Invalid format string (| specified twice)");
1840 return 0;
1841 }
1842 if (max != INT_MAX) {
1843 PyErr_SetString(PyExc_SystemError,
1844 "Invalid format string ($ before |)");
1845 return 0;
1846 }
1847 min = i;
1848 format++;
1849 }
1850 if (*format == '$') {
1851 if (max != INT_MAX) {
1852 PyErr_SetString(PyExc_SystemError,
1853 "Invalid format string ($ specified twice)");
1854 return 0;
1855 }
1856 if (i < parser->pos) {
1857 PyErr_SetString(PyExc_SystemError,
1858 "Empty parameter name after $");
1859 return 0;
1860 }
1861 max = i;
1862 format++;
1863 }
1864 if (IS_END_OF_FORMAT(*format)) {
1865 PyErr_Format(PyExc_SystemError,
1866 "More keyword list entries (%d) than "
1867 "format specifiers (%d)", len, i);
1868 return 0;
1869 }
1870
1871 msg = skipitem(&format, NULL, 0);
1872 if (msg) {
1873 PyErr_Format(PyExc_SystemError, "%s: '%s'", msg,
1874 format);
1875 return 0;
1876 }
1877 }
1878 parser->min = Py_MIN(min, len);
1879 parser->max = Py_MIN(max, len);
1880
1881 if (!IS_END_OF_FORMAT(*format) && (*format != '|') && (*format != '$')) {
1882 PyErr_Format(PyExc_SystemError,
1883 "more argument specifiers than keyword list entries "
1884 "(remaining format:'%s')", format);
1885 return 0;
1886 }
1887
1888 nkw = len - parser->pos;
1889 kwtuple = PyTuple_New(nkw);
1890 if (kwtuple == NULL) {
1891 return 0;
1892 }
1893 keywords = parser->keywords + parser->pos;
1894 for (i = 0; i < nkw; i++) {
1895 PyObject *str = PyUnicode_FromString(keywords[i]);
1896 if (str == NULL) {
1897 Py_DECREF(kwtuple);
1898 return 0;
1899 }
1900 PyUnicode_InternInPlace(&str);
1901 PyTuple_SET_ITEM(kwtuple, i, str);
1902 }
1903 parser->kwtuple = kwtuple;
1904
1905 assert(parser->next == NULL);
1906 parser->next = static_arg_parsers;
1907 static_arg_parsers = parser;
1908 return 1;
1909}
1910
1911static void
1912parser_clear(struct _PyArg_Parser *parser)
1913{
1914 Py_CLEAR(parser->kwtuple);
1915}
1916
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001917static PyObject*
1918find_keyword(PyObject *kwnames, PyObject **kwstack, PyObject *key)
1919{
1920 Py_ssize_t i, nkwargs;
1921
1922 nkwargs = PyTuple_GET_SIZE(kwnames);
1923 for (i=0; i < nkwargs; i++) {
1924 PyObject *kwname = PyTuple_GET_ITEM(kwnames, i);
1925
1926 /* ptr==ptr should match in most cases since keyword keys
1927 should be interned strings */
1928 if (kwname == key) {
1929 return kwstack[i];
1930 }
1931 if (!PyUnicode_Check(kwname)) {
1932 /* ignore non-string keyword keys:
1933 an error will be raised above */
1934 continue;
1935 }
1936 if (_PyUnicode_EQ(kwname, key)) {
1937 return kwstack[i];
1938 }
1939 }
1940 return NULL;
1941}
1942
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001943static int
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001944vgetargskeywordsfast_impl(PyObject **args, Py_ssize_t nargs,
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001945 PyObject *kwargs, PyObject *kwnames,
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001946 struct _PyArg_Parser *parser,
1947 va_list *p_va, int flags)
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001948{
1949 PyObject *kwtuple;
1950 char msgbuf[512];
1951 int levels[32];
1952 const char *format;
1953 const char *msg;
1954 PyObject *keyword;
1955 int i, pos, len;
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001956 Py_ssize_t nkwargs;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001957 PyObject *current_arg;
1958 freelistentry_t static_entries[STATIC_FREELIST_ENTRIES];
1959 freelist_t freelist;
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001960 PyObject **kwstack = NULL;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001961
1962 freelist.entries = static_entries;
1963 freelist.first_available = 0;
1964 freelist.entries_malloced = 0;
1965
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001966 assert(kwargs == NULL || PyDict_Check(kwargs));
1967 assert((kwargs != NULL || kwnames != NULL)
1968 || (kwargs == NULL && kwnames == NULL));
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001969 assert(p_va != NULL);
1970
Victor Stinner80ab22f2017-01-16 23:16:47 +01001971 if (parser == NULL) {
1972 PyErr_BadInternalCall();
1973 return 0;
1974 }
1975
1976 if (kwnames != NULL && !PyTuple_Check(kwnames)) {
1977 PyErr_BadInternalCall();
1978 return 0;
1979 }
1980
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001981 if (!parser_init(parser)) {
1982 return 0;
1983 }
1984
1985 kwtuple = parser->kwtuple;
1986 pos = parser->pos;
1987 len = pos + PyTuple_GET_SIZE(kwtuple);
1988
1989 if (len > STATIC_FREELIST_ENTRIES) {
1990 freelist.entries = PyMem_NEW(freelistentry_t, len);
1991 if (freelist.entries == NULL) {
1992 PyErr_NoMemory();
1993 return 0;
1994 }
1995 freelist.entries_malloced = 1;
1996 }
1997
Victor Stinnerc0083fc2017-01-17 00:37:42 +01001998 if (kwargs != NULL) {
1999 nkwargs = PyDict_GET_SIZE(kwargs);
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002000 }
2001 else if (kwnames != NULL) {
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002002 nkwargs = PyTuple_GET_SIZE(kwnames);
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002003 kwstack = args + nargs;
2004 }
2005 else {
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002006 nkwargs = 0;
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002007 }
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002008 if (nargs + nkwargs > len) {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002009 PyErr_Format(PyExc_TypeError,
2010 "%s%s takes at most %d argument%s (%zd given)",
2011 (parser->fname == NULL) ? "function" : parser->fname,
2012 (parser->fname == NULL) ? "" : "()",
2013 len,
2014 (len == 1) ? "" : "s",
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002015 nargs + nkwargs);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002016 return cleanreturn(0, &freelist);
2017 }
2018 if (parser->max < nargs) {
2019 PyErr_Format(PyExc_TypeError,
2020 "Function takes %s %d positional arguments (%d given)",
2021 (parser->min != INT_MAX) ? "at most" : "exactly",
2022 parser->max, nargs);
2023 return cleanreturn(0, &freelist);
2024 }
2025
2026 format = parser->format;
2027 /* convert tuple args and keyword args in same loop, using kwtuple to drive process */
2028 for (i = 0; i < len; i++) {
2029 keyword = (i >= pos) ? PyTuple_GET_ITEM(kwtuple, i - pos) : NULL;
2030 if (*format == '|') {
2031 format++;
2032 }
2033 if (*format == '$') {
2034 format++;
2035 }
2036 assert(!IS_END_OF_FORMAT(*format));
2037
2038 current_arg = NULL;
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002039 if (nkwargs && i >= pos) {
2040 if (kwargs != NULL) {
2041 current_arg = PyDict_GetItem(kwargs, keyword);
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002042 if (!current_arg && PyErr_Occurred()) {
2043 return cleanreturn(0, &freelist);
2044 }
2045 }
2046 else {
2047 current_arg = find_keyword(kwnames, kwstack, keyword);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002048 }
2049 }
2050 if (current_arg) {
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002051 --nkwargs;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002052 if (i < nargs) {
2053 /* arg present in tuple and in dict */
2054 PyErr_Format(PyExc_TypeError,
2055 "Argument given by name ('%U') "
2056 "and position (%d)",
2057 keyword, i+1);
2058 return cleanreturn(0, &freelist);
2059 }
2060 }
Victor Stinnera9efb2f2016-09-09 17:40:22 -07002061 else if (i < nargs) {
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002062 current_arg = args[i];
Victor Stinnera9efb2f2016-09-09 17:40:22 -07002063 }
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002064
2065 if (current_arg) {
2066 msg = convertitem(current_arg, &format, p_va, flags,
2067 levels, msgbuf, sizeof(msgbuf), &freelist);
2068 if (msg) {
2069 seterror(i+1, msg, levels, parser->fname, parser->custom_msg);
2070 return cleanreturn(0, &freelist);
2071 }
2072 continue;
2073 }
2074
2075 if (i < parser->min) {
2076 /* Less arguments than required */
2077 if (i < pos) {
2078 PyErr_Format(PyExc_TypeError,
2079 "Function takes %s %d positional arguments"
2080 " (%d given)",
2081 (Py_MIN(pos, parser->min) < parser->max) ? "at least" : "exactly",
2082 Py_MIN(pos, parser->min), nargs);
2083 }
2084 else {
2085 PyErr_Format(PyExc_TypeError, "Required argument "
2086 "'%U' (pos %d) not found",
2087 keyword, i+1);
2088 }
2089 return cleanreturn(0, &freelist);
2090 }
2091 /* current code reports success when all required args
2092 * fulfilled and no keyword args left, with no further
2093 * validation. XXX Maybe skip this in debug build ?
2094 */
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002095 if (!nkwargs) {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002096 return cleanreturn(1, &freelist);
2097 }
2098
2099 /* We are into optional args, skip thru to any remaining
2100 * keyword args */
2101 msg = skipitem(&format, p_va, flags);
2102 assert(msg == NULL);
2103 }
2104
2105 assert(IS_END_OF_FORMAT(*format) || (*format == '|') || (*format == '$'));
2106
2107 /* make sure there are no extraneous keyword arguments */
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002108 if (nkwargs > 0) {
2109 if (kwargs != NULL) {
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002110 PyObject *key, *value;
2111 Py_ssize_t pos = 0;
Victor Stinnerc0083fc2017-01-17 00:37:42 +01002112 while (PyDict_Next(kwargs, &pos, &key, &value)) {
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002113 int match;
2114 if (!PyUnicode_Check(key)) {
2115 PyErr_SetString(PyExc_TypeError,
2116 "keywords must be strings");
2117 return cleanreturn(0, &freelist);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002118 }
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002119 match = PySequence_Contains(kwtuple, key);
2120 if (match <= 0) {
2121 if (!match) {
2122 PyErr_Format(PyExc_TypeError,
2123 "'%U' is an invalid keyword "
2124 "argument for this function",
2125 key);
2126 }
2127 return cleanreturn(0, &freelist);
2128 }
2129 }
2130 }
2131 else {
2132 Py_ssize_t j, nkwargs;
2133
2134 nkwargs = PyTuple_GET_SIZE(kwnames);
2135 for (j=0; j < nkwargs; j++) {
2136 PyObject *key = PyTuple_GET_ITEM(kwnames, j);
2137 int match;
2138
2139 if (!PyUnicode_Check(key)) {
2140 PyErr_SetString(PyExc_TypeError,
2141 "keywords must be strings");
2142 return cleanreturn(0, &freelist);
2143 }
2144
2145 match = PySequence_Contains(kwtuple, key);
2146 if (match <= 0) {
2147 if (!match) {
2148 PyErr_Format(PyExc_TypeError,
2149 "'%U' is an invalid keyword "
2150 "argument for this function",
2151 key);
2152 }
2153 return cleanreturn(0, &freelist);
2154 }
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002155 }
2156 }
2157 }
2158
2159 return cleanreturn(1, &freelist);
2160}
2161
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002162static int
2163vgetargskeywordsfast(PyObject *args, PyObject *keywords,
2164 struct _PyArg_Parser *parser, va_list *p_va, int flags)
2165{
2166 PyObject **stack;
2167 Py_ssize_t nargs;
2168
Victor Stinner80ab22f2017-01-16 23:16:47 +01002169 if (args == NULL
2170 || !PyTuple_Check(args)
2171 || (keywords != NULL && !PyDict_Check(keywords)))
2172 {
2173 PyErr_BadInternalCall();
2174 return 0;
2175 }
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002176
2177 stack = &PyTuple_GET_ITEM(args, 0);
2178 nargs = PyTuple_GET_SIZE(args);
2179 return vgetargskeywordsfast_impl(stack, nargs, keywords, NULL,
2180 parser, p_va, flags);
2181}
2182
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002183
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02002184static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +00002185skipitem(const char **p_format, va_list *p_va, int flags)
Guido van Rossumaa354651996-08-19 19:32:04 +00002186{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002187 const char *format = *p_format;
2188 char c = *format++;
Guido van Rossum98297ee2007-11-06 21:34:58 +00002189
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002190 switch (c) {
Georg Brandl6dd14612005-09-14 19:29:53 +00002191
Larry Hastingsa3479012012-05-08 23:52:03 -07002192 /*
2193 * codes that take a single data pointer as an argument
2194 * (the type of the pointer is irrelevant)
2195 */
Georg Brandl6dd14612005-09-14 19:29:53 +00002196
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002197 case 'b': /* byte -- very short int */
2198 case 'B': /* byte as bitfield */
2199 case 'h': /* short int */
2200 case 'H': /* short int as bitfield */
2201 case 'i': /* int */
2202 case 'I': /* int sized bitfield */
2203 case 'l': /* long int */
2204 case 'k': /* long int sized bitfield */
Benjamin Petersonaf580df2016-09-06 10:46:49 -07002205 case 'L': /* long long */
2206 case 'K': /* long long sized bitfield */
Larry Hastingsa3479012012-05-08 23:52:03 -07002207 case 'n': /* Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002208 case 'f': /* float */
2209 case 'd': /* double */
2210 case 'D': /* complex double */
2211 case 'c': /* char */
2212 case 'C': /* unicode char */
Larry Hastings10ba07a2012-05-07 02:44:50 -07002213 case 'p': /* boolean predicate */
Larry Hastingsa3479012012-05-08 23:52:03 -07002214 case 'S': /* string object */
2215 case 'Y': /* string object */
2216 case 'U': /* unicode string object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002217 {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002218 if (p_va != NULL) {
2219 (void) va_arg(*p_va, void *);
2220 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002221 break;
2222 }
Martin v. Löwis18e16552006-02-15 17:27:45 +00002223
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002224 /* string codes */
Guido van Rossum98297ee2007-11-06 21:34:58 +00002225
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002226 case 'e': /* string with encoding */
2227 {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002228 if (p_va != NULL) {
2229 (void) va_arg(*p_va, const char *);
2230 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002231 if (!(*format == 's' || *format == 't'))
2232 /* after 'e', only 's' and 't' is allowed */
2233 goto err;
2234 format++;
2235 /* explicit fallthrough to string cases */
2236 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00002237
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002238 case 's': /* string */
2239 case 'z': /* string or None */
2240 case 'y': /* bytes */
2241 case 'u': /* unicode string */
Larry Hastingsd9e4a412012-05-08 03:51:18 -07002242 case 'Z': /* unicode string or None */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002243 case 'w': /* buffer, read-write */
2244 {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002245 if (p_va != NULL) {
2246 (void) va_arg(*p_va, char **);
2247 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002248 if (*format == '#') {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002249 if (p_va != NULL) {
2250 if (flags & FLAG_SIZE_T)
2251 (void) va_arg(*p_va, Py_ssize_t *);
2252 else
2253 (void) va_arg(*p_va, int *);
2254 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002255 format++;
2256 } else if ((c == 's' || c == 'z' || c == 'y') && *format == '*') {
2257 format++;
2258 }
2259 break;
2260 }
Georg Brandl6dd14612005-09-14 19:29:53 +00002261
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002262 case 'O': /* object */
2263 {
2264 if (*format == '!') {
2265 format++;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002266 if (p_va != NULL) {
2267 (void) va_arg(*p_va, PyTypeObject*);
2268 (void) va_arg(*p_va, PyObject **);
2269 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002270 }
2271 else if (*format == '&') {
2272 typedef int (*converter)(PyObject *, void *);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002273 if (p_va != NULL) {
2274 (void) va_arg(*p_va, converter);
2275 (void) va_arg(*p_va, void *);
2276 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002277 format++;
2278 }
2279 else {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002280 if (p_va != NULL) {
2281 (void) va_arg(*p_va, PyObject **);
2282 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002283 }
2284 break;
2285 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00002286
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002287 case '(': /* bypass tuple, not handled at all previously */
2288 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02002289 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002290 for (;;) {
2291 if (*format==')')
2292 break;
2293 if (IS_END_OF_FORMAT(*format))
2294 return "Unmatched left paren in format "
2295 "string";
2296 msg = skipitem(&format, p_va, flags);
2297 if (msg)
2298 return msg;
2299 }
2300 format++;
2301 break;
2302 }
Christian Heimes380f7f22008-02-28 11:19:05 +00002303
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002304 case ')':
2305 return "Unmatched right paren in format string";
Christian Heimes380f7f22008-02-28 11:19:05 +00002306
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002307 default:
Georg Brandl6dd14612005-09-14 19:29:53 +00002308err:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002309 return "impossible<bad format char>";
Guido van Rossum98297ee2007-11-06 21:34:58 +00002310
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002311 }
Georg Brandl6dd14612005-09-14 19:29:53 +00002312
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002313 *p_format = format;
2314 return NULL;
Guido van Rossumaa354651996-08-19 19:32:04 +00002315}
Fred Drakee4616e62001-10-23 21:09:29 +00002316
2317
2318int
Martin v. Löwis76246742006-03-01 04:06:10 +00002319PyArg_UnpackTuple(PyObject *args, const char *name, Py_ssize_t min, Py_ssize_t max, ...)
Fred Drakee4616e62001-10-23 21:09:29 +00002320{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002321 Py_ssize_t i, l;
2322 PyObject **o;
2323 va_list vargs;
Fred Drakee4616e62001-10-23 21:09:29 +00002324
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002325 assert(min >= 0);
2326 assert(min <= max);
2327 if (!PyTuple_Check(args)) {
2328 PyErr_SetString(PyExc_SystemError,
2329 "PyArg_UnpackTuple() argument list is not a tuple");
2330 return 0;
2331 }
2332 l = PyTuple_GET_SIZE(args);
2333 if (l < min) {
2334 if (name != NULL)
2335 PyErr_Format(
2336 PyExc_TypeError,
2337 "%s expected %s%zd arguments, got %zd",
2338 name, (min == max ? "" : "at least "), min, l);
2339 else
2340 PyErr_Format(
2341 PyExc_TypeError,
2342 "unpacked tuple should have %s%zd elements,"
2343 " but has %zd",
2344 (min == max ? "" : "at least "), min, l);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002345 return 0;
2346 }
Raymond Hettinger94230232016-03-26 03:02:48 -07002347 if (l == 0)
2348 return 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002349 if (l > max) {
2350 if (name != NULL)
2351 PyErr_Format(
2352 PyExc_TypeError,
2353 "%s expected %s%zd arguments, got %zd",
2354 name, (min == max ? "" : "at most "), max, l);
2355 else
2356 PyErr_Format(
2357 PyExc_TypeError,
2358 "unpacked tuple should have %s%zd elements,"
2359 " but has %zd",
2360 (min == max ? "" : "at most "), max, l);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002361 return 0;
2362 }
Raymond Hettinger94230232016-03-26 03:02:48 -07002363
2364#ifdef HAVE_STDARG_PROTOTYPES
2365 va_start(vargs, max);
2366#else
2367 va_start(vargs);
2368#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002369 for (i = 0; i < l; i++) {
2370 o = va_arg(vargs, PyObject **);
2371 *o = PyTuple_GET_ITEM(args, i);
2372 }
2373 va_end(vargs);
2374 return 1;
Fred Drakee4616e62001-10-23 21:09:29 +00002375}
Georg Brandl02c42872005-08-26 06:42:30 +00002376
2377
2378/* For type constructors that don't take keyword args
2379 *
Larry Hastingsb7ccb202014-01-18 23:50:21 -08002380 * Sets a TypeError and returns 0 if the args/kwargs is
Thomas Wouters89f507f2006-12-13 04:49:30 +00002381 * not empty, returns 1 otherwise
Georg Brandl02c42872005-08-26 06:42:30 +00002382 */
2383int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +00002384_PyArg_NoKeywords(const char *funcname, PyObject *kw)
Georg Brandl02c42872005-08-26 06:42:30 +00002385{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002386 if (kw == NULL)
2387 return 1;
2388 if (!PyDict_CheckExact(kw)) {
2389 PyErr_BadInternalCall();
2390 return 0;
2391 }
Serhiy Storchaka5ab81d72016-12-16 16:18:57 +02002392 if (PyDict_GET_SIZE(kw) == 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002393 return 1;
Guido van Rossum98297ee2007-11-06 21:34:58 +00002394
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002395 PyErr_Format(PyExc_TypeError, "%s does not take keyword arguments",
2396 funcname);
2397 return 0;
Georg Brandl02c42872005-08-26 06:42:30 +00002398}
Larry Hastingsb7ccb202014-01-18 23:50:21 -08002399
2400
2401int
2402_PyArg_NoPositional(const char *funcname, PyObject *args)
2403{
2404 if (args == NULL)
2405 return 1;
2406 if (!PyTuple_CheckExact(args)) {
2407 PyErr_BadInternalCall();
2408 return 0;
2409 }
2410 if (PyTuple_GET_SIZE(args) == 0)
2411 return 1;
2412
2413 PyErr_Format(PyExc_TypeError, "%s does not take positional arguments",
2414 funcname);
2415 return 0;
2416}
2417
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002418void
2419_PyArg_Fini(void)
2420{
2421 struct _PyArg_Parser *tmp, *s = static_arg_parsers;
2422 while (s) {
2423 tmp = s->next;
2424 s->next = NULL;
2425 parser_clear(s);
2426 s = tmp;
2427 }
2428 static_arg_parsers = NULL;
2429}
2430
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002431#ifdef __cplusplus
2432};
2433#endif