libguile/snarf.h

   1 /* classes: h_files */
   2
   3 #ifndef SCM_SNARF_H
   4 #define SCM_SNARF_H
   5
   6 /* Copyright (C) 1995,1996,1997,1998,1999,2000,2001, 2002, 2003, 2004, 2006, 2009 Free Software Foundation, Inc.
   7  *
   8  * This library is free software; you can redistribute it and/or
   9  * modify it under the terms of the GNU Lesser General Public License
  10  * as published by the Free Software Foundation; either version 3 of
  11  * the License, or (at your option) any later version.
  12  *
  13  * This library is distributed in the hope that it will be useful, but
  14  * WITHOUT ANY WARRANTY; without even the implied warranty of
  15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16  * Lesser General Public License for more details.
  17  *
  18  * You should have received a copy of the GNU Lesser General Public
  19  * License along with this library; if not, write to the Free Software
  20  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  21  * 02110-1301 USA
  22  */
  23
  24 \f
  25
  26 /* Macros for snarfing initialization actions from C source. */
  27
  28 #if defined(__cplusplus) || defined(GUILE_CPLUSPLUS_SNARF)
  29
  30 /* This used to be "SCM (*)(...)" but GCC on RedHat 7.1 doesn't seem
  31    to like it.
  32  */
  33 #define SCM_FUNC_CAST_ARBITRARY_ARGS SCM (*)()
  34
  35 #else
  36 #define SCM_FUNC_CAST_ARBITRARY_ARGS SCM (*)()
  37 #endif
  38
  39 #if (defined SCM_ALIGNED) && (SCM_DEBUG_TYPING_STRICTNESS <= 1)
  40 /* We support static allocation of some `SCM' objects.  */
  41 # define SCM_SUPPORT_STATIC_ALLOCATION
  42 #endif
  43
  44 /* C preprocessor token concatenation.  */
  45 #define scm_i_paste(x, y)      x ## y
  46 #define scm_i_paste3(a, b, c)  a ## b ## c
  47
  48
  49 \f
  50 /* Generic macros to be used in user macro definitions.
  51  *
  52  * For example, in order to define a macro which creates ints and
  53  * initializes them to the result of foo (), do:
  54  *
  55  *   #define SCM_FOO(NAME) \
  56  *     SCM_SNARF_HERE (int NAME) \
  57  *     SCM_SNARF_INIT (NAME = foo ())
  58  *
  59  * The SCM_SNARF_INIT text goes into the corresponding .x file
  60  * up through the first occurrence of SCM_SNARF_DOC_START on that
  61  * line, if any.
  62  */
  63
  64 #ifdef SCM_MAGIC_SNARF_INITS
  65 # define SCM_SNARF_HERE(X)
  66 # define SCM_SNARF_INIT(X) ^^ X ^:^
  67 # define SCM_SNARF_DOCS(TYPE, CNAME, FNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING)
  68 #else
  69 # ifdef SCM_MAGIC_SNARF_DOCS
  70 #  define SCM_SNARF_HERE(X)
  71 #  define SCM_SNARF_INIT(X)
  72 #  define SCM_SNARF_DOCS(TYPE, CNAME, FNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING) \
  73 ^^ { \
  74 cname CNAME ^^ \
  75 fname FNAME ^^ \
  76 type TYPE ^^ \
  77 location __FILE__ __LINE__ ^^ \
  78 arglist ARGLIST ^^ \
  79 argsig REQ OPT VAR ^^ \
  80 DOCSTRING ^^ }
  81 # else
  82 #  define SCM_SNARF_HERE(X) X
  83 #  define SCM_SNARF_INIT(X)
  84 #  define SCM_SNARF_DOCS(TYPE, CNAME, FNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING)
  85 # endif
  86 #endif
  87
  88 #define SCM_DEFINE_GSUBR(FNAME, PRIMNAME, REQ, OPT, VAR, ARGLIST, DOCSTRING) \
  89 SCM_SNARF_HERE(\
  90 static const char s_ ## FNAME [] = PRIMNAME; \
  91 SCM FNAME ARGLIST\
  92 )\
  93 SCM_SNARF_INIT(\
  94 scm_c_define_gsubr (s_ ## FNAME, REQ, OPT, VAR, \
  95                     (SCM_FUNC_CAST_ARBITRARY_ARGS) FNAME); \
  96 )\
  97 SCM_SNARF_DOCS(primitive, FNAME, PRIMNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING)
  98
  99 #ifdef SCM_SUPPORT_STATIC_ALLOCATION
 100
 101 /* Static subr allocation.  */
 102 #define SCM_DEFINE(FNAME, PRIMNAME, REQ, OPT, VAR, ARGLIST, DOCSTRING)  \
 103 SCM_SYMBOL (scm_i_paste (FNAME, __name), PRIMNAME);                     \
 104 SCM_SNARF_HERE(                                                 \
 105   static const char scm_i_paste (s_, FNAME) [] = PRIMNAME;              \
 106   SCM_API SCM FNAME ARGLIST;                                            \
 107   SCM_IMMUTABLE_SUBR (scm_i_paste (FNAME, __subr),                      \
 108                       scm_i_paste (FNAME, __name),                      \
 109                       REQ, OPT, VAR, &FNAME);                           \
 110   SCM FNAME ARGLIST                                                     \
 111 )                                                                       \
 112 SCM_SNARF_INIT(                                                 \
 113   /* Initialize the procedure name (an interned symbol).  */            \
 114   scm_i_paste (FNAME, __subr_meta_info)[0] = scm_i_paste (FNAME, __name); \
 115                                                                         \
 116   /* Define the subr.  */                                               \
 117   scm_c_define (scm_i_paste (s_, FNAME), scm_i_paste (FNAME, __subr));  \
 118 )                                                                       \
 119 SCM_SNARF_DOCS(primitive, FNAME, PRIMNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING)
 120
 121 #else /* !SCM_SUPPORT_STATIC_ALLOCATION */
 122
 123 /* Always use the generic subr case.  */
 124 #define SCM_DEFINE SCM_DEFINE_GSUBR
 125
 126 #endif /* !SCM_SUPPORT_STATIC_ALLOCATION */
 127
 128
 129 #define SCM_PRIMITIVE_GENERIC(FNAME, PRIMNAME, REQ, OPT, VAR, ARGLIST, DOCSTRING) \
 130 SCM_SNARF_HERE(\
 131 static const char s_ ## FNAME [] = PRIMNAME; \
 132 static SCM g_ ## FNAME; \
 133 SCM FNAME ARGLIST\
 134 )\
 135 SCM_SNARF_INIT(\
 136 g_ ## FNAME = SCM_PACK (0); \
 137 scm_c_define_gsubr_with_generic (s_ ## FNAME, REQ, OPT, VAR, \
 138                                  (SCM_FUNC_CAST_ARBITRARY_ARGS) FNAME, \
 139                                  &g_ ## FNAME); \
 140 )\
 141 SCM_SNARF_DOCS(primitive, FNAME, PRIMNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING)
 142
 143 #define SCM_DEFINE_PUBLIC(FNAME, PRIMNAME, REQ, OPT, VAR, ARGLIST, DOCSTRING) \
 144 SCM_SNARF_HERE(\
 145 static const char s_ ## FNAME [] = PRIMNAME; \
 146 SCM FNAME ARGLIST\
 147 )\
 148 SCM_SNARF_INIT(\
 149 scm_c_define_gsubr (s_ ## FNAME, REQ, OPT, VAR, \
 150                     (SCM_FUNC_CAST_ARBITRARY_ARGS) FNAME); \
 151 scm_c_export (s_ ## FNAME, NULL); \
 152 )\
 153 SCM_SNARF_DOCS(primitive, FNAME, PRIMNAME, ARGLIST, REQ, OPT, VAR, DOCSTRING)
 154
 155 #define SCM_DEFINE1(FNAME, PRIMNAME, TYPE, ARGLIST, DOCSTRING) \
 156 SCM_SNARF_HERE(\
 157 static const char s_ ## FNAME [] = PRIMNAME; \
 158 SCM FNAME ARGLIST\
 159 )\
 160 SCM_SNARF_INIT(scm_c_define_subr (s_ ## FNAME, TYPE, FNAME); ) \
 161 SCM_SNARF_DOCS(1, FNAME, PRIMNAME, ARGLIST, 2, 0, 0, DOCSTRING)
 162
 163 #define SCM_PRIMITIVE_GENERIC_1(FNAME, PRIMNAME, TYPE, ARGLIST, DOCSTRING) \
 164 SCM_SNARF_HERE(\
 165 static const char s_ ## FNAME [] = PRIMNAME; \
 166 static SCM g_ ## FNAME; \
 167 SCM FNAME ARGLIST\
 168 )\
 169 SCM_SNARF_INIT(\
 170 g_ ## FNAME = SCM_PACK (0); \
 171 scm_c_define_subr_with_generic (s_ ## FNAME, TYPE, FNAME, &g_ ## FNAME); \
 172 )\
 173 SCM_SNARF_DOCS(1, FNAME, PRIMNAME, ARGLIST, 2, 0, 0, DOCSTRING)
 174
 175 #define SCM_PROC(RANAME, STR, REQ, OPT, VAR, CFN)  \
 176 SCM_SNARF_HERE(static const char RANAME[]=STR) \
 177 SCM_SNARF_INIT(scm_c_define_gsubr (RANAME, REQ, OPT, VAR, \
 178                                    (SCM_FUNC_CAST_ARBITRARY_ARGS) CFN))
 179
 180 #define SCM_REGISTER_PROC(RANAME, STR, REQ, OPT, VAR, CFN)  \
 181 SCM_SNARF_HERE(static const char RANAME[]=STR) \
 182 SCM_SNARF_INIT(scm_c_define_gsubr (RANAME, REQ, OPT, VAR, \
 183                                    (SCM_FUNC_CAST_ARBITRARY_ARGS) CFN);) \
 184 SCM_SNARF_DOCS(register, CFN, STR, (), REQ, OPT, VAR, \
 185                "implemented by the C function \"" #CFN "\"")
 186
 187 #define SCM_GPROC(RANAME, STR, REQ, OPT, VAR, CFN, GF)  \
 188 SCM_SNARF_HERE(\
 189 static const char RANAME[]=STR;\
 190 static SCM GF \
 191 )SCM_SNARF_INIT(\
 192 GF = SCM_PACK (0);  /* Dirk:FIXME:: Can we safely use #f instead of 0? */ \
 193 scm_c_define_gsubr_with_generic (RANAME, REQ, OPT, VAR, \
 194                                  (SCM_FUNC_CAST_ARBITRARY_ARGS) CFN, &GF) \
 195 )
 196
 197 #define SCM_PROC1(RANAME, STR, TYPE, CFN) \
 198 SCM_SNARF_HERE(static const char RANAME[]=STR) \
 199 SCM_SNARF_INIT(\
 200 scm_c_define_subr (RANAME, TYPE, (SCM_FUNC_CAST_ARBITRARY_ARGS) CFN) \
 201 )
 202
 203
 204 #define SCM_GPROC1(RANAME, STR, TYPE, CFN, GF) \
 205 SCM_SNARF_HERE(\
 206 static const char RANAME[]=STR; \
 207 static SCM GF \
 208 )SCM_SNARF_INIT(\
 209 GF = SCM_PACK (0);  /* Dirk:FIXME:: Can we safely use #f instead of 0? */ \
 210 scm_c_define_subr_with_generic (RANAME, TYPE, \
 211                                 (SCM_FUNC_CAST_ARBITRARY_ARGS) CFN, &GF) \
 212 )
 213
 214 #define SCM_SYNTAX(RANAME, STR, TYPE, CFN)  \
 215 SCM_SNARF_HERE(static const char RANAME[]=STR)\
 216 SCM_SNARF_INIT(scm_make_synt (RANAME, TYPE, CFN))
 217
 218 #ifdef SCM_SUPPORT_STATIC_ALLOCATION
 219
 220 # define SCM_SYMBOL(c_name, scheme_name)                                \
 221 SCM_SNARF_HERE(                                                         \
 222   SCM_IMMUTABLE_STRING (scm_i_paste (c_name, _string), scheme_name);    \
 223   static SCM c_name)                                                    \
 224 SCM_SNARF_INIT(                                                         \
 225   c_name = scm_string_to_symbol (scm_i_paste (c_name, _string))         \
 226 )
 227
 228 # define SCM_GLOBAL_SYMBOL(c_name, scheme_name)                         \
 229 SCM_SNARF_HERE(                                                         \
 230   SCM_IMMUTABLE_STRING (scm_i_paste (c_name, _string), scheme_name);    \
 231   SCM c_name)                                                           \
 232 SCM_SNARF_INIT(                                                         \
 233   c_name = scm_string_to_symbol (scm_i_paste (c_name, _string))         \
 234 )
 235
 236 #else /* !SCM_SUPPORT_STATIC_ALLOCATION */
 237
 238 # define SCM_SYMBOL(c_name, scheme_name)                                \
 239 SCM_SNARF_HERE(static SCM c_name)                                       \
 240 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_from_locale_symbol (scheme_name)))
 241
 242 # define SCM_GLOBAL_SYMBOL(c_name, scheme_name)                         \
 243 SCM_SNARF_HERE(SCM c_name)                                              \
 244 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_from_locale_symbol (scheme_name)))
 245
 246 #endif /* !SCM_SUPPORT_STATIC_ALLOCATION */
 247
 248 #define SCM_KEYWORD(c_name, scheme_name) \
 249 SCM_SNARF_HERE(static SCM c_name) \
 250 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_from_locale_keyword (scheme_name)))
 251
 252 #define SCM_GLOBAL_KEYWORD(c_name, scheme_name) \
 253 SCM_SNARF_HERE(SCM c_name) \
 254 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_from_locale_keyword (scheme_name)))
 255
 256 #define SCM_VARIABLE(c_name, scheme_name) \
 257 SCM_SNARF_HERE(static SCM c_name) \
 258 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_c_define (scheme_name, SCM_BOOL_F));)
 259
 260 #define SCM_GLOBAL_VARIABLE(c_name, scheme_name) \
 261 SCM_SNARF_HERE(SCM c_name) \
 262 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_c_define (scheme_name, SCM_BOOL_F));)
 263
 264 #define SCM_VARIABLE_INIT(c_name, scheme_name, init_val) \
 265 SCM_SNARF_HERE(static SCM c_name) \
 266 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_c_define (scheme_name, init_val));)
 267
 268 #define SCM_GLOBAL_VARIABLE_INIT(c_name, scheme_name, init_val) \
 269 SCM_SNARF_HERE(SCM c_name) \
 270 SCM_SNARF_INIT(c_name = scm_permanent_object (scm_c_define (scheme_name, init_val));)
 271
 272 #define SCM_MUTEX(c_name) \
 273 SCM_SNARF_HERE(static scm_t_mutex c_name) \
 274 SCM_SNARF_INIT(scm_i_plugin_mutex_init (&c_name, &scm_i_plugin_mutex))
 275
 276 #define SCM_GLOBAL_MUTEX(c_name) \
 277 SCM_SNARF_HERE(scm_t_mutex c_name) \
 278 SCM_SNARF_INIT(scm_i_plugin_mutex_init (&c_name, &scm_i_plugin_mutex))
 279
 280 #define SCM_REC_MUTEX(c_name) \
 281 SCM_SNARF_HERE(static scm_t_rec_mutex c_name) \
 282 SCM_SNARF_INIT(scm_i_plugin_rec_mutex_init (&c_name, &scm_i_plugin_rec_mutex))
 283
 284 #define SCM_GLOBAL_REC_MUTEX(c_name) \
 285 SCM_SNARF_HERE(scm_t_rec_mutex c_name) \
 286 SCM_SNARF_INIT(scm_i_plugin_rec_mutex_init (&c_name, &scm_i_plugin_rec_mutex))
 287
 288 #define SCM_SMOB(tag, scheme_name, size) \
 289 SCM_SNARF_HERE(static scm_t_bits tag) \
 290 SCM_SNARF_INIT((tag)=scm_make_smob_type((scheme_name), (size));)
 291
 292 #define SCM_GLOBAL_SMOB(tag, scheme_name, size) \
 293 SCM_SNARF_HERE(scm_t_bits tag) \
 294 SCM_SNARF_INIT((tag)=scm_make_smob_type((scheme_name), (size));)
 295
 296 #define SCM_SMOB_MARK(tag, c_name, arg) \
 297 SCM_SNARF_HERE(static SCM c_name(SCM arg)) \
 298 SCM_SNARF_INIT(scm_set_smob_mark((tag), (c_name));)
 299
 300 #define SCM_GLOBAL_SMOB_MARK(tag, c_name, arg) \
 301 SCM_SNARF_HERE(SCM c_name(SCM arg)) \
 302 SCM_SNARF_INIT(scm_set_smob_mark((tag), (c_name));)
 303
 304 #define SCM_SMOB_FREE(tag, c_name, arg) \
 305 SCM_SNARF_HERE(static size_t c_name(SCM arg)) \
 306 SCM_SNARF_INIT(scm_set_smob_free((tag), (c_name));)
 307
 308 #define SCM_GLOBAL_SMOB_FREE(tag, c_name, arg) \
 309 SCM_SNARF_HERE(size_t c_name(SCM arg)) \
 310 SCM_SNARF_INIT(scm_set_smob_free((tag), (c_name));)
 311
 312 #define SCM_SMOB_PRINT(tag, c_name, obj, port, pstate) \
 313 SCM_SNARF_HERE(static int c_name(SCM obj, SCM port, scm_print_state* pstate)) \
 314 SCM_SNARF_INIT(scm_set_smob_print((tag), (c_name));)
 315
 316 #define SCM_GLOBAL_SMOB_PRINT(tag, c_name, obj, port, pstate) \
 317 SCM_SNARF_HERE(int c_name(SCM obj, SCM port, scm_print_state* pstate)) \
 318 SCM_SNARF_INIT(scm_set_smob_print((tag), (c_name));)
 319
 320 #define SCM_SMOB_EQUALP(tag, c_name, obj1, obj2) \
 321 SCM_SNARF_HERE(static SCM c_name(SCM obj1, SCM obj2)) \
 322 SCM_SNARF_INIT(scm_set_smob_equalp((tag), (c_name));)
 323
 324 #define SCM_GLOBAL_SMOB_EQUALP(tag, c_name, obj1, obj2) \
 325 SCM_SNARF_HERE(SCM c_name(SCM obj1, SCM obj2)) \
 326 SCM_SNARF_INIT(scm_set_smob_equalp((tag), (c_name));)
 327
 328 #define SCM_SMOB_APPLY(tag, c_name, req, opt, rest, arglist) \
 329 SCM_SNARF_HERE(static SCM c_name arglist) \
 330 SCM_SNARF_INIT(scm_set_smob_apply((tag), (c_name), (req), (opt), (rest));)
 331
 332 #define SCM_GLOBAL_SMOB_APPLY(tag, c_name, req, opt, rest, arglist) \
 333 SCM_SNARF_HERE(SCM c_name arglist) \
 334 SCM_SNARF_INIT(scm_set_smob_apply((tag), (c_name), (req), (opt), (rest));)
 335
 336 \f
 337 /* Low-level snarfing for static memory allocation.  */
 338
 339 #ifdef SCM_SUPPORT_STATIC_ALLOCATION
 340
 341 #define SCM_IMMUTABLE_DOUBLE_CELL(c_name, car, cbr, ccr, cdr)           \
 342   static SCM_ALIGNED (8) SCM_UNUSED const scm_t_cell                    \
 343   c_name ## _raw_cell [2] =                                             \
 344     {                                                                   \
 345       { SCM_PACK (car), SCM_PACK (cbr) },                               \
 346       { SCM_PACK (ccr), SCM_PACK (cdr) }                                \
 347     };                                                                  \
 348   static SCM_UNUSED const SCM c_name = SCM_PACK (& c_name ## _raw_cell)
 349
 350 #define SCM_IMMUTABLE_STRINGBUF(c_name, contents)       \
 351   static SCM_UNUSED const                               \
 352   struct                                                \
 353   {                                                     \
 354     scm_t_bits word_0;                                  \
 355     scm_t_bits word_1;                                  \
 356     const char buffer[sizeof (contents)];               \
 357   }                                                     \
 358   c_name =                                              \
 359     {                                                   \
 360       scm_tc7_stringbuf | SCM_I_STRINGBUF_F_SHARED,     \
 361       sizeof (contents) - 1,                            \
 362       contents                                          \
 363     }
 364
 365 #define SCM_IMMUTABLE_STRING(c_name, contents)                          \
 366   SCM_IMMUTABLE_STRINGBUF (scm_i_paste (c_name, _stringbuf), contents); \
 367   SCM_IMMUTABLE_DOUBLE_CELL (c_name,                                    \
 368                              scm_tc7_ro_string,                         \
 369                              (scm_t_bits) &scm_i_paste (c_name,         \
 370                                                         _stringbuf),    \
 371                              (scm_t_bits) 0,                            \
 372                              (scm_t_bits) sizeof (contents) - 1)
 373
 374 #define SCM_IMMUTABLE_SUBR(c_name, name, req, opt, rest, fcn)           \
 375   static SCM_UNUSED SCM scm_i_paste (c_name, _meta_info)[2] =           \
 376     {                                                                   \
 377       SCM_BOOL_F,  /* The name, initialized at run-time.  */            \
 378       SCM_EOL      /* The procedure properties.  */                     \
 379     };                                                                  \
 380   SCM_IMMUTABLE_DOUBLE_CELL (c_name,                                    \
 381                              SCM_SUBR_ARITY_TO_TYPE (req, opt, rest),   \
 382                              (scm_t_bits) fcn,                          \
 383                              (scm_t_bits) 0 /* no generic */,           \
 384                              (scm_t_bits) & scm_i_paste (c_name, _meta_info));
 385
 386 #endif /* SCM_SUPPORT_STATIC_ALLOCATION */
 387
 388 \f
 389 /* Documentation.  */
 390
 391 #ifdef SCM_MAGIC_SNARF_DOCS
 392 #undef SCM_ASSERT
 393 #define SCM_ASSERT(_cond, _arg, _pos, _subr) ^^ argpos _arg _pos __LINE__ ^^
 394 #endif /* SCM_MAGIC_SNARF_DOCS */
 395
 396 #endif  /* SCM_SNARF_H */
 397
 398 /*
 399   Local Variables:
 400   c-file-style: "gnu"
 401   End:
 402 */