blob: 87a5d26a88081298cb0f6e7cbfb5ca7186e6d379 [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 *, ...);
Benjamin Peterson819a46f2016-09-09 20:45:06 -070029PyAPI_FUNC(int) _PyArg_ParseStack_SizeT(PyObject **args, Py_ssize_t nargs, PyObject *kwnames,
30 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 *);
77static Py_ssize_t convertbuffer(PyObject *, void **p, const char **);
78static 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;
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000144
Alexander Belopolskyf0f45142010-08-11 17:31:17 +0000145 Py_VA_COPY(lva, va);
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000146
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000147 return vgetargs1(args, format, &lva, 0);
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000148}
149
Martin v. Löwis18e16552006-02-15 17:27:45 +0000150int
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200151_PyArg_VaParse_SizeT(PyObject *args, const char *format, va_list va)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000152{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000153 va_list lva;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000154
Alexander Belopolskyf0f45142010-08-11 17:31:17 +0000155 Py_VA_COPY(lva, va);
Martin v. Löwis18e16552006-02-15 17:27:45 +0000156
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000157 return vgetargs1(args, format, &lva, FLAG_SIZE_T);
Martin v. Löwis18e16552006-02-15 17:27:45 +0000158}
159
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000160
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000161/* Handle cleanup of allocated memory in case of exception */
162
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400163static int
164cleanup_ptr(PyObject *self, void *ptr)
Antoine Pitrouf71995782008-08-29 18:37:05 +0000165{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000166 if (ptr) {
167 PyMem_FREE(ptr);
168 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000169 return 0;
Martin v. Löwisc15bdef2009-05-29 14:47:46 +0000170}
171
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000172static int
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400173cleanup_buffer(PyObject *self, void *ptr)
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000174{
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400175 Py_buffer *buf = (Py_buffer *)ptr;
176 if (buf) {
177 PyBuffer_Release(buf);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000178 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400179 return 0;
180}
181
182static int
183addcleanup(void *ptr, freelist_t *freelist, destr_t destructor)
184{
185 int index;
186
187 index = freelist->first_available;
188 freelist->first_available += 1;
189
190 freelist->entries[index].item = ptr;
191 freelist->entries[index].destructor = destructor;
192
193 return 0;
194}
195
196static int
197cleanreturn(int retval, freelist_t *freelist)
198{
199 int index;
200
201 if (retval == 0) {
202 /* A failure occurred, therefore execute all of the cleanup
203 functions.
204 */
205 for (index = 0; index < freelist->first_available; ++index) {
206 freelist->entries[index].destructor(NULL,
207 freelist->entries[index].item);
208 }
209 }
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100210 if (freelist->entries_malloced)
211 PyMem_FREE(freelist->entries);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000212 return retval;
Martin v. Löwise6bbb4d2003-05-03 10:00:22 +0000213}
214
215
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000216static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000217vgetargs1(PyObject *args, const char *format, va_list *p_va, int flags)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000218{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000219 char msgbuf[256];
220 int levels[32];
221 const char *fname = NULL;
222 const char *message = NULL;
223 int min = -1;
224 int max = 0;
225 int level = 0;
226 int endfmt = 0;
227 const char *formatsave = format;
228 Py_ssize_t i, len;
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200229 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000230 int compat = flags & FLAG_COMPAT;
Benjamin Peterson40be9e52014-02-11 10:09:27 -0500231 freelistentry_t static_entries[STATIC_FREELIST_ENTRIES];
232 freelist_t freelist;
233
234 freelist.entries = static_entries;
235 freelist.first_available = 0;
236 freelist.entries_malloced = 0;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000237
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000238 assert(compat || (args != (PyObject*)NULL));
239 flags = flags & ~FLAG_COMPAT;
Tim Peters5c4d5bf2001-02-12 22:13:26 +0000240
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000241 while (endfmt == 0) {
242 int c = *format++;
243 switch (c) {
244 case '(':
245 if (level == 0)
246 max++;
247 level++;
248 if (level >= 30)
249 Py_FatalError("too many tuple nesting levels "
250 "in argument format string");
251 break;
252 case ')':
253 if (level == 0)
254 Py_FatalError("excess ')' in getargs format");
255 else
256 level--;
257 break;
258 case '\0':
259 endfmt = 1;
260 break;
261 case ':':
262 fname = format;
263 endfmt = 1;
264 break;
265 case ';':
266 message = format;
267 endfmt = 1;
268 break;
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100269 case '|':
270 if (level == 0)
271 min = max;
272 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000273 default:
274 if (level == 0) {
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100275 if (Py_ISALPHA(Py_CHARMASK(c)))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000276 if (c != 'e') /* skip encoded */
277 max++;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000278 }
279 break;
280 }
281 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000282
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000283 if (level != 0)
284 Py_FatalError(/* '(' */ "missing ')' in getargs format");
Guido van Rossum98297ee2007-11-06 21:34:58 +0000285
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000286 if (min < 0)
287 min = max;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000288
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000289 format = formatsave;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000290
Antoine Pitrou7056cb22013-02-17 01:04:57 +0100291 if (max > STATIC_FREELIST_ENTRIES) {
292 freelist.entries = PyMem_NEW(freelistentry_t, max);
293 if (freelist.entries == NULL) {
294 PyErr_NoMemory();
295 return 0;
296 }
297 freelist.entries_malloced = 1;
Benjamin Peterson7ed67272012-03-16 12:21:02 -0500298 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400299
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000300 if (compat) {
301 if (max == 0) {
302 if (args == NULL)
303 return 1;
Victor Stinner6ced7c42011-03-21 18:15:42 +0100304 PyErr_Format(PyExc_TypeError,
305 "%.200s%s takes no arguments",
306 fname==NULL ? "function" : fname,
307 fname==NULL ? "" : "()");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400308 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000309 }
310 else if (min == 1 && max == 1) {
311 if (args == NULL) {
Victor Stinner6ced7c42011-03-21 18:15:42 +0100312 PyErr_Format(PyExc_TypeError,
313 "%.200s%s takes at least one argument",
314 fname==NULL ? "function" : fname,
315 fname==NULL ? "" : "()");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400316 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000317 }
318 msg = convertitem(args, &format, p_va, flags, levels,
319 msgbuf, sizeof(msgbuf), &freelist);
320 if (msg == NULL)
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400321 return cleanreturn(1, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000322 seterror(levels[0], msg, levels+1, fname, message);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400323 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000324 }
325 else {
326 PyErr_SetString(PyExc_SystemError,
327 "old style getargs format uses new features");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400328 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000329 }
330 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000331
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000332 if (!PyTuple_Check(args)) {
333 PyErr_SetString(PyExc_SystemError,
334 "new style getargs format but argument is not a tuple");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400335 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000336 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000337
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000338 len = PyTuple_GET_SIZE(args);
Guido van Rossum98297ee2007-11-06 21:34:58 +0000339
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000340 if (len < min || max < len) {
Victor Stinner6ced7c42011-03-21 18:15:42 +0100341 if (message == NULL)
342 PyErr_Format(PyExc_TypeError,
343 "%.150s%s takes %s %d argument%s (%ld given)",
344 fname==NULL ? "function" : fname,
345 fname==NULL ? "" : "()",
346 min==max ? "exactly"
347 : len < min ? "at least" : "at most",
348 len < min ? min : max,
349 (len < min ? min : max) == 1 ? "" : "s",
350 Py_SAFE_DOWNCAST(len, Py_ssize_t, long));
351 else
352 PyErr_SetString(PyExc_TypeError, message);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400353 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000354 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000355
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000356 for (i = 0; i < len; i++) {
357 if (*format == '|')
358 format++;
359 msg = convertitem(PyTuple_GET_ITEM(args, i), &format, p_va,
360 flags, levels, msgbuf,
361 sizeof(msgbuf), &freelist);
362 if (msg) {
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200363 seterror(i+1, msg, levels, fname, message);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400364 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000365 }
366 }
Guido van Rossum231a41e1997-12-09 20:36:39 +0000367
Antoine Pitrou4de74572013-02-09 23:11:27 +0100368 if (*format != '\0' && !Py_ISALPHA(Py_CHARMASK(*format)) &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000369 *format != '(' &&
370 *format != '|' && *format != ':' && *format != ';') {
371 PyErr_Format(PyExc_SystemError,
372 "bad format string: %.200s", formatsave);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400373 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000374 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000375
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400376 return cleanreturn(1, &freelist);
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000377}
378
379
380
381static void
Victor Stinner84bb1cf2013-05-17 00:12:04 +0200382seterror(Py_ssize_t iarg, const char *msg, int *levels, const char *fname,
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000383 const char *message)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000384{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000385 char buf[512];
386 int i;
387 char *p = buf;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000388
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000389 if (PyErr_Occurred())
390 return;
391 else if (message == NULL) {
392 if (fname != NULL) {
393 PyOS_snprintf(p, sizeof(buf), "%.200s() ", fname);
394 p += strlen(p);
395 }
396 if (iarg != 0) {
397 PyOS_snprintf(p, sizeof(buf) - (p - buf),
Richard Oudkerk25296ce2013-05-18 17:35:19 +0100398 "argument %" PY_FORMAT_SIZE_T "d", iarg);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000399 i = 0;
400 p += strlen(p);
Georg Brandl142ad662013-10-14 07:01:11 +0200401 while (i < 32 && levels[i] > 0 && (int)(p-buf) < 220) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000402 PyOS_snprintf(p, sizeof(buf) - (p - buf),
403 ", item %d", levels[i]-1);
404 p += strlen(p);
405 i++;
406 }
407 }
408 else {
409 PyOS_snprintf(p, sizeof(buf) - (p - buf), "argument");
410 p += strlen(p);
411 }
412 PyOS_snprintf(p, sizeof(buf) - (p - buf), " %.256s", msg);
413 message = buf;
414 }
Serhiy Storchaka4cd63ef2016-02-08 01:22:47 +0200415 if (msg[0] == '(') {
416 PyErr_SetString(PyExc_SystemError, message);
417 }
418 else {
419 PyErr_SetString(PyExc_TypeError, message);
420 }
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000421}
422
423
424/* Convert a tuple argument.
425 On entry, *p_format points to the character _after_ the opening '('.
426 On successful exit, *p_format points to the closing ')'.
427 If successful:
428 *p_format and *p_va are updated,
429 *levels and *msgbuf are untouched,
430 and NULL is returned.
431 If the argument is invalid:
432 *p_format is unchanged,
433 *p_va is undefined,
434 *levels is a 0-terminated list of item numbers,
435 *msgbuf contains an error message, whose format is:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000436 "must be <typename1>, not <typename2>", where:
437 <typename1> is the name of the expected type, and
438 <typename2> is the name of the actual type,
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000439 and msgbuf is returned.
440*/
441
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200442static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000443converttuple(PyObject *arg, const char **p_format, va_list *p_va, int flags,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000444 int *levels, char *msgbuf, size_t bufsize, int toplevel,
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400445 freelist_t *freelist)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000446{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000447 int level = 0;
448 int n = 0;
449 const char *format = *p_format;
450 int i;
Victor Stinner74387f52013-11-18 01:21:12 +0100451 Py_ssize_t len;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000452
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000453 for (;;) {
454 int c = *format++;
455 if (c == '(') {
456 if (level == 0)
457 n++;
458 level++;
459 }
460 else if (c == ')') {
461 if (level == 0)
462 break;
463 level--;
464 }
465 else if (c == ':' || c == ';' || c == '\0')
466 break;
Antoine Pitrou4de74572013-02-09 23:11:27 +0100467 else if (level == 0 && Py_ISALPHA(Py_CHARMASK(c)))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000468 n++;
469 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000470
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000471 if (!PySequence_Check(arg) || PyBytes_Check(arg)) {
472 levels[0] = 0;
473 PyOS_snprintf(msgbuf, bufsize,
474 toplevel ? "expected %d arguments, not %.50s" :
475 "must be %d-item sequence, not %.50s",
476 n,
477 arg == Py_None ? "None" : arg->ob_type->tp_name);
478 return msgbuf;
479 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000480
Victor Stinner74387f52013-11-18 01:21:12 +0100481 len = PySequence_Size(arg);
482 if (len != n) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000483 levels[0] = 0;
Victor Stinner74387f52013-11-18 01:21:12 +0100484 if (toplevel) {
485 PyOS_snprintf(msgbuf, bufsize,
486 "expected %d arguments, not %" PY_FORMAT_SIZE_T "d",
487 n, len);
488 }
489 else {
490 PyOS_snprintf(msgbuf, bufsize,
491 "must be sequence of length %d, "
492 "not %" PY_FORMAT_SIZE_T "d",
493 n, len);
494 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000495 return msgbuf;
496 }
Ka-Ping Yee20579702001-01-15 22:14:16 +0000497
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000498 format = *p_format;
499 for (i = 0; i < n; i++) {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200500 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000501 PyObject *item;
502 item = PySequence_GetItem(arg, i);
503 if (item == NULL) {
504 PyErr_Clear();
505 levels[0] = i+1;
506 levels[1] = 0;
507 strncpy(msgbuf, "is not retrievable", bufsize);
508 return msgbuf;
509 }
510 msg = convertitem(item, &format, p_va, flags, levels+1,
511 msgbuf, bufsize, freelist);
512 /* PySequence_GetItem calls tp->sq_item, which INCREFs */
513 Py_XDECREF(item);
514 if (msg != NULL) {
515 levels[0] = i+1;
516 return msg;
517 }
518 }
Ka-Ping Yee20579702001-01-15 22:14:16 +0000519
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000520 *p_format = format;
521 return NULL;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000522}
523
524
525/* Convert a single item. */
526
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200527static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000528convertitem(PyObject *arg, const char **p_format, va_list *p_va, int flags,
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400529 int *levels, char *msgbuf, size_t bufsize, freelist_t *freelist)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000530{
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200531 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000532 const char *format = *p_format;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000533
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000534 if (*format == '(' /* ')' */) {
535 format++;
536 msg = converttuple(arg, &format, p_va, flags, levels, msgbuf,
537 bufsize, 0, freelist);
538 if (msg == NULL)
539 format++;
540 }
541 else {
542 msg = convertsimple(arg, &format, p_va, flags,
543 msgbuf, bufsize, freelist);
544 if (msg != NULL)
545 levels[0] = 0;
546 }
547 if (msg == NULL)
548 *p_format = format;
549 return msg;
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000550}
551
552
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000553
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000554/* Format an error message generated by convertsimple(). */
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000555
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200556static const char *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000557converterr(const char *expected, PyObject *arg, char *msgbuf, size_t bufsize)
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000558{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000559 assert(expected != NULL);
560 assert(arg != NULL);
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200561 if (expected[0] == '(') {
562 PyOS_snprintf(msgbuf, bufsize,
563 "%.100s", expected);
564 }
565 else {
566 PyOS_snprintf(msgbuf, bufsize,
567 "must be %.50s, not %.50s", expected,
568 arg == Py_None ? "None" : arg->ob_type->tp_name);
569 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000570 return msgbuf;
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000571}
572
573#define CONV_UNICODE "(unicode conversion error)"
574
Guido van Rossum45aecf42006-03-15 04:58:47 +0000575/* Explicitly check for float arguments when integers are expected.
576 Return 1 for error, 0 if ok. */
Neil Schemenauer5042da62003-02-04 20:59:40 +0000577static int
578float_argument_error(PyObject *arg)
579{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000580 if (PyFloat_Check(arg)) {
581 PyErr_SetString(PyExc_TypeError,
582 "integer argument expected, got float" );
583 return 1;
584 }
585 else
586 return 0;
Neil Schemenauer5042da62003-02-04 20:59:40 +0000587}
588
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000589/* Convert a non-tuple argument. Return NULL if conversion went OK,
590 or a string with a message describing the failure. The message is
591 formatted as "must be <desired type>, not <actual type>".
592 When failing, an exception may or may not have been raised.
Georg Brandl6dd14612005-09-14 19:29:53 +0000593 Don't call if a tuple is expected.
594
595 When you add new format codes, please don't forget poor skipitem() below.
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000596*/
597
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200598static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000599convertsimple(PyObject *arg, const char **p_format, va_list *p_va, int flags,
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400600 char *msgbuf, size_t bufsize, freelist_t *freelist)
Guido van Rossumfe3f1a21994-09-29 09:42:55 +0000601{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000602 /* For # codes */
603#define FETCH_SIZE int *q=NULL;Py_ssize_t *q2=NULL;\
604 if (flags & FLAG_SIZE_T) q2=va_arg(*p_va, Py_ssize_t*); \
605 else q=va_arg(*p_va, int*);
Victor Stinnerb3c9e072011-01-04 02:07:34 +0000606#define STORE_SIZE(s) \
607 if (flags & FLAG_SIZE_T) \
608 *q2=s; \
609 else { \
610 if (INT_MAX < s) { \
611 PyErr_SetString(PyExc_OverflowError, \
612 "size does not fit in an int"); \
613 return converterr("", arg, msgbuf, bufsize); \
614 } \
Victor Stinner9550ef32013-06-05 01:18:13 +0200615 *q = (int)s; \
Victor Stinnerb3c9e072011-01-04 02:07:34 +0000616 }
Martin v. Löwis18e16552006-02-15 17:27:45 +0000617#define BUFFER_LEN ((flags & FLAG_SIZE_T) ? *q2:*q)
Victor Stinner6ab8e822011-01-04 11:16:49 +0000618#define RETURN_ERR_OCCURRED return msgbuf
Martin v. Löwis18e16552006-02-15 17:27:45 +0000619
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000620 const char *format = *p_format;
621 char c = *format++;
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200622 char *sarg;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000623
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000624 switch (c) {
Guido van Rossum98297ee2007-11-06 21:34:58 +0000625
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000626 case 'b': { /* unsigned byte -- very short int */
627 char *p = va_arg(*p_va, char *);
628 long ival;
629 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000630 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000631 ival = PyLong_AsLong(arg);
632 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000633 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000634 else if (ival < 0) {
635 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000636 "unsigned byte integer is less than minimum");
637 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000638 }
639 else if (ival > UCHAR_MAX) {
640 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000641 "unsigned byte integer is greater than maximum");
642 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000643 }
644 else
645 *p = (unsigned char) ival;
646 break;
647 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000648
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000649 case 'B': {/* byte sized bitfield - both signed and unsigned
650 values allowed */
651 char *p = va_arg(*p_va, char *);
652 long ival;
653 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000654 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000655 ival = PyLong_AsUnsignedLongMask(arg);
656 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000657 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000658 else
659 *p = (unsigned char) ival;
660 break;
661 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000662
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000663 case 'h': {/* signed short int */
664 short *p = va_arg(*p_va, short *);
665 long ival;
666 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000667 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000668 ival = PyLong_AsLong(arg);
669 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000670 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000671 else if (ival < SHRT_MIN) {
672 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000673 "signed short integer is less than minimum");
674 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000675 }
676 else if (ival > SHRT_MAX) {
677 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000678 "signed short integer is greater than maximum");
679 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000680 }
681 else
682 *p = (short) ival;
683 break;
684 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000685
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000686 case 'H': { /* short int sized bitfield, both signed and
687 unsigned allowed */
688 unsigned short *p = va_arg(*p_va, unsigned short *);
689 long ival;
690 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000691 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000692 ival = PyLong_AsUnsignedLongMask(arg);
693 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000694 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000695 else
696 *p = (unsigned short) ival;
697 break;
698 }
Martin v. Löwis18e16552006-02-15 17:27:45 +0000699
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000700 case 'i': {/* signed int */
701 int *p = va_arg(*p_va, int *);
702 long ival;
703 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000704 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000705 ival = PyLong_AsLong(arg);
706 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000707 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000708 else if (ival > INT_MAX) {
709 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000710 "signed integer is greater than maximum");
711 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000712 }
713 else if (ival < INT_MIN) {
714 PyErr_SetString(PyExc_OverflowError,
Victor Stinner6ab8e822011-01-04 11:16:49 +0000715 "signed integer is less than minimum");
716 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000717 }
718 else
719 *p = ival;
720 break;
721 }
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +0000722
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000723 case 'I': { /* int sized bitfield, both signed and
724 unsigned allowed */
725 unsigned int *p = va_arg(*p_va, unsigned int *);
726 unsigned int ival;
727 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000728 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000729 ival = (unsigned int)PyLong_AsUnsignedLongMask(arg);
730 if (ival == (unsigned int)-1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000731 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000732 else
733 *p = ival;
734 break;
735 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000736
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000737 case 'n': /* Py_ssize_t */
738 {
739 PyObject *iobj;
740 Py_ssize_t *p = va_arg(*p_va, Py_ssize_t *);
741 Py_ssize_t ival = -1;
742 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000743 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000744 iobj = PyNumber_Index(arg);
745 if (iobj != NULL) {
746 ival = PyLong_AsSsize_t(iobj);
747 Py_DECREF(iobj);
748 }
749 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000750 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000751 *p = ival;
752 break;
753 }
754 case 'l': {/* long int */
755 long *p = va_arg(*p_va, long *);
756 long ival;
757 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000758 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000759 ival = PyLong_AsLong(arg);
760 if (ival == -1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000761 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000762 else
763 *p = ival;
764 break;
765 }
Thomas Hellera4ea6032003-04-17 18:55:45 +0000766
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000767 case 'k': { /* long sized bitfield */
768 unsigned long *p = va_arg(*p_va, unsigned long *);
769 unsigned long ival;
770 if (PyLong_Check(arg))
771 ival = PyLong_AsUnsignedLongMask(arg);
772 else
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200773 return converterr("int", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000774 *p = ival;
775 break;
776 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000777
Benjamin Petersonaf580df2016-09-06 10:46:49 -0700778 case 'L': {/* long long */
779 long long *p = va_arg( *p_va, long long * );
780 long long ival;
Mark Dickinsonc7301312010-06-10 16:05:10 +0000781 if (float_argument_error(arg))
Victor Stinner6ab8e822011-01-04 11:16:49 +0000782 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000783 ival = PyLong_AsLongLong(arg);
Benjamin Petersonaf580df2016-09-06 10:46:49 -0700784 if (ival == (long long)-1 && PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000785 RETURN_ERR_OCCURRED;
Mark Dickinsonc7301312010-06-10 16:05:10 +0000786 else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000787 *p = ival;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000788 break;
789 }
Thomas Hellera4ea6032003-04-17 18:55:45 +0000790
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000791 case 'K': { /* long long sized bitfield */
Benjamin Petersonaf580df2016-09-06 10:46:49 -0700792 unsigned long long *p = va_arg(*p_va, unsigned long long *);
793 unsigned long long ival;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000794 if (PyLong_Check(arg))
795 ival = PyLong_AsUnsignedLongLongMask(arg);
796 else
Serhiy Storchakac4b813d2016-02-08 01:06:11 +0200797 return converterr("int", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000798 *p = ival;
799 break;
800 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000801
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000802 case 'f': {/* float */
803 float *p = va_arg(*p_va, float *);
804 double dval = PyFloat_AsDouble(arg);
805 if (PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000806 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000807 else
808 *p = (float) dval;
809 break;
810 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000811
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000812 case 'd': {/* double */
813 double *p = va_arg(*p_va, double *);
814 double dval = PyFloat_AsDouble(arg);
815 if (PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000816 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000817 else
818 *p = dval;
819 break;
820 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000821
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000822 case 'D': {/* complex double */
823 Py_complex *p = va_arg(*p_va, Py_complex *);
824 Py_complex cval;
825 cval = PyComplex_AsCComplex(arg);
826 if (PyErr_Occurred())
Victor Stinner6ab8e822011-01-04 11:16:49 +0000827 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000828 else
829 *p = cval;
830 break;
831 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000832
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000833 case 'c': {/* char */
834 char *p = va_arg(*p_va, char *);
835 if (PyBytes_Check(arg) && PyBytes_Size(arg) == 1)
836 *p = PyBytes_AS_STRING(arg)[0];
Eli Bendersky906b88f2011-07-29 07:05:08 +0300837 else if (PyByteArray_Check(arg) && PyByteArray_Size(arg) == 1)
838 *p = PyByteArray_AS_STRING(arg)[0];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000839 else
840 return converterr("a byte string of length 1", arg, msgbuf, bufsize);
841 break;
842 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000843
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000844 case 'C': {/* unicode char */
845 int *p = va_arg(*p_va, int *);
Victor Stinnere1335c72011-10-04 20:53:03 +0200846 int kind;
847 void *data;
848
849 if (!PyUnicode_Check(arg))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000850 return converterr("a unicode character", arg, msgbuf, bufsize);
Victor Stinnere1335c72011-10-04 20:53:03 +0200851
852 if (PyUnicode_READY(arg))
853 RETURN_ERR_OCCURRED;
854
855 if (PyUnicode_GET_LENGTH(arg) != 1)
856 return converterr("a unicode character", arg, msgbuf, bufsize);
857
858 kind = PyUnicode_KIND(arg);
859 data = PyUnicode_DATA(arg);
860 *p = PyUnicode_READ(kind, data, 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000861 break;
862 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000863
Larry Hastingsfaf91e72012-05-05 16:54:29 -0700864 case 'p': {/* boolean *p*redicate */
865 int *p = va_arg(*p_va, int *);
866 int val = PyObject_IsTrue(arg);
867 if (val > 0)
868 *p = 1;
869 else if (val == 0)
870 *p = 0;
871 else
872 RETURN_ERR_OCCURRED;
873 break;
874 }
875
Victor Stinner3dcb5ac2010-06-08 22:54:19 +0000876 /* XXX WAAAAH! 's', 'y', 'z', 'u', 'Z', 'e', 'w' codes all
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000877 need to be cleaned up! */
Guido van Rossum98297ee2007-11-06 21:34:58 +0000878
Serhiy Storchakab757c832014-12-05 22:25:22 +0200879 case 'y': {/* any bytes-like object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000880 void **p = (void **)va_arg(*p_va, char **);
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200881 const char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000882 Py_ssize_t count;
883 if (*format == '*') {
884 if (getbuffer(arg, (Py_buffer*)p, &buf) < 0)
885 return converterr(buf, arg, msgbuf, bufsize);
886 format++;
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400887 if (addcleanup(p, freelist, cleanup_buffer)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000888 return converterr(
889 "(cleanup problem)",
890 arg, msgbuf, bufsize);
891 }
892 break;
893 }
894 count = convertbuffer(arg, p, &buf);
895 if (count < 0)
896 return converterr(buf, arg, msgbuf, bufsize);
Victor Stinner06e49dd2010-06-13 18:21:50 +0000897 if (*format == '#') {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000898 FETCH_SIZE;
899 STORE_SIZE(count);
900 format++;
Victor Stinner06e49dd2010-06-13 18:21:50 +0000901 } else {
Serhiy Storchakad8a14472014-09-06 20:07:17 +0300902 if (strlen(*p) != (size_t)count) {
903 PyErr_SetString(PyExc_ValueError, "embedded null byte");
904 RETURN_ERR_OCCURRED;
905 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000906 }
907 break;
908 }
Walter Dörwald612344f2007-05-04 19:28:21 +0000909
Serhiy Storchakab757c832014-12-05 22:25:22 +0200910 case 's': /* text string or bytes-like object */
911 case 'z': /* text string, bytes-like object or None */
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000912 {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000913 if (*format == '*') {
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000914 /* "s*" or "z*" */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000915 Py_buffer *p = (Py_buffer *)va_arg(*p_va, Py_buffer *);
Martin v. Löwis423be952008-08-13 15:53:07 +0000916
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000917 if (c == 'z' && arg == Py_None)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000918 PyBuffer_FillInfo(p, NULL, NULL, 0, 1, 0);
919 else if (PyUnicode_Check(arg)) {
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200920 Py_ssize_t len;
921 sarg = PyUnicode_AsUTF8AndSize(arg, &len);
922 if (sarg == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000923 return converterr(CONV_UNICODE,
924 arg, msgbuf, bufsize);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200925 PyBuffer_FillInfo(p, arg, sarg, len, 1, 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000926 }
Serhiy Storchakab757c832014-12-05 22:25:22 +0200927 else { /* any bytes-like object */
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200928 const char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000929 if (getbuffer(arg, p, &buf) < 0)
930 return converterr(buf, arg, msgbuf, bufsize);
931 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -0400932 if (addcleanup(p, freelist, cleanup_buffer)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000933 return converterr(
934 "(cleanup problem)",
935 arg, msgbuf, bufsize);
936 }
937 format++;
Serhiy Storchakab757c832014-12-05 22:25:22 +0200938 } else if (*format == '#') { /* a string or read-only bytes-like object */
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000939 /* "s#" or "z#" */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000940 void **p = (void **)va_arg(*p_va, char **);
941 FETCH_SIZE;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000942
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000943 if (c == 'z' && arg == Py_None) {
944 *p = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000945 STORE_SIZE(0);
946 }
947 else if (PyUnicode_Check(arg)) {
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200948 Py_ssize_t len;
949 sarg = PyUnicode_AsUTF8AndSize(arg, &len);
950 if (sarg == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000951 return converterr(CONV_UNICODE,
952 arg, msgbuf, bufsize);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200953 *p = sarg;
954 STORE_SIZE(len);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000955 }
Serhiy Storchakab757c832014-12-05 22:25:22 +0200956 else { /* read-only bytes-like object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000957 /* XXX Really? */
Serhiy Storchakaef1585e2015-12-25 20:01:53 +0200958 const char *buf;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000959 Py_ssize_t count = convertbuffer(arg, p, &buf);
960 if (count < 0)
961 return converterr(buf, arg, msgbuf, bufsize);
962 STORE_SIZE(count);
963 }
964 format++;
965 } else {
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000966 /* "s" or "z" */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000967 char **p = va_arg(*p_va, char **);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200968 Py_ssize_t len;
969 sarg = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000970
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000971 if (c == 'z' && arg == Py_None)
972 *p = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000973 else if (PyUnicode_Check(arg)) {
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200974 sarg = PyUnicode_AsUTF8AndSize(arg, &len);
975 if (sarg == NULL)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000976 return converterr(CONV_UNICODE,
977 arg, msgbuf, bufsize);
Serhiy Storchakad8a14472014-09-06 20:07:17 +0300978 if (strlen(sarg) != (size_t)len) {
979 PyErr_SetString(PyExc_ValueError, "embedded null character");
980 RETURN_ERR_OCCURRED;
981 }
Martin v. Löwisd63a3b82011-09-28 07:41:54 +0200982 *p = sarg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000983 }
984 else
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000985 return converterr(c == 'z' ? "str or None" : "str",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000986 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000987 }
988 break;
989 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000990
Victor Stinner3c9e6e92010-06-24 22:31:12 +0000991 case 'u': /* raw unicode buffer (Py_UNICODE *) */
992 case 'Z': /* raw unicode buffer or None */
993 {
Brett Cannonb94767f2011-02-22 20:15:44 +0000994 Py_UNICODE **p = va_arg(*p_va, Py_UNICODE **);
995
Serhiy Storchakab757c832014-12-05 22:25:22 +0200996 if (*format == '#') {
Serhiy Storchakad6e53da2015-04-19 21:11:30 +0300997 /* "u#" or "Z#" */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000998 FETCH_SIZE;
Travis E. Oliphantddacf962007-10-13 21:03:27 +0000999
Victor Stinner3c9e6e92010-06-24 22:31:12 +00001000 if (c == 'Z' && arg == Py_None) {
1001 *p = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001002 STORE_SIZE(0);
1003 }
1004 else if (PyUnicode_Check(arg)) {
Victor Stinnerbeac78b2011-10-11 21:55:01 +02001005 Py_ssize_t len;
1006 *p = PyUnicode_AsUnicodeAndSize(arg, &len);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001007 if (*p == NULL)
1008 RETURN_ERR_OCCURRED;
Victor Stinnerbeac78b2011-10-11 21:55:01 +02001009 STORE_SIZE(len);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001010 }
Victor Stinner5216e6d2010-06-08 21:45:51 +00001011 else
Serhiy Storchakad6e53da2015-04-19 21:11:30 +03001012 return converterr(c == 'Z' ? "str or None" : "str",
1013 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001014 format++;
1015 } else {
Serhiy Storchakad6e53da2015-04-19 21:11:30 +03001016 /* "u" or "Z" */
Victor Stinner3c9e6e92010-06-24 22:31:12 +00001017 if (c == 'Z' && arg == Py_None)
1018 *p = NULL;
Victor Stinner06e49dd2010-06-13 18:21:50 +00001019 else if (PyUnicode_Check(arg)) {
Victor Stinnerbeac78b2011-10-11 21:55:01 +02001020 Py_ssize_t len;
1021 *p = PyUnicode_AsUnicodeAndSize(arg, &len);
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02001022 if (*p == NULL)
1023 RETURN_ERR_OCCURRED;
Serhiy Storchakad8a14472014-09-06 20:07:17 +03001024 if (Py_UNICODE_strlen(*p) != (size_t)len) {
1025 PyErr_SetString(PyExc_ValueError, "embedded null character");
1026 RETURN_ERR_OCCURRED;
1027 }
Victor Stinner06e49dd2010-06-13 18:21:50 +00001028 } else
Victor Stinner3c9e6e92010-06-24 22:31:12 +00001029 return converterr(c == 'Z' ? "str or None" : "str",
1030 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001031 }
1032 break;
1033 }
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +00001034
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001035 case 'e': {/* encoded string */
1036 char **buffer;
1037 const char *encoding;
1038 PyObject *s;
1039 int recode_strings;
1040 Py_ssize_t size;
1041 const char *ptr;
Jeremy Hylton4819e972001-10-11 14:40:37 +00001042
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001043 /* Get 'e' parameter: the encoding name */
1044 encoding = (const char *)va_arg(*p_va, const char *);
1045 if (encoding == NULL)
1046 encoding = PyUnicode_GetDefaultEncoding();
Martin v. Löwis423be952008-08-13 15:53:07 +00001047
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001048 /* Get output buffer parameter:
1049 's' (recode all objects via Unicode) or
1050 't' (only recode non-string objects)
1051 */
1052 if (*format == 's')
1053 recode_strings = 1;
1054 else if (*format == 't')
1055 recode_strings = 0;
1056 else
1057 return converterr(
1058 "(unknown parser marker combination)",
1059 arg, msgbuf, bufsize);
1060 buffer = (char **)va_arg(*p_va, char **);
1061 format++;
1062 if (buffer == NULL)
1063 return converterr("(buffer is NULL)",
1064 arg, msgbuf, bufsize);
Benjamin Peterson9edd2bd2008-08-27 00:31:37 +00001065
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001066 /* Encode object */
1067 if (!recode_strings &&
1068 (PyBytes_Check(arg) || PyByteArray_Check(arg))) {
1069 s = arg;
1070 Py_INCREF(s);
1071 if (PyObject_AsCharBuffer(s, &ptr, &size) < 0)
1072 return converterr("(AsCharBuffer failed)",
1073 arg, msgbuf, bufsize);
1074 }
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001075 else if (PyUnicode_Check(arg)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001076 /* Encode object; use default error handling */
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001077 s = PyUnicode_AsEncodedString(arg,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001078 encoding,
1079 NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001080 if (s == NULL)
1081 return converterr("(encoding failed)",
1082 arg, msgbuf, bufsize);
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001083 assert(PyBytes_Check(s));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001084 size = PyBytes_GET_SIZE(s);
1085 ptr = PyBytes_AS_STRING(s);
1086 if (ptr == NULL)
1087 ptr = "";
1088 }
Serhiy Storchaka21a663e2016-04-13 15:37:23 +03001089 else {
1090 return converterr(
1091 recode_strings ? "str" : "str, bytes or bytearray",
1092 arg, msgbuf, bufsize);
1093 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001094
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001095 /* Write output; output is guaranteed to be 0-terminated */
1096 if (*format == '#') {
1097 /* Using buffer length parameter '#':
1098
1099 - if *buffer is NULL, a new buffer of the
1100 needed size is allocated and the data
1101 copied into it; *buffer is updated to point
1102 to the new buffer; the caller is
1103 responsible for PyMem_Free()ing it after
1104 usage
1105
1106 - if *buffer is not NULL, the data is
1107 copied to *buffer; *buffer_len has to be
1108 set to the size of the buffer on input;
1109 buffer overflow is signalled with an error;
1110 buffer has to provide enough room for the
1111 encoded string plus the trailing 0-byte
1112
1113 - in both cases, *buffer_len is updated to
1114 the size of the buffer /excluding/ the
1115 trailing 0-byte
1116
1117 */
1118 FETCH_SIZE;
1119
1120 format++;
1121 if (q == NULL && q2 == NULL) {
1122 Py_DECREF(s);
1123 return converterr(
1124 "(buffer_len is NULL)",
1125 arg, msgbuf, bufsize);
1126 }
1127 if (*buffer == NULL) {
1128 *buffer = PyMem_NEW(char, size + 1);
1129 if (*buffer == NULL) {
1130 Py_DECREF(s);
Victor Stinner2872e5b2010-06-06 20:38:02 +00001131 PyErr_NoMemory();
Victor Stinner6ab8e822011-01-04 11:16:49 +00001132 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001133 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001134 if (addcleanup(*buffer, freelist, cleanup_ptr)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001135 Py_DECREF(s);
1136 return converterr(
1137 "(cleanup problem)",
1138 arg, msgbuf, bufsize);
1139 }
1140 } else {
1141 if (size + 1 > BUFFER_LEN) {
1142 Py_DECREF(s);
Serhiy Storchaka4cd63ef2016-02-08 01:22:47 +02001143 PyErr_Format(PyExc_ValueError,
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001144 "encoded string too long "
1145 "(%zd, maximum length %zd)",
1146 (Py_ssize_t)size, (Py_ssize_t)(BUFFER_LEN-1));
1147 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001148 }
1149 }
1150 memcpy(*buffer, ptr, size+1);
1151 STORE_SIZE(size);
1152 } else {
1153 /* Using a 0-terminated buffer:
1154
1155 - the encoded string has to be 0-terminated
1156 for this variant to work; if it is not, an
1157 error raised
1158
1159 - a new buffer of the needed size is
1160 allocated and the data copied into it;
1161 *buffer is updated to point to the new
1162 buffer; the caller is responsible for
1163 PyMem_Free()ing it after usage
1164
1165 */
1166 if ((Py_ssize_t)strlen(ptr) != size) {
1167 Py_DECREF(s);
1168 return converterr(
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001169 "encoded string without null bytes",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001170 arg, msgbuf, bufsize);
1171 }
1172 *buffer = PyMem_NEW(char, size + 1);
1173 if (*buffer == NULL) {
1174 Py_DECREF(s);
Victor Stinner2872e5b2010-06-06 20:38:02 +00001175 PyErr_NoMemory();
Victor Stinner6ab8e822011-01-04 11:16:49 +00001176 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001177 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001178 if (addcleanup(*buffer, freelist, cleanup_ptr)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001179 Py_DECREF(s);
1180 return converterr("(cleanup problem)",
1181 arg, msgbuf, bufsize);
1182 }
1183 memcpy(*buffer, ptr, size+1);
1184 }
1185 Py_DECREF(s);
1186 break;
1187 }
1188
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001189 case 'S': { /* PyBytes object */
1190 PyObject **p = va_arg(*p_va, PyObject **);
1191 if (PyBytes_Check(arg))
1192 *p = arg;
1193 else
1194 return converterr("bytes", arg, msgbuf, bufsize);
1195 break;
1196 }
1197
1198 case 'Y': { /* PyByteArray object */
1199 PyObject **p = va_arg(*p_va, PyObject **);
1200 if (PyByteArray_Check(arg))
1201 *p = arg;
1202 else
Victor Stinner5216e6d2010-06-08 21:45:51 +00001203 return converterr("bytearray", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001204 break;
1205 }
1206
1207 case 'U': { /* PyUnicode object */
1208 PyObject **p = va_arg(*p_va, PyObject **);
Victor Stinnera1b0c9f2012-05-29 12:30:29 +02001209 if (PyUnicode_Check(arg)) {
1210 if (PyUnicode_READY(arg) == -1)
1211 RETURN_ERR_OCCURRED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001212 *p = arg;
Victor Stinnera1b0c9f2012-05-29 12:30:29 +02001213 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001214 else
1215 return converterr("str", arg, msgbuf, bufsize);
1216 break;
1217 }
1218
1219 case 'O': { /* object */
1220 PyTypeObject *type;
1221 PyObject **p;
1222 if (*format == '!') {
1223 type = va_arg(*p_va, PyTypeObject*);
1224 p = va_arg(*p_va, PyObject **);
1225 format++;
1226 if (PyType_IsSubtype(arg->ob_type, type))
1227 *p = arg;
1228 else
1229 return converterr(type->tp_name, arg, msgbuf, bufsize);
1230
1231 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001232 else if (*format == '&') {
1233 typedef int (*converter)(PyObject *, void *);
1234 converter convert = va_arg(*p_va, converter);
1235 void *addr = va_arg(*p_va, void *);
1236 int res;
1237 format++;
1238 if (! (res = (*convert)(arg, addr)))
1239 return converterr("(unspecified)",
1240 arg, msgbuf, bufsize);
1241 if (res == Py_CLEANUP_SUPPORTED &&
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001242 addcleanup(addr, freelist, convert) == -1)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001243 return converterr("(cleanup problem)",
1244 arg, msgbuf, bufsize);
1245 }
1246 else {
1247 p = va_arg(*p_va, PyObject **);
1248 *p = arg;
1249 }
1250 break;
1251 }
1252
1253
Victor Stinner25e8ec42010-06-25 00:02:38 +00001254 case 'w': { /* "w*": memory buffer, read-write access */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001255 void **p = va_arg(*p_va, void **);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001256
Victor Stinner25e8ec42010-06-25 00:02:38 +00001257 if (*format != '*')
1258 return converterr(
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001259 "(invalid use of 'w' format character)",
Victor Stinner25e8ec42010-06-25 00:02:38 +00001260 arg, msgbuf, bufsize);
1261 format++;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001262
Victor Stinner25e8ec42010-06-25 00:02:38 +00001263 /* Caller is interested in Py_buffer, and the object
1264 supports it directly. */
1265 if (PyObject_GetBuffer(arg, (Py_buffer*)p, PyBUF_WRITABLE) < 0) {
1266 PyErr_Clear();
R David Murray861470c2014-10-05 11:47:01 -04001267 return converterr("read-write bytes-like object",
1268 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001269 }
Victor Stinner8182b712010-07-28 00:40:58 +00001270 if (!PyBuffer_IsContiguous((Py_buffer*)p, 'C')) {
1271 PyBuffer_Release((Py_buffer*)p);
1272 return converterr("contiguous buffer", arg, msgbuf, bufsize);
1273 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001274 if (addcleanup(p, freelist, cleanup_buffer)) {
Victor Stinner25e8ec42010-06-25 00:02:38 +00001275 return converterr(
1276 "(cleanup problem)",
1277 arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001278 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001279 break;
1280 }
1281
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001282 default:
Serhiy Storchakac4b813d2016-02-08 01:06:11 +02001283 return converterr("(impossible<bad format char>)", arg, msgbuf, bufsize);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001284
1285 }
1286
1287 *p_format = format;
1288 return NULL;
Victor Stinner6ab8e822011-01-04 11:16:49 +00001289
1290#undef FETCH_SIZE
1291#undef STORE_SIZE
1292#undef BUFFER_LEN
1293#undef RETURN_ERR_OCCURRED
Guido van Rossumfe3f1a21994-09-29 09:42:55 +00001294}
Guido van Rossumaa354651996-08-19 19:32:04 +00001295
Martin v. Löwis18e16552006-02-15 17:27:45 +00001296static Py_ssize_t
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001297convertbuffer(PyObject *arg, void **p, const char **errmsg)
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +00001298{
Victor Stinner5cb62392010-06-06 20:27:51 +00001299 PyBufferProcs *pb = Py_TYPE(arg)->tp_as_buffer;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001300 Py_ssize_t count;
1301 Py_buffer view;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +00001302
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001303 *errmsg = NULL;
1304 *p = NULL;
Victor Stinner8182b712010-07-28 00:40:58 +00001305 if (pb != NULL && pb->bf_releasebuffer != NULL) {
R David Murray861470c2014-10-05 11:47:01 -04001306 *errmsg = "read-only bytes-like object";
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001307 return -1;
1308 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +00001309
Victor Stinner8182b712010-07-28 00:40:58 +00001310 if (getbuffer(arg, &view, errmsg) < 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001311 return -1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001312 count = view.len;
1313 *p = view.buf;
1314 PyBuffer_Release(&view);
1315 return count;
Jeremy Hylton1cb7aa32001-05-29 17:37:05 +00001316}
Guido van Rossumaa354651996-08-19 19:32:04 +00001317
Martin v. Löwis423be952008-08-13 15:53:07 +00001318static int
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02001319getbuffer(PyObject *arg, Py_buffer *view, const char **errmsg)
Martin v. Löwis423be952008-08-13 15:53:07 +00001320{
Victor Stinner8182b712010-07-28 00:40:58 +00001321 if (PyObject_GetBuffer(arg, view, PyBUF_SIMPLE) != 0) {
R David Murray861470c2014-10-05 11:47:01 -04001322 *errmsg = "bytes-like object";
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001323 return -1;
1324 }
Victor Stinner5cb62392010-06-06 20:27:51 +00001325 if (!PyBuffer_IsContiguous(view, 'C')) {
Victor Stinner21e09482010-06-24 22:57:10 +00001326 PyBuffer_Release(view);
Victor Stinner5cb62392010-06-06 20:27:51 +00001327 *errmsg = "contiguous buffer";
1328 return -1;
1329 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001330 return 0;
Martin v. Löwis423be952008-08-13 15:53:07 +00001331}
1332
Guido van Rossumaa354651996-08-19 19:32:04 +00001333/* Support for keyword arguments donated by
1334 Geoff Philbrick <philbric@delphi.hks.com> */
1335
Tim Petersf8cd3e82001-10-27 04:26:57 +00001336/* Return false (0) for error, else true. */
Fred Drake563dfc22001-10-23 14:41:08 +00001337int
1338PyArg_ParseTupleAndKeywords(PyObject *args,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001339 PyObject *keywords,
1340 const char *format,
1341 char **kwlist, ...)
Guido van Rossumaa354651996-08-19 19:32:04 +00001342{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001343 int retval;
1344 va_list va;
Tim Peters45772cd2001-10-27 03:58:40 +00001345
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001346 if ((args == NULL || !PyTuple_Check(args)) ||
1347 (keywords != NULL && !PyDict_Check(keywords)) ||
1348 format == NULL ||
1349 kwlist == NULL)
1350 {
1351 PyErr_BadInternalCall();
1352 return 0;
1353 }
Tim Peters45772cd2001-10-27 03:58:40 +00001354
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001355 va_start(va, kwlist);
1356 retval = vgetargskeywords(args, keywords, format, kwlist, &va, 0);
1357 va_end(va);
1358 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001359}
1360
1361int
1362_PyArg_ParseTupleAndKeywords_SizeT(PyObject *args,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001363 PyObject *keywords,
1364 const char *format,
1365 char **kwlist, ...)
Martin v. Löwis18e16552006-02-15 17:27:45 +00001366{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001367 int retval;
1368 va_list va;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001369
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001370 if ((args == NULL || !PyTuple_Check(args)) ||
1371 (keywords != NULL && !PyDict_Check(keywords)) ||
1372 format == NULL ||
1373 kwlist == NULL)
1374 {
1375 PyErr_BadInternalCall();
1376 return 0;
1377 }
Martin v. Löwis18e16552006-02-15 17:27:45 +00001378
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001379 va_start(va, kwlist);
1380 retval = vgetargskeywords(args, keywords, format,
1381 kwlist, &va, FLAG_SIZE_T);
1382 va_end(va);
1383 return retval;
Guido van Rossumaa354651996-08-19 19:32:04 +00001384}
1385
1386
Brett Cannon711e7d92004-07-10 22:20:32 +00001387int
1388PyArg_VaParseTupleAndKeywords(PyObject *args,
Jeremy Hyltonaf68c872005-12-10 18:50:16 +00001389 PyObject *keywords,
Guido van Rossum98297ee2007-11-06 21:34:58 +00001390 const char *format,
Martin v. Löwis15e62742006-02-27 16:46:16 +00001391 char **kwlist, va_list va)
Brett Cannon711e7d92004-07-10 22:20:32 +00001392{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001393 int retval;
1394 va_list lva;
Brett Cannon711e7d92004-07-10 22:20:32 +00001395
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001396 if ((args == NULL || !PyTuple_Check(args)) ||
1397 (keywords != NULL && !PyDict_Check(keywords)) ||
1398 format == NULL ||
1399 kwlist == NULL)
1400 {
1401 PyErr_BadInternalCall();
1402 return 0;
1403 }
Brett Cannon711e7d92004-07-10 22:20:32 +00001404
Alexander Belopolskyf0f45142010-08-11 17:31:17 +00001405 Py_VA_COPY(lva, va);
Brett Cannon711e7d92004-07-10 22:20:32 +00001406
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001407 retval = vgetargskeywords(args, keywords, format, kwlist, &lva, 0);
1408 return retval;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001409}
1410
1411int
1412_PyArg_VaParseTupleAndKeywords_SizeT(PyObject *args,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001413 PyObject *keywords,
1414 const char *format,
1415 char **kwlist, va_list va)
Martin v. Löwis18e16552006-02-15 17:27:45 +00001416{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001417 int retval;
1418 va_list lva;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001419
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001420 if ((args == NULL || !PyTuple_Check(args)) ||
1421 (keywords != NULL && !PyDict_Check(keywords)) ||
1422 format == NULL ||
1423 kwlist == NULL)
1424 {
1425 PyErr_BadInternalCall();
1426 return 0;
1427 }
Martin v. Löwis18e16552006-02-15 17:27:45 +00001428
Alexander Belopolskyf0f45142010-08-11 17:31:17 +00001429 Py_VA_COPY(lva, va);
Martin v. Löwis18e16552006-02-15 17:27:45 +00001430
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001431 retval = vgetargskeywords(args, keywords, format,
1432 kwlist, &lva, FLAG_SIZE_T);
1433 return retval;
Brett Cannon711e7d92004-07-10 22:20:32 +00001434}
1435
Benjamin Petersonfb886362010-04-24 18:21:17 +00001436int
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001437_PyArg_ParseTupleAndKeywordsFast(PyObject *args, PyObject *keywords,
1438 struct _PyArg_Parser *parser, ...)
1439{
1440 int retval;
1441 va_list va;
1442
1443 if ((args == NULL || !PyTuple_Check(args)) ||
1444 (keywords != NULL && !PyDict_Check(keywords)) ||
1445 parser == NULL)
1446 {
1447 PyErr_BadInternalCall();
1448 return 0;
1449 }
1450
1451 va_start(va, parser);
1452 retval = vgetargskeywordsfast(args, keywords, parser, &va, 0);
1453 va_end(va);
1454 return retval;
1455}
1456
1457int
1458_PyArg_ParseTupleAndKeywordsFast_SizeT(PyObject *args, PyObject *keywords,
1459 struct _PyArg_Parser *parser, ...)
1460{
1461 int retval;
1462 va_list va;
1463
1464 if ((args == NULL || !PyTuple_Check(args)) ||
1465 (keywords != NULL && !PyDict_Check(keywords)) ||
1466 parser == NULL)
1467 {
1468 PyErr_BadInternalCall();
1469 return 0;
1470 }
1471
1472 va_start(va, parser);
1473 retval = vgetargskeywordsfast(args, keywords, parser, &va, FLAG_SIZE_T);
1474 va_end(va);
1475 return retval;
1476}
1477
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001478int
1479_PyArg_ParseStack(PyObject **args, Py_ssize_t nargs, PyObject *kwnames,
1480 struct _PyArg_Parser *parser, ...)
1481{
1482 int retval;
1483 va_list va;
1484
1485 if ((kwnames != NULL && !PyTuple_Check(kwnames)) ||
1486 parser == NULL)
1487 {
1488 PyErr_BadInternalCall();
1489 return 0;
1490 }
1491
1492 va_start(va, parser);
1493 retval = vgetargskeywordsfast_impl(args, nargs, NULL, kwnames, parser, &va, 0);
1494 va_end(va);
1495 return retval;
1496}
1497
1498int
1499_PyArg_ParseStack_SizeT(PyObject **args, Py_ssize_t nargs, PyObject *kwnames,
1500 struct _PyArg_Parser *parser, ...)
1501{
1502 int retval;
1503 va_list va;
1504
1505 if ((kwnames != NULL && !PyTuple_Check(kwnames)) ||
1506 parser == NULL)
1507 {
1508 PyErr_BadInternalCall();
1509 return 0;
1510 }
1511
1512 va_start(va, parser);
1513 retval = vgetargskeywordsfast_impl(args, nargs, NULL, kwnames, parser, &va, FLAG_SIZE_T);
1514 va_end(va);
1515 return retval;
1516}
1517
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001518
1519int
1520_PyArg_VaParseTupleAndKeywordsFast(PyObject *args, PyObject *keywords,
1521 struct _PyArg_Parser *parser, va_list va)
1522{
1523 int retval;
1524 va_list lva;
1525
1526 if ((args == NULL || !PyTuple_Check(args)) ||
1527 (keywords != NULL && !PyDict_Check(keywords)) ||
1528 parser == NULL)
1529 {
1530 PyErr_BadInternalCall();
1531 return 0;
1532 }
1533
1534 Py_VA_COPY(lva, va);
1535
1536 retval = vgetargskeywordsfast(args, keywords, parser, &lva, 0);
1537 return retval;
1538}
1539
1540int
1541_PyArg_VaParseTupleAndKeywordsFast_SizeT(PyObject *args, PyObject *keywords,
1542 struct _PyArg_Parser *parser, va_list va)
1543{
1544 int retval;
1545 va_list lva;
1546
1547 if ((args == NULL || !PyTuple_Check(args)) ||
1548 (keywords != NULL && !PyDict_Check(keywords)) ||
1549 parser == NULL)
1550 {
1551 PyErr_BadInternalCall();
1552 return 0;
1553 }
1554
1555 Py_VA_COPY(lva, va);
1556
1557 retval = vgetargskeywordsfast(args, keywords, parser, &lva, FLAG_SIZE_T);
1558 return retval;
1559}
1560
1561int
Benjamin Petersonfb886362010-04-24 18:21:17 +00001562PyArg_ValidateKeywordArguments(PyObject *kwargs)
1563{
Benjamin Petersonf6096542010-11-17 22:33:12 +00001564 if (!PyDict_Check(kwargs)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001565 PyErr_BadInternalCall();
1566 return 0;
1567 }
1568 if (!_PyDict_HasOnlyStringKeys(kwargs)) {
1569 PyErr_SetString(PyExc_TypeError,
1570 "keyword arguments must be strings");
1571 return 0;
1572 }
1573 return 1;
Benjamin Petersonfb886362010-04-24 18:21:17 +00001574}
1575
Christian Heimes380f7f22008-02-28 11:19:05 +00001576#define IS_END_OF_FORMAT(c) (c == '\0' || c == ';' || c == ':')
Brett Cannon711e7d92004-07-10 22:20:32 +00001577
Guido van Rossumaa354651996-08-19 19:32:04 +00001578static int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +00001579vgetargskeywords(PyObject *args, PyObject *keywords, const char *format,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001580 char **kwlist, va_list *p_va, int flags)
Guido van Rossumaa354651996-08-19 19:32:04 +00001581{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001582 char msgbuf[512];
1583 int levels[32];
1584 const char *fname, *msg, *custom_msg, *keyword;
1585 int min = INT_MAX;
Larry Hastings83a9f482012-03-20 20:06:16 +00001586 int max = INT_MAX;
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001587 int i, pos, len;
1588 int skip = 0;
Victor Stinner74387f52013-11-18 01:21:12 +01001589 Py_ssize_t nargs, nkeywords;
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001590 PyObject *current_arg;
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001591 freelistentry_t static_entries[STATIC_FREELIST_ENTRIES];
Benjamin Peterson40be9e52014-02-11 10:09:27 -05001592 freelist_t freelist;
1593
1594 freelist.entries = static_entries;
1595 freelist.first_available = 0;
1596 freelist.entries_malloced = 0;
Tim Petersf4331c12001-10-27 00:17:34 +00001597
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001598 assert(args != NULL && PyTuple_Check(args));
1599 assert(keywords == NULL || PyDict_Check(keywords));
1600 assert(format != NULL);
1601 assert(kwlist != NULL);
1602 assert(p_va != NULL);
Tim Peters45772cd2001-10-27 03:58:40 +00001603
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001604 /* grab the function name or custom error msg first (mutually exclusive) */
1605 fname = strchr(format, ':');
1606 if (fname) {
1607 fname++;
1608 custom_msg = NULL;
1609 }
1610 else {
1611 custom_msg = strchr(format,';');
1612 if (custom_msg)
1613 custom_msg++;
1614 }
Christian Heimes380f7f22008-02-28 11:19:05 +00001615
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001616 /* scan kwlist and count the number of positional-only parameters */
1617 for (pos = 0; kwlist[pos] && !*kwlist[pos]; pos++) {
1618 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001619 /* scan kwlist and get greatest possible nbr of args */
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001620 for (len = pos; kwlist[len]; len++) {
1621 if (!*kwlist[len]) {
1622 PyErr_SetString(PyExc_SystemError,
1623 "Empty keyword parameter name");
1624 return cleanreturn(0, &freelist);
1625 }
1626 }
Tim Petersf8cd3e82001-10-27 04:26:57 +00001627
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001628 if (len > STATIC_FREELIST_ENTRIES) {
1629 freelist.entries = PyMem_NEW(freelistentry_t, len);
1630 if (freelist.entries == NULL) {
1631 PyErr_NoMemory();
1632 return 0;
1633 }
1634 freelist.entries_malloced = 1;
Benjamin Peterson7ed67272012-03-16 12:21:02 -05001635 }
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001636
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001637 nargs = PyTuple_GET_SIZE(args);
1638 nkeywords = (keywords == NULL) ? 0 : PyDict_Size(keywords);
1639 if (nargs + nkeywords > len) {
Victor Stinner6ced7c42011-03-21 18:15:42 +01001640 PyErr_Format(PyExc_TypeError,
Victor Stinnercb29ec52013-11-18 02:05:31 +01001641 "%s%s takes at most %d argument%s (%zd given)",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001642 (fname == NULL) ? "function" : fname,
1643 (fname == NULL) ? "" : "()",
1644 len,
1645 (len == 1) ? "" : "s",
1646 nargs + nkeywords);
Benjamin Peterson01feaec2012-03-16 13:25:58 -05001647 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001648 }
Tim Petersc2f01122001-10-27 07:25:06 +00001649
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001650 /* convert tuple args and keyword args in same loop, using kwlist to drive process */
1651 for (i = 0; i < len; i++) {
1652 keyword = kwlist[i];
1653 if (*format == '|') {
Larry Hastings83a9f482012-03-20 20:06:16 +00001654 if (min != INT_MAX) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001655 PyErr_SetString(PyExc_SystemError,
Larry Hastings83a9f482012-03-20 20:06:16 +00001656 "Invalid format string (| specified twice)");
1657 return cleanreturn(0, &freelist);
1658 }
1659
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001660 min = i;
1661 format++;
Larry Hastings83a9f482012-03-20 20:06:16 +00001662
1663 if (max != INT_MAX) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001664 PyErr_SetString(PyExc_SystemError,
Larry Hastings83a9f482012-03-20 20:06:16 +00001665 "Invalid format string ($ before |)");
1666 return cleanreturn(0, &freelist);
1667 }
1668 }
1669 if (*format == '$') {
1670 if (max != INT_MAX) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001671 PyErr_SetString(PyExc_SystemError,
Larry Hastings83a9f482012-03-20 20:06:16 +00001672 "Invalid format string ($ specified twice)");
1673 return cleanreturn(0, &freelist);
1674 }
1675
1676 max = i;
1677 format++;
1678
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001679 if (max < pos) {
1680 PyErr_SetString(PyExc_SystemError,
1681 "Empty parameter name after $");
1682 return cleanreturn(0, &freelist);
1683 }
1684 if (skip) {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001685 /* Now we know the minimal and the maximal numbers of
1686 * positional arguments and can raise an exception with
1687 * informative message (see below). */
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001688 break;
1689 }
Larry Hastings83a9f482012-03-20 20:06:16 +00001690 if (max < nargs) {
1691 PyErr_Format(PyExc_TypeError,
1692 "Function takes %s %d positional arguments"
1693 " (%d given)",
1694 (min != INT_MAX) ? "at most" : "exactly",
1695 max, nargs);
1696 return cleanreturn(0, &freelist);
1697 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001698 }
1699 if (IS_END_OF_FORMAT(*format)) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001700 PyErr_Format(PyExc_SystemError,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001701 "More keyword list entries (%d) than "
1702 "format specifiers (%d)", len, i);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001703 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001704 }
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001705 if (!skip) {
1706 current_arg = NULL;
1707 if (nkeywords && i >= pos) {
1708 current_arg = PyDict_GetItemString(keywords, keyword);
1709 if (!current_arg && PyErr_Occurred()) {
1710 return cleanreturn(0, &freelist);
1711 }
1712 }
1713 if (current_arg) {
1714 --nkeywords;
1715 if (i < nargs) {
1716 /* arg present in tuple and in dict */
1717 PyErr_Format(PyExc_TypeError,
1718 "Argument given by name ('%s') "
1719 "and position (%d)",
1720 keyword, i+1);
1721 return cleanreturn(0, &freelist);
1722 }
1723 }
1724 else if (i < nargs)
1725 current_arg = PyTuple_GET_ITEM(args, i);
1726
1727 if (current_arg) {
1728 msg = convertitem(current_arg, &format, p_va, flags,
1729 levels, msgbuf, sizeof(msgbuf), &freelist);
1730 if (msg) {
1731 seterror(i+1, msg, levels, fname, custom_msg);
1732 return cleanreturn(0, &freelist);
1733 }
1734 continue;
1735 }
1736
1737 if (i < min) {
1738 if (i < pos) {
1739 assert (min == INT_MAX);
1740 assert (max == INT_MAX);
1741 skip = 1;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001742 /* At that moment we still don't know the minimal and
1743 * the maximal numbers of positional arguments. Raising
1744 * an exception is deferred until we encounter | and $
1745 * or the end of the format. */
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001746 }
1747 else {
1748 PyErr_Format(PyExc_TypeError, "Required argument "
1749 "'%s' (pos %d) not found",
1750 keyword, i+1);
1751 return cleanreturn(0, &freelist);
1752 }
1753 }
1754 /* current code reports success when all required args
1755 * fulfilled and no keyword args left, with no further
1756 * validation. XXX Maybe skip this in debug build ?
1757 */
1758 if (!nkeywords && !skip) {
1759 return cleanreturn(1, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001760 }
1761 }
Guido van Rossumaa354651996-08-19 19:32:04 +00001762
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001763 /* We are into optional args, skip thru to any remaining
1764 * keyword args */
1765 msg = skipitem(&format, p_va, flags);
1766 if (msg) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001767 PyErr_Format(PyExc_SystemError, "%s: '%s'", msg,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001768 format);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001769 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001770 }
1771 }
Tim Petersb054be42001-10-27 05:07:41 +00001772
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001773 if (skip) {
1774 PyErr_Format(PyExc_TypeError,
1775 "Function takes %s %d positional arguments"
1776 " (%d given)",
1777 (Py_MIN(pos, min) < i) ? "at least" : "exactly",
1778 Py_MIN(pos, min), nargs);
1779 return cleanreturn(0, &freelist);
1780 }
1781
Larry Hastings83a9f482012-03-20 20:06:16 +00001782 if (!IS_END_OF_FORMAT(*format) && (*format != '|') && (*format != '$')) {
Serhiy Storchakaa9725f82016-02-11 12:41:40 +02001783 PyErr_Format(PyExc_SystemError,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001784 "more argument specifiers than keyword list entries "
1785 "(remaining format:'%s')", format);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001786 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001787 }
Tim Petersc2f01122001-10-27 07:25:06 +00001788
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001789 /* make sure there are no extraneous keyword arguments */
1790 if (nkeywords > 0) {
1791 PyObject *key, *value;
1792 Py_ssize_t pos = 0;
1793 while (PyDict_Next(keywords, &pos, &key, &value)) {
1794 int match = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001795 if (!PyUnicode_Check(key)) {
1796 PyErr_SetString(PyExc_TypeError,
1797 "keywords must be strings");
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001798 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001799 }
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001800 for (i = 0; i < len; i++) {
Serhiy Storchakaf41b82f2016-06-09 16:30:29 +03001801 if (*kwlist[i] && !PyUnicode_CompareWithASCIIString(key, kwlist[i])) {
Antoine Pitrou7056cb22013-02-17 01:04:57 +01001802 match = 1;
1803 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001804 }
1805 }
1806 if (!match) {
1807 PyErr_Format(PyExc_TypeError,
Victor Stinner93b55132010-05-19 00:54:06 +00001808 "'%U' is an invalid keyword "
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001809 "argument for this function",
Victor Stinner93b55132010-05-19 00:54:06 +00001810 key);
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001811 return cleanreturn(0, &freelist);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001812 }
1813 }
1814 }
1815
Jean-Paul Calderonec961b4a2012-03-16 08:51:42 -04001816 return cleanreturn(1, &freelist);
Guido van Rossumaa354651996-08-19 19:32:04 +00001817}
1818
1819
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001820/* List of static parsers. */
1821static struct _PyArg_Parser *static_arg_parsers = NULL;
1822
1823static int
1824parser_init(struct _PyArg_Parser *parser)
1825{
1826 const char * const *keywords;
1827 const char *format, *msg;
1828 int i, len, min, max, nkw;
1829 PyObject *kwtuple;
1830
1831 assert(parser->format != NULL);
1832 assert(parser->keywords != NULL);
1833 if (parser->kwtuple != NULL) {
1834 return 1;
1835 }
1836
1837 /* grab the function name or custom error msg first (mutually exclusive) */
1838 parser->fname = strchr(parser->format, ':');
1839 if (parser->fname) {
1840 parser->fname++;
1841 parser->custom_msg = NULL;
1842 }
1843 else {
1844 parser->custom_msg = strchr(parser->format,';');
1845 if (parser->custom_msg)
1846 parser->custom_msg++;
1847 }
1848
1849 keywords = parser->keywords;
1850 /* scan keywords and count the number of positional-only parameters */
1851 for (i = 0; keywords[i] && !*keywords[i]; i++) {
1852 }
1853 parser->pos = i;
1854 /* scan keywords and get greatest possible nbr of args */
1855 for (; keywords[i]; i++) {
1856 if (!*keywords[i]) {
1857 PyErr_SetString(PyExc_SystemError,
1858 "Empty keyword parameter name");
1859 return 0;
1860 }
1861 }
1862 len = i;
1863
1864 min = max = INT_MAX;
1865 format = parser->format;
1866 for (i = 0; i < len; i++) {
1867 if (*format == '|') {
1868 if (min != INT_MAX) {
1869 PyErr_SetString(PyExc_SystemError,
1870 "Invalid format string (| specified twice)");
1871 return 0;
1872 }
1873 if (max != INT_MAX) {
1874 PyErr_SetString(PyExc_SystemError,
1875 "Invalid format string ($ before |)");
1876 return 0;
1877 }
1878 min = i;
1879 format++;
1880 }
1881 if (*format == '$') {
1882 if (max != INT_MAX) {
1883 PyErr_SetString(PyExc_SystemError,
1884 "Invalid format string ($ specified twice)");
1885 return 0;
1886 }
1887 if (i < parser->pos) {
1888 PyErr_SetString(PyExc_SystemError,
1889 "Empty parameter name after $");
1890 return 0;
1891 }
1892 max = i;
1893 format++;
1894 }
1895 if (IS_END_OF_FORMAT(*format)) {
1896 PyErr_Format(PyExc_SystemError,
1897 "More keyword list entries (%d) than "
1898 "format specifiers (%d)", len, i);
1899 return 0;
1900 }
1901
1902 msg = skipitem(&format, NULL, 0);
1903 if (msg) {
1904 PyErr_Format(PyExc_SystemError, "%s: '%s'", msg,
1905 format);
1906 return 0;
1907 }
1908 }
1909 parser->min = Py_MIN(min, len);
1910 parser->max = Py_MIN(max, len);
1911
1912 if (!IS_END_OF_FORMAT(*format) && (*format != '|') && (*format != '$')) {
1913 PyErr_Format(PyExc_SystemError,
1914 "more argument specifiers than keyword list entries "
1915 "(remaining format:'%s')", format);
1916 return 0;
1917 }
1918
1919 nkw = len - parser->pos;
1920 kwtuple = PyTuple_New(nkw);
1921 if (kwtuple == NULL) {
1922 return 0;
1923 }
1924 keywords = parser->keywords + parser->pos;
1925 for (i = 0; i < nkw; i++) {
1926 PyObject *str = PyUnicode_FromString(keywords[i]);
1927 if (str == NULL) {
1928 Py_DECREF(kwtuple);
1929 return 0;
1930 }
1931 PyUnicode_InternInPlace(&str);
1932 PyTuple_SET_ITEM(kwtuple, i, str);
1933 }
1934 parser->kwtuple = kwtuple;
1935
1936 assert(parser->next == NULL);
1937 parser->next = static_arg_parsers;
1938 static_arg_parsers = parser;
1939 return 1;
1940}
1941
1942static void
1943parser_clear(struct _PyArg_Parser *parser)
1944{
1945 Py_CLEAR(parser->kwtuple);
1946}
1947
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001948static PyObject*
1949find_keyword(PyObject *kwnames, PyObject **kwstack, PyObject *key)
1950{
1951 Py_ssize_t i, nkwargs;
1952
1953 nkwargs = PyTuple_GET_SIZE(kwnames);
1954 for (i=0; i < nkwargs; i++) {
1955 PyObject *kwname = PyTuple_GET_ITEM(kwnames, i);
1956
1957 /* ptr==ptr should match in most cases since keyword keys
1958 should be interned strings */
1959 if (kwname == key) {
1960 return kwstack[i];
1961 }
1962 if (!PyUnicode_Check(kwname)) {
1963 /* ignore non-string keyword keys:
1964 an error will be raised above */
1965 continue;
1966 }
1967 if (_PyUnicode_EQ(kwname, key)) {
1968 return kwstack[i];
1969 }
1970 }
1971 return NULL;
1972}
1973
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001974static int
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001975vgetargskeywordsfast_impl(PyObject **args, Py_ssize_t nargs,
1976 PyObject *keywords, PyObject *kwnames,
1977 struct _PyArg_Parser *parser,
1978 va_list *p_va, int flags)
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001979{
1980 PyObject *kwtuple;
1981 char msgbuf[512];
1982 int levels[32];
1983 const char *format;
1984 const char *msg;
1985 PyObject *keyword;
1986 int i, pos, len;
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001987 Py_ssize_t nkeywords;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001988 PyObject *current_arg;
1989 freelistentry_t static_entries[STATIC_FREELIST_ENTRIES];
1990 freelist_t freelist;
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001991 PyObject **kwstack = NULL;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001992
1993 freelist.entries = static_entries;
1994 freelist.first_available = 0;
1995 freelist.entries_malloced = 0;
1996
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03001997 assert(keywords == NULL || PyDict_Check(keywords));
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07001998 assert(kwnames == NULL || PyTuple_Check(kwnames));
1999 assert((keywords != NULL || kwnames != NULL)
2000 || (keywords == NULL && kwnames == NULL));
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002001 assert(parser != NULL);
2002 assert(p_va != NULL);
2003
2004 if (!parser_init(parser)) {
2005 return 0;
2006 }
2007
2008 kwtuple = parser->kwtuple;
2009 pos = parser->pos;
2010 len = pos + PyTuple_GET_SIZE(kwtuple);
2011
2012 if (len > STATIC_FREELIST_ENTRIES) {
2013 freelist.entries = PyMem_NEW(freelistentry_t, len);
2014 if (freelist.entries == NULL) {
2015 PyErr_NoMemory();
2016 return 0;
2017 }
2018 freelist.entries_malloced = 1;
2019 }
2020
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002021 if (keywords != NULL) {
2022 nkeywords = PyDict_Size(keywords);
2023 }
2024 else if (kwnames != NULL) {
2025 nkeywords = PyTuple_GET_SIZE(kwnames);
2026 kwstack = args + nargs;
2027 }
2028 else {
2029 nkeywords = 0;
2030 }
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002031 if (nargs + nkeywords > len) {
2032 PyErr_Format(PyExc_TypeError,
2033 "%s%s takes at most %d argument%s (%zd given)",
2034 (parser->fname == NULL) ? "function" : parser->fname,
2035 (parser->fname == NULL) ? "" : "()",
2036 len,
2037 (len == 1) ? "" : "s",
2038 nargs + nkeywords);
2039 return cleanreturn(0, &freelist);
2040 }
2041 if (parser->max < nargs) {
2042 PyErr_Format(PyExc_TypeError,
2043 "Function takes %s %d positional arguments (%d given)",
2044 (parser->min != INT_MAX) ? "at most" : "exactly",
2045 parser->max, nargs);
2046 return cleanreturn(0, &freelist);
2047 }
2048
2049 format = parser->format;
2050 /* convert tuple args and keyword args in same loop, using kwtuple to drive process */
2051 for (i = 0; i < len; i++) {
2052 keyword = (i >= pos) ? PyTuple_GET_ITEM(kwtuple, i - pos) : NULL;
2053 if (*format == '|') {
2054 format++;
2055 }
2056 if (*format == '$') {
2057 format++;
2058 }
2059 assert(!IS_END_OF_FORMAT(*format));
2060
2061 current_arg = NULL;
2062 if (nkeywords && i >= pos) {
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002063 if (keywords != NULL) {
2064 current_arg = PyDict_GetItem(keywords, keyword);
2065 if (!current_arg && PyErr_Occurred()) {
2066 return cleanreturn(0, &freelist);
2067 }
2068 }
2069 else {
2070 current_arg = find_keyword(kwnames, kwstack, keyword);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002071 }
2072 }
2073 if (current_arg) {
2074 --nkeywords;
2075 if (i < nargs) {
2076 /* arg present in tuple and in dict */
2077 PyErr_Format(PyExc_TypeError,
2078 "Argument given by name ('%U') "
2079 "and position (%d)",
2080 keyword, i+1);
2081 return cleanreturn(0, &freelist);
2082 }
2083 }
Victor Stinnera9efb2f2016-09-09 17:40:22 -07002084 else if (i < nargs) {
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002085 current_arg = args[i];
Victor Stinnera9efb2f2016-09-09 17:40:22 -07002086 }
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002087
2088 if (current_arg) {
2089 msg = convertitem(current_arg, &format, p_va, flags,
2090 levels, msgbuf, sizeof(msgbuf), &freelist);
2091 if (msg) {
2092 seterror(i+1, msg, levels, parser->fname, parser->custom_msg);
2093 return cleanreturn(0, &freelist);
2094 }
2095 continue;
2096 }
2097
2098 if (i < parser->min) {
2099 /* Less arguments than required */
2100 if (i < pos) {
2101 PyErr_Format(PyExc_TypeError,
2102 "Function takes %s %d positional arguments"
2103 " (%d given)",
2104 (Py_MIN(pos, parser->min) < parser->max) ? "at least" : "exactly",
2105 Py_MIN(pos, parser->min), nargs);
2106 }
2107 else {
2108 PyErr_Format(PyExc_TypeError, "Required argument "
2109 "'%U' (pos %d) not found",
2110 keyword, i+1);
2111 }
2112 return cleanreturn(0, &freelist);
2113 }
2114 /* current code reports success when all required args
2115 * fulfilled and no keyword args left, with no further
2116 * validation. XXX Maybe skip this in debug build ?
2117 */
2118 if (!nkeywords) {
2119 return cleanreturn(1, &freelist);
2120 }
2121
2122 /* We are into optional args, skip thru to any remaining
2123 * keyword args */
2124 msg = skipitem(&format, p_va, flags);
2125 assert(msg == NULL);
2126 }
2127
2128 assert(IS_END_OF_FORMAT(*format) || (*format == '|') || (*format == '$'));
2129
2130 /* make sure there are no extraneous keyword arguments */
2131 if (nkeywords > 0) {
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002132 if (keywords != NULL) {
2133 PyObject *key, *value;
2134 Py_ssize_t pos = 0;
2135 while (PyDict_Next(keywords, &pos, &key, &value)) {
2136 int match;
2137 if (!PyUnicode_Check(key)) {
2138 PyErr_SetString(PyExc_TypeError,
2139 "keywords must be strings");
2140 return cleanreturn(0, &freelist);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002141 }
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002142 match = PySequence_Contains(kwtuple, key);
2143 if (match <= 0) {
2144 if (!match) {
2145 PyErr_Format(PyExc_TypeError,
2146 "'%U' is an invalid keyword "
2147 "argument for this function",
2148 key);
2149 }
2150 return cleanreturn(0, &freelist);
2151 }
2152 }
2153 }
2154 else {
2155 Py_ssize_t j, nkwargs;
2156
2157 nkwargs = PyTuple_GET_SIZE(kwnames);
2158 for (j=0; j < nkwargs; j++) {
2159 PyObject *key = PyTuple_GET_ITEM(kwnames, j);
2160 int match;
2161
2162 if (!PyUnicode_Check(key)) {
2163 PyErr_SetString(PyExc_TypeError,
2164 "keywords must be strings");
2165 return cleanreturn(0, &freelist);
2166 }
2167
2168 match = PySequence_Contains(kwtuple, key);
2169 if (match <= 0) {
2170 if (!match) {
2171 PyErr_Format(PyExc_TypeError,
2172 "'%U' is an invalid keyword "
2173 "argument for this function",
2174 key);
2175 }
2176 return cleanreturn(0, &freelist);
2177 }
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002178 }
2179 }
2180 }
2181
2182 return cleanreturn(1, &freelist);
2183}
2184
Victor Stinnerf0ccbbb2016-09-09 17:40:38 -07002185static int
2186vgetargskeywordsfast(PyObject *args, PyObject *keywords,
2187 struct _PyArg_Parser *parser, va_list *p_va, int flags)
2188{
2189 PyObject **stack;
2190 Py_ssize_t nargs;
2191
2192 assert(args != NULL && PyTuple_Check(args));
2193
2194 stack = &PyTuple_GET_ITEM(args, 0);
2195 nargs = PyTuple_GET_SIZE(args);
2196 return vgetargskeywordsfast_impl(stack, nargs, keywords, NULL,
2197 parser, p_va, flags);
2198}
2199
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002200
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02002201static const char *
Martin v. Löwis18e16552006-02-15 17:27:45 +00002202skipitem(const char **p_format, va_list *p_va, int flags)
Guido van Rossumaa354651996-08-19 19:32:04 +00002203{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002204 const char *format = *p_format;
2205 char c = *format++;
Guido van Rossum98297ee2007-11-06 21:34:58 +00002206
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002207 switch (c) {
Georg Brandl6dd14612005-09-14 19:29:53 +00002208
Larry Hastingsa3479012012-05-08 23:52:03 -07002209 /*
2210 * codes that take a single data pointer as an argument
2211 * (the type of the pointer is irrelevant)
2212 */
Georg Brandl6dd14612005-09-14 19:29:53 +00002213
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002214 case 'b': /* byte -- very short int */
2215 case 'B': /* byte as bitfield */
2216 case 'h': /* short int */
2217 case 'H': /* short int as bitfield */
2218 case 'i': /* int */
2219 case 'I': /* int sized bitfield */
2220 case 'l': /* long int */
2221 case 'k': /* long int sized bitfield */
Benjamin Petersonaf580df2016-09-06 10:46:49 -07002222 case 'L': /* long long */
2223 case 'K': /* long long sized bitfield */
Larry Hastingsa3479012012-05-08 23:52:03 -07002224 case 'n': /* Py_ssize_t */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002225 case 'f': /* float */
2226 case 'd': /* double */
2227 case 'D': /* complex double */
2228 case 'c': /* char */
2229 case 'C': /* unicode char */
Larry Hastings10ba07a2012-05-07 02:44:50 -07002230 case 'p': /* boolean predicate */
Larry Hastingsa3479012012-05-08 23:52:03 -07002231 case 'S': /* string object */
2232 case 'Y': /* string object */
2233 case 'U': /* unicode string object */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002234 {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002235 if (p_va != NULL) {
2236 (void) va_arg(*p_va, void *);
2237 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002238 break;
2239 }
Martin v. Löwis18e16552006-02-15 17:27:45 +00002240
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002241 /* string codes */
Guido van Rossum98297ee2007-11-06 21:34:58 +00002242
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002243 case 'e': /* string with encoding */
2244 {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002245 if (p_va != NULL) {
2246 (void) va_arg(*p_va, const char *);
2247 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002248 if (!(*format == 's' || *format == 't'))
2249 /* after 'e', only 's' and 't' is allowed */
2250 goto err;
2251 format++;
2252 /* explicit fallthrough to string cases */
2253 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00002254
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002255 case 's': /* string */
2256 case 'z': /* string or None */
2257 case 'y': /* bytes */
2258 case 'u': /* unicode string */
Larry Hastingsd9e4a412012-05-08 03:51:18 -07002259 case 'Z': /* unicode string or None */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002260 case 'w': /* buffer, read-write */
2261 {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002262 if (p_va != NULL) {
2263 (void) va_arg(*p_va, char **);
2264 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002265 if (*format == '#') {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002266 if (p_va != NULL) {
2267 if (flags & FLAG_SIZE_T)
2268 (void) va_arg(*p_va, Py_ssize_t *);
2269 else
2270 (void) va_arg(*p_va, int *);
2271 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002272 format++;
2273 } else if ((c == 's' || c == 'z' || c == 'y') && *format == '*') {
2274 format++;
2275 }
2276 break;
2277 }
Georg Brandl6dd14612005-09-14 19:29:53 +00002278
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002279 case 'O': /* object */
2280 {
2281 if (*format == '!') {
2282 format++;
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002283 if (p_va != NULL) {
2284 (void) va_arg(*p_va, PyTypeObject*);
2285 (void) va_arg(*p_va, PyObject **);
2286 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002287 }
2288 else if (*format == '&') {
2289 typedef int (*converter)(PyObject *, void *);
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002290 if (p_va != NULL) {
2291 (void) va_arg(*p_va, converter);
2292 (void) va_arg(*p_va, void *);
2293 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002294 format++;
2295 }
2296 else {
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002297 if (p_va != NULL) {
2298 (void) va_arg(*p_va, PyObject **);
2299 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002300 }
2301 break;
2302 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00002303
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002304 case '(': /* bypass tuple, not handled at all previously */
2305 {
Serhiy Storchakaef1585e2015-12-25 20:01:53 +02002306 const char *msg;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002307 for (;;) {
2308 if (*format==')')
2309 break;
2310 if (IS_END_OF_FORMAT(*format))
2311 return "Unmatched left paren in format "
2312 "string";
2313 msg = skipitem(&format, p_va, flags);
2314 if (msg)
2315 return msg;
2316 }
2317 format++;
2318 break;
2319 }
Christian Heimes380f7f22008-02-28 11:19:05 +00002320
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002321 case ')':
2322 return "Unmatched right paren in format string";
Christian Heimes380f7f22008-02-28 11:19:05 +00002323
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002324 default:
Georg Brandl6dd14612005-09-14 19:29:53 +00002325err:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002326 return "impossible<bad format char>";
Guido van Rossum98297ee2007-11-06 21:34:58 +00002327
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002328 }
Georg Brandl6dd14612005-09-14 19:29:53 +00002329
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002330 *p_format = format;
2331 return NULL;
Guido van Rossumaa354651996-08-19 19:32:04 +00002332}
Fred Drakee4616e62001-10-23 21:09:29 +00002333
2334
2335int
Martin v. Löwis76246742006-03-01 04:06:10 +00002336PyArg_UnpackTuple(PyObject *args, const char *name, Py_ssize_t min, Py_ssize_t max, ...)
Fred Drakee4616e62001-10-23 21:09:29 +00002337{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002338 Py_ssize_t i, l;
2339 PyObject **o;
2340 va_list vargs;
Fred Drakee4616e62001-10-23 21:09:29 +00002341
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002342 assert(min >= 0);
2343 assert(min <= max);
2344 if (!PyTuple_Check(args)) {
2345 PyErr_SetString(PyExc_SystemError,
2346 "PyArg_UnpackTuple() argument list is not a tuple");
2347 return 0;
2348 }
2349 l = PyTuple_GET_SIZE(args);
2350 if (l < min) {
2351 if (name != NULL)
2352 PyErr_Format(
2353 PyExc_TypeError,
2354 "%s expected %s%zd arguments, got %zd",
2355 name, (min == max ? "" : "at least "), min, l);
2356 else
2357 PyErr_Format(
2358 PyExc_TypeError,
2359 "unpacked tuple should have %s%zd elements,"
2360 " but has %zd",
2361 (min == max ? "" : "at least "), min, l);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002362 return 0;
2363 }
Raymond Hettinger94230232016-03-26 03:02:48 -07002364 if (l == 0)
2365 return 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002366 if (l > max) {
2367 if (name != NULL)
2368 PyErr_Format(
2369 PyExc_TypeError,
2370 "%s expected %s%zd arguments, got %zd",
2371 name, (min == max ? "" : "at most "), max, l);
2372 else
2373 PyErr_Format(
2374 PyExc_TypeError,
2375 "unpacked tuple should have %s%zd elements,"
2376 " but has %zd",
2377 (min == max ? "" : "at most "), max, l);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002378 return 0;
2379 }
Raymond Hettinger94230232016-03-26 03:02:48 -07002380
2381#ifdef HAVE_STDARG_PROTOTYPES
2382 va_start(vargs, max);
2383#else
2384 va_start(vargs);
2385#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002386 for (i = 0; i < l; i++) {
2387 o = va_arg(vargs, PyObject **);
2388 *o = PyTuple_GET_ITEM(args, i);
2389 }
2390 va_end(vargs);
2391 return 1;
Fred Drakee4616e62001-10-23 21:09:29 +00002392}
Georg Brandl02c42872005-08-26 06:42:30 +00002393
2394
2395/* For type constructors that don't take keyword args
2396 *
Larry Hastingsb7ccb202014-01-18 23:50:21 -08002397 * Sets a TypeError and returns 0 if the args/kwargs is
Thomas Wouters89f507f2006-12-13 04:49:30 +00002398 * not empty, returns 1 otherwise
Georg Brandl02c42872005-08-26 06:42:30 +00002399 */
2400int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +00002401_PyArg_NoKeywords(const char *funcname, PyObject *kw)
Georg Brandl02c42872005-08-26 06:42:30 +00002402{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002403 if (kw == NULL)
2404 return 1;
2405 if (!PyDict_CheckExact(kw)) {
2406 PyErr_BadInternalCall();
2407 return 0;
2408 }
2409 if (PyDict_Size(kw) == 0)
2410 return 1;
Guido van Rossum98297ee2007-11-06 21:34:58 +00002411
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002412 PyErr_Format(PyExc_TypeError, "%s does not take keyword arguments",
2413 funcname);
2414 return 0;
Georg Brandl02c42872005-08-26 06:42:30 +00002415}
Larry Hastingsb7ccb202014-01-18 23:50:21 -08002416
2417
2418int
2419_PyArg_NoPositional(const char *funcname, PyObject *args)
2420{
2421 if (args == NULL)
2422 return 1;
2423 if (!PyTuple_CheckExact(args)) {
2424 PyErr_BadInternalCall();
2425 return 0;
2426 }
2427 if (PyTuple_GET_SIZE(args) == 0)
2428 return 1;
2429
2430 PyErr_Format(PyExc_TypeError, "%s does not take positional arguments",
2431 funcname);
2432 return 0;
2433}
2434
Serhiy Storchaka9171a8b2016-08-14 10:52:18 +03002435void
2436_PyArg_Fini(void)
2437{
2438 struct _PyArg_Parser *tmp, *s = static_arg_parsers;
2439 while (s) {
2440 tmp = s->next;
2441 s->next = NULL;
2442 parser_clear(s);
2443 s = tmp;
2444 }
2445 static_arg_parsers = NULL;
2446}
2447
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002448#ifdef __cplusplus
2449};
2450#endif