chiark - git - mdw - mLib-python/blob - pyke.h

   1 /* -*-c-*-
   2  *
   3  * Pyke: the Python Kit for Extensions
   4  *
   5  * (c) 2019 Straylight/Edgeware
   6  */
   7
   8 /*----- Licensing notice --------------------------------------------------*
   9  *
  10  * This file is part of Pyke: the Python Kit for Extensions.
  11  *
  12  * Pyke is free software: you can redistribute it and/or modify it under
  13  * the terms of the GNU General Public License as published by the Free
  14  * Software Foundation; either version 2 of the License, or (at your
  15  * option) any later version.
  16  *
  17  * Pyke is distributed in the hope that it will be useful, but WITHOUT
  18  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  19  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  20  * for more details.
  21  *
  22  * You should have received a copy of the GNU General Public License
  23  * along with Pyke.  If not, write to the Free Software Foundation, Inc.,
  24  * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  25  */
  26
  27 #ifndef PYKE_H
  28 #define PYKE_H
  29
  30 #ifdef __cplusplus
  31   extern "C" {
  32 #endif
  33
  34 /*----- Header files ------------------------------------------------------*/
  35
  36 #define PY_SSIZE_T_CLEAN
  37
  38 #include <Python.h>
  39 #include <structmember.h>
  40
  41 /*----- Other preliminaries -----------------------------------------------*/
  42
  43 #define NOTHING
  44 #define COMMA ,
  45
  46 /*----- Symbol visibility -------------------------------------------------*
  47  *
  48  * This library is very messy regarding symbol namespace.  Keep this mess
  49  * within our shared-object.
  50  */
  51
  52 #define GOBBLE_SEMI extern int notexist
  53 #if defined(__GNUC__) && defined(__ELF__)
  54 #  define PRIVATE_SYMBOLS _Pragma("GCC visibility push(hidden)") GOBBLE_SEMI
  55 #  define PUBLIC_SYMBOLS _Pragma("GCC visibility pop") GOBBLE_SEMI
  56 #  define EXPORT __attribute__((__visibility__("default")))
  57 #else
  58 #  define PRIVATE_SYMBOLS GOBBLE_SEMI
  59 #  define PUBLIC_SYMBOLS GOBBLE_SEMI
  60 #  define EXPORT
  61 #endif
  62
  63 PRIVATE_SYMBOLS;
  64
  65 /*----- Utilities for returning values and exceptions ---------------------*/
  66
  67 /* Returning values. */
  68 #define RETURN_OBJ(obj) do { Py_INCREF(obj); return (obj); } while (0)
  69 #define RETURN_NONE RETURN_OBJ(Py_None)
  70 #define RETURN_NOTIMPL RETURN_OBJ(Py_NotImplemented)
  71 #define RETURN_TRUE RETURN_OBJ(Py_True)
  72 #define RETURN_FALSE RETURN_OBJ(Py_False)
  73 #define RETURN_ME RETURN_OBJ(me)
  74
  75 /* Returning exceptions.  (Note that `KeyError' is `MAPERR' here, because
  76  * Catacomb has its own kind of `KeyError'.)
  77  */
  78 #define EXCERR(exc, str) do {                                           \
  79   PyErr_SetString(exc, str);                                            \
  80   goto end;                                                             \
  81 } while (0)
  82 #define VALERR(str) EXCERR(PyExc_ValueError, str)
  83 #define OVFERR(str) EXCERR(PyExc_OverflowError, str)
  84 #define TYERR(str) EXCERR(PyExc_TypeError, str)
  85 #define IXERR(str) EXCERR(PyExc_IndexError, str)
  86 #define ZDIVERR(str) EXCERR(PyExc_ZeroDivisionError, str)
  87 #define SYSERR(str) EXCERR(PyExc_SystemError, str)
  88 #define NIERR(str) EXCERR(PyExc_NotImplementedError, str)
  89 #define MAPERR(idx) do {                                                \
  90   PyErr_SetObject(PyExc_KeyError, idx);                                 \
  91   goto end;                                                             \
  92 } while (0)
  93 #define OSERR(name) do {                                                \
  94   PyErr_SetFromErrnoWithFilename(PyExc_OSError, name);                  \
  95   goto end;                                                             \
  96 } while (0)
  97
  98 /* Saving and restoring exceptions. */
  99 struct excinfo { PyObject *ty, *val, *tb; };
 100 #define EXCINFO_INIT { 0, 0, 0 }
 101 #define INIT_EXCINFO(exc) do {                                          \
 102   struct excinfo *_exc = (exc); _exc->ty = _exc->val = _exc->tb = 0;    \
 103 } while (0)
 104 #define RELEASE_EXCINFO(exc) do {                                       \
 105   struct excinfo *_exc = (exc);                                         \
 106   Py_XDECREF(_exc->ty);  _exc->ty  = 0;                                 \
 107   Py_XDECREF(_exc->val); _exc->val = 0;                                 \
 108   Py_XDECREF(_exc->tb);  _exc->tb  = 0;                                 \
 109 } while (0)
 110 #define STASH_EXCINFO(exc) do {                                         \
 111   struct excinfo *_exc = (exc);                                         \
 112   PyErr_Fetch(&_exc->ty, &_exc->val, &_exc->tb);                        \
 113   PyErr_NormalizeException(&_exc->ty, &_exc->val, &_exc->tb);           \
 114 } while (0)
 115 #define RESTORE_EXCINFO(exc) do {                                       \
 116   struct excinfo *_exc = (exc);                                         \
 117   PyErr_Restore(_exc->ty, _exc->val, _exc->tb);                         \
 118   _exc->ty = _exc->val = _exc->tb = 0;                                  \
 119 } while (0)
 120 extern void report_lost_exception(struct excinfo *, const char *, ...);
 121 extern void report_lost_exception_v(struct excinfo *, const char *, va_list);
 122 extern void stash_exception(struct excinfo *, const char *, ...);
 123 extern void restore_exception(struct excinfo *, const char *, ...);
 124
 125 /*----- Conversions -------------------------------------------------------*/
 126
 127 /* Define an input conversion (`O&') function: check that the object has
 128  * Python type TY, and extract a C pointer to CTY by calling EXT on the
 129  * object (which may well be a macro).
 130  */
 131 #define CONVFUNC(ty, cty, ext)                                          \
 132   int conv##ty(PyObject *o, void *p)                                    \
 133   {                                                                     \
 134     if (!PyObject_TypeCheck(o, ty##_pytype))                            \
 135       TYERR("wanted a " #ty);                                           \
 136     *(cty *)p = ext(o);                                                 \
 137     return (1);                                                         \
 138   end:                                                                  \
 139     return (0);                                                         \
 140   }
 141
 142 /* Input conversion functions for standard kinds of objects, with overflow
 143  * checking where applicable.
 144  */
 145 extern int convulong(PyObject *, void *); /* unsigned long */
 146 extern int convuint(PyObject *, void *); /* unsigned int */
 147 extern int convszt(PyObject *, void *); /* size_t */
 148 extern int convbool(PyObject *, void *); /* bool */
 149
 150 /* Output conversions. */
 151 extern PyObject *getbool(int);          /* bool */
 152 extern PyObject *getulong(unsigned long); /* any kind of unsigned integer */
 153
 154 /*----- Miscellaneous utilities -------------------------------------------*/
 155
 156 #define FREEOBJ(obj)                                                    \
 157   (((PyObject *)(obj))->ob_type->tp_free((PyObject *)(obj)))
 158   /* Actually free OBJ, e.g., in a deallocation function. */
 159
 160 extern PyObject *abstract_pynew(PyTypeObject *, PyObject *, PyObject *);
 161   /* A `tp_new' function which refuses to make the object. */
 162
 163 #ifndef CONVERT_CAREFULLY
 164 #  define CONVERT_CAREFULLY(newty, expty, obj)                          \
 165      (!sizeof(*(expty *)0 = (obj)) + (/*unconst*/ newty)(obj))
 166   /* Convert OBJ to the type NEWTY, having previously checked that it is
 167    * convertible to the expected type EXPTY.
 168    *
 169    * Because of the way we set up types, we can make many kinds of tables be
 170    * `const' which can't usually be so (because Python will want to fiddle
 171    * with their reference counts); and, besides, Python's internals are
 172    * generally quite bad at being `const'-correct about tables.  One frequent
 173    * application of this macro, then, is in removing `const' from a type
 174    * without sacrificing all type safety.  The other common use is in
 175    * checking that method function types match up with the signatures
 176    * expected in their method definitions.
 177    */
 178 #endif
 179
 180 #define KWLIST CONVERT_CAREFULLY(char **, const char *const *, kwlist)
 181   /* Strip `const' qualifiers from the keyword list `kwlist'.  Useful when
 182    * calling `PyArg_ParseTupleAndKeywords', which isn't `const'-correct.
 183    */
 184
 185 /*----- Type definitions --------------------------------------------------*
 186  *
 187  * Pyke types are defined in a rather unusual way.
 188  *
 189  * The main code defines a `type skeleton' of type `PyTypeObject',
 190  * conventionally named `TY_pytype_skel'.  Unlike typical Python type
 191  * definitions in extensions, this can (and should) be read-only.  Also,
 192  * there's no point in setting the `tp_base' pointer here, because the actual
 193  * runtime base type object won't, in general, be known at compile time.
 194  * Instead, the type skeletons are converted into Python `heap types' by the
 195  * `INITTYPE' macro.  The main difference is that Python code can add
 196  * attributes to heap types, and we make extensive use of this ability.
 197  */
 198
 199 extern void *newtype(PyTypeObject */*meta*/,
 200                      const PyTypeObject */*skel*/, const char */*name*/);
 201   /* Make and return a new Python type object, of type META (typically
 202    * `PyType_Type', but may be a subclass), filled in from the skeleton SKEL
 203    * (null to inherit everything), and named NAME.  The caller can mess with
 204    * the type object further at this time: call `typeready' when it's set up
 205    * properly.
 206    */
 207
 208 extern void typeready(PyTypeObject *);
 209   /* The type object is now ready to be used. */
 210
 211 extern PyTypeObject *inittype(PyTypeObject */*skel*/,
 212                               PyTypeObject */*meta*/);
 213   /* All-in-one function to construct a working type from a type skeleton
 214    * SKEL, with metaclass META.  The caller is expected to have filled in the
 215    * direct superclass in SKEL->tp_base.
 216    */
 217
 218 /* Alias for built-in types, to fit in with Pyke naming conventions. */
 219 #define root_pytype 0
 220 #define type_pytype &PyType_Type
 221
 222 #define INITTYPE_META(ty, base, meta) do {                              \
 223   ty##_pytype_skel.tp_base = base##_pytype;                             \
 224   ty##_pytype = inittype(&ty##_pytype_skel, meta##_pytype);             \
 225 } while (0)
 226 #define INITTYPE(ty, base) INITTYPE_META(ty, base, type)
 227   /* Macros to initialize a type from its skeleton. */
 228
 229 /* Macros for filling in `PyMethodDef' tables, ensuring that functions have
 230  * the expected signatures.
 231  */
 232 #define STD_METHOD(decor, func, flags, doc)                             \
 233   { #func, decor(func), METH_VARARGS | flags, doc },
 234 #define KEYWORD_METHOD(decor, func, flags, doc)                         \
 235   { #func,                                                              \
 236     CONVERT_CAREFULLY(PyCFunction, PyCFunctionWithKeywords, decor(func)), \
 237     METH_VARARGS | METH_KEYWORDS | flags,                               \
 238     doc },
 239 #define NOARG_METHOD(decor, func, flags, doc)                           \
 240   { #func,                                                              \
 241     CONVERT_CAREFULLY(PyCFunction, PyNoArgsFunction, decor(func)),      \
 242     METH_NOARGS | flags,                                                \
 243     doc },
 244
 245 /* Convenience wrappers for filling in `PyMethodDef' tables, following
 246  * Pyke naming convention.  Define `METHNAME' locally as
 247  *
 248  *      #define METHNAME(name) foometh_##func
 249  *
 250  * around the method table.
 251  */
 252 #define METH(func, doc) STD_METHOD(METHNAME, func, 0, doc)
 253 #define KWMETH(func, doc) KEYWORD_METHOD(METHNAME, func, 0, doc)
 254 #define NAMETH(func, doc) NOARG_METHOD(METHNAME, func, 0, doc)
 255 #define CMTH(func, doc) STD_METHOD(METHNAME, func, METH_CLASS, doc)
 256 #define KWCMTH(func, doc) KEYWORD_METHOD(METHNAME, func, METH_CLASS, doc)
 257 #define NACMTH(func, doc) NOARG_METHOD(METHNAME, func, METH_CLASS, doc)
 258 #define SMTH(func, doc) STD_METHOD(METHNAME, func, METH_STATIC, doc)
 259 #define KWSMTH(func, doc) KEYWORD_METHOD(METHNAME, func, METH_STATIC, doc)
 260 #define NASMTH(func, doc) NOARG_METHOD(METHNAME, func, METH_STATIC, doc)
 261
 262 /* Convenience wrappers for filling in `PyGetSetDef' tables, following Pyke
 263  * naming convention.  Define `GETSETNAME' locally as
 264  *
 265  *      #define GETSETNAME(op, name) foo##op##_##func
 266  *
 267  * around the get/set table.
 268  */
 269 #define GET(func, doc)                                                  \
 270   { #func, GETSETNAME(get, func), 0, doc },
 271 #define GETSET(func, doc)                                               \
 272   { #func, GETSETNAME(get, func), GETSETNAME(set, func), doc },
 273
 274 /* Convenience wrappers for filling in `PyMemberDef' tables.  Define
 275  * `MEMBERSTRUCT' locally as
 276  *
 277  *      #define MEMBERSTRUCT foo_pyobj
 278  *
 279  * around the member table.
 280  */
 281 #define MEMRNM(name, ty, mem, f, doc)                                   \
 282   { #name, ty, offsetof(MEMBERSTRUCT, mem), f, doc },
 283 #define MEMBER(name, ty, f, doc) MEMRNM(name, ty, name, f, doc)
 284
 285 /* Wrappers for filling in pointers in a `PyTypeObject' structure, (a)
 286  * following Pyke naming convention, and (b) stripping `const' from the types
 287  * without losing type safety.
 288  */
 289 #define UNCONST_TYPE_SLOT(type, suffix, op, ty)                         \
 290   CONVERT_CAREFULLY(type *, const type *, op ty##_py##suffix)
 291 #define PYGETSET(ty) UNCONST_TYPE_SLOT(PyGetSetDef, getset, NOTHING, ty)
 292 #define PYMETHODS(ty) UNCONST_TYPE_SLOT(PyMethodDef, methods, NOTHING, ty)
 293 #define PYMEMBERS(ty) UNCONST_TYPE_SLOT(PyMemberDef, members, NOTHING, ty)
 294 #define PYNUMBER(ty) UNCONST_TYPE_SLOT(PyNumberMethods, number, &, ty)
 295 #define PYSEQUENCE(ty) UNCONST_TYPE_SLOT(PySequenceMethods, sequence, &, ty)
 296 #define PYMAPPING(ty) UNCONST_TYPE_SLOT(PyMappingMethods, mapping, &, ty)
 297 #define PYBUFFER(ty) UNCONST_TYPE_SLOT(PyBufferProcs, buffer, &, ty)
 298
 299 /*----- Populating modules ------------------------------------------------*/
 300
 301 extern PyObject *modname;
 302   /* The overall module name.  Set this with `PyString_FromString'. */
 303
 304 extern PyObject *home_module;
 305   /* The overall module object. */
 306
 307 extern PyObject *mkexc(PyObject */*mod*/, PyObject */*base*/,
 308                        const char */*name*/, const PyMethodDef */*methods*/);
 309   /* Make and return an exception class called NAME, which will end up in
 310    * module MOD (though it is not added at this time).  The new class is a
 311    * subclass of BASE.  Attach the METHODS to it.
 312    */
 313
 314 #define INSERT(name, ob) do {                                           \
 315   PyObject *_o = (PyObject *)(ob);                                      \
 316   Py_INCREF(_o);                                                        \
 317   PyModule_AddObject(mod, name, _o);                                    \
 318 } while (0)
 319   /* Insert a Python object OB into the module `mod' under the given NAME. */
 320
 321 /* Numeric constants. */
 322 struct nameval { const char *name; unsigned f; unsigned long value; };
 323 #define CF_SIGNED 1u
 324 extern void setconstants(PyObject *, const struct nameval *);
 325
 326 #define INSEXC(name, var, base, meth)                                   \
 327   INSERT(name, var = mkexc(mod, base, name, meth))
 328   /* Insert an exception class into the module `mod'; other arguments are as
 329    * for `mkexc'.
 330    */
 331
 332 /*----- Submodules --------------------------------------------------------*
 333  *
 334  * It's useful to split the Python module up into multiple source files, and
 335  * have each one contribute its definitions into the main module.
 336  *
 337  * Define a list-macro `MODULES' in the master header file naming the
 338  * submodules to be processed, and run
 339  *
 340  *      MODULES(DECLARE_MODINIT)
 341  *
 342  * to declare the interface functions.
 343  *
 344  * Each submodule FOO defines two functions: `FOO_pyinit' initializes types
 345  * (see `INITTYPE' above) and accumulates methods (`addmethods' below), while
 346  * `FOO_pyinsert' populates the module with additional definitions
 347  * (especially types, though also constants).
 348  *
 349  * The top-level module initialization should call `INIT_MODULES' before
 350  * creating the Python module, and `INSERT_MODULES' afterwards to make
 351  * everything work.
 352  */
 353
 354 extern void addmethods(const PyMethodDef *);
 355 extern PyMethodDef *donemethods(void);
 356   /* Accumulate method-table fragments, and return the combined table of all
 357    * of the fragments.
 358    */
 359
 360 #define DECLARE_MODINIT(m)                                              \
 361   extern void m##_pyinit(void);                                         \
 362   extern void m##_pyinsert(PyObject *);
 363   /* Declare submodule interface functions. */
 364
 365 #define DOMODINIT(m) m##_pyinit();
 366 #define DOMODINSERT(m) m##_pyinsert(mod);
 367 #define INIT_MODULES do { MODULES(DOMODINIT) } while (0)
 368 #define INSERT_MODULES do { MODULES(DOMODINSERT) } while (0)
 369   /* Top-level dispatch to the various submodules. */
 370
 371 /*----- Generic mapping support -------------------------------------------*/
 372
 373 /* Mapping methods. */
 374 #define GMAP_METMNAME(func) gmapmeth_##func
 375 #define GMAP_METH(func, doc) STD_METHOD(GMAP_METMNAME, func, 0, doc)
 376 #define GMAP_KWMETH(func, doc) KEYWORD_METHOD(GMAP_METMNAME, func, 0, doc)
 377 #define GMAP_NAMETH(func, doc) NOARG_METHOD(GMAP_METMNAME, func, 0, doc)
 378 #define GMAP_METHDECL(func, doc)                                        \
 379   extern PyObject *gmapmeth_##func(PyObject *, PyObject *);
 380 #define GMAP_KWMETHDECL(func, doc)                                      \
 381   extern PyObject *gmapmeth_##func(PyObject *, PyObject *, PyObject *);
 382 #define GMAP_NAMETHDECL(func, doc)                                      \
 383   extern PyObject *gmapmeth_##func(PyObject *);
 384
 385 #define GMAP_DOROMETHODS(METH, KWMETH, NAMETH)                          \
 386   METH  (has_key,       "D.has_key(KEY) -> BOOL")                       \
 387   NAMETH(keys,          "D.keys() -> LIST")                             \
 388   NAMETH(values,        "D.values() -> LIST")                           \
 389   NAMETH(items,         "D.items() -> LIST")                            \
 390   NAMETH(iterkeys,      "D.iterkeys() -> ITER")                         \
 391   NAMETH(itervalues,    "D.itervalues() -> ITER")                       \
 392   NAMETH(iteritems,     "D.iteritems() -> ITER")                        \
 393   KWMETH(get,           "D.get(KEY, [default = None]) -> VALUE")
 394
 395 #define GMAP_DOMETHODS(METH, KWMETH, NAMETH)                            \
 396   GMAP_DOROMETHODS(METH, KWMETH, NAMETH)                                \
 397   NAMETH(clear,         "D.clear()")                                    \
 398   KWMETH(setdefault,    "D.setdefault(K, [default = None]) -> VALUE")   \
 399   KWMETH(pop,           "D.pop(KEY, [default = <error>]) -> VALUE")     \
 400   NAMETH(popitem,       "D.popitem() -> (KEY, VALUE)")                  \
 401   METH  (update,        "D.update(MAP)")
 402
 403 GMAP_DOMETHODS(GMAP_METHDECL, GMAP_KWMETHDECL, GMAP_NAMETHDECL)
 404 #define GMAP_ROMETHODS GMAP_DOROMETHODS(GMAP_METH, GMAP_KWMETH, GMAP_NAMETH)
 405 #define GMAP_METHODS GMAP_DOMETHODS(GMAP_METH, GMAP_KWMETH, GMAP_NAMETH)
 406
 407 /* Mapping protocol implementation. */
 408 extern Py_ssize_t gmap_pysize(PyObject *); /* for `mp_length' */
 409 extern const PySequenceMethods gmap_pysequence; /* for `tp_as_sequence' */
 410 extern const PyMethodDef gmap_pymethods[]; /* all the standard methods */
 411
 412 /*----- That's all, folks -------------------------------------------------*/
 413
 414 #ifdef __cplusplus
 415   }
 416 #endif
 417
 418 #endif