1 /* Copyright (C) 1995,1996,1997,1999,2000,2001 Free Software Foundation, Inc.
3 * This program is free software; you can redistribute it and/or modify
4 * it under the terms of the GNU General Public License as published by
5 * the Free Software Foundation; either version 2, or (at your option)
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
13 * You should have received a copy of the GNU General Public License
14 * along with this software; see the file COPYING. If not, write to
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
18 * As a special exception, the Free Software Foundation gives permission
19 * for additional uses of the text contained in its release of GUILE.
21 * The exception is that, if you link the GUILE library with other files
22 * to produce an executable, this does not by itself cause the
23 * resulting executable to be covered by the GNU General Public License.
24 * Your use of that executable is in no way restricted on account of
25 * linking the GUILE library code into it.
27 * This exception does not however invalidate any other reasons why
28 * the executable file might be covered by the GNU General Public License.
30 * This exception applies only to the code released by the
31 * Free Software Foundation under the name GUILE. If you copy
32 * code from other Free Software Foundation releases into a copy of
33 * GUILE, as the General Public License permits, the exception does
34 * not apply to the code that you add in this way. To avoid misleading
35 * anyone as to the status of such modified files, you must delete
36 * this exception notice from them.
38 * If you write modifications of your own for GUILE, it is your choice
39 * whether to permit this exception to apply to your modifications.
40 * If you do not wish that, delete this exception notice. */
45 #include "libguile/_scm.h"
47 #include "libguile/objects.h"
48 #include "libguile/strings.h"
49 #include "libguile/vectors.h"
50 #include "libguile/smob.h"
51 #include "libguile/deprecation.h"
53 #include "libguile/validate.h"
54 #include "libguile/procs.h"
61 scm_t_subr_entry
*scm_subr_table
;
63 /* libguile contained approx. 700 primitive procedures on 24 Aug 1999. */
65 /* Increased to 800 on 2001-05-07 -- Guile now has 779 primitives on
66 startup, 786 with guile-readline. 'martin */
68 long scm_subr_table_size
= 0;
69 long scm_subr_table_room
= 800;
72 scm_c_make_subr (const char *name
, long type
, SCM (*fcn
) ())
77 if (scm_subr_table_size
== scm_subr_table_room
)
79 long new_size
= scm_subr_table_room
* 3 / 2;
81 = scm_realloc ((char *) scm_subr_table
,
82 sizeof (scm_t_subr_entry
) * new_size
);
83 scm_subr_table
= new_table
;
84 scm_subr_table_room
= new_size
;
87 entry
= scm_subr_table_size
;
88 z
= scm_cell ((entry
<< 8) + type
, (scm_t_bits
) fcn
);
89 scm_subr_table
[entry
].handle
= z
;
90 scm_subr_table
[entry
].name
= scm_str2symbol (name
);
91 scm_subr_table
[entry
].generic
= 0;
92 scm_subr_table
[entry
].properties
= SCM_EOL
;
93 scm_subr_table_size
++;
99 scm_c_define_subr (const char *name
, long type
, SCM (*fcn
) ())
101 SCM subr
= scm_c_make_subr (name
, type
, fcn
);
102 scm_define (SCM_SUBR_ENTRY(subr
).name
, subr
);
106 /* This function isn't currently used since subrs are never freed. */
107 /* *fixme* Need mutex here. */
109 scm_free_subr_entry (SCM subr
)
111 long entry
= SCM_SUBRNUM (subr
);
112 /* Move last entry in table to the free position */
113 scm_subr_table
[entry
] = scm_subr_table
[scm_subr_table_size
- 1];
114 SCM_SET_SUBRNUM (scm_subr_table
[entry
].handle
, entry
);
115 scm_subr_table_size
--;
119 scm_c_make_subr_with_generic (const char *name
,
120 long type
, SCM (*fcn
) (), SCM
*gf
)
122 SCM subr
= scm_c_make_subr (name
, type
, fcn
);
123 SCM_SUBR_ENTRY(subr
).generic
= gf
;
128 scm_c_define_subr_with_generic (const char *name
,
129 long type
, SCM (*fcn
) (), SCM
*gf
)
131 SCM subr
= scm_c_make_subr_with_generic (name
, type
, fcn
, gf
);
132 scm_define (SCM_SUBR_ENTRY(subr
).name
, subr
);
137 scm_mark_subr_table ()
140 for (i
= 0; i
< scm_subr_table_size
; ++i
)
142 scm_gc_mark (scm_subr_table
[i
].name
);
143 if (scm_subr_table
[i
].generic
&& *scm_subr_table
[i
].generic
)
144 scm_gc_mark (*scm_subr_table
[i
].generic
);
145 if (SCM_NIMP (scm_subr_table
[i
].properties
))
146 scm_gc_mark (scm_subr_table
[i
].properties
);
153 scm_makcclo (SCM proc
, size_t len
)
155 scm_t_bits
*base
= scm_gc_malloc (len
* sizeof (scm_t_bits
),
160 for (i
= 0; i
< len
; ++i
)
161 base
[i
] = SCM_UNPACK (SCM_UNSPECIFIED
);
163 s
= scm_cell (SCM_MAKE_CCLO_TAG (len
), (scm_t_bits
) base
);
164 SCM_SET_CCLO_SUBR (s
, proc
);
168 /* Undocumented debugging procedure */
170 SCM_DEFINE (scm_make_cclo
, "make-cclo", 2, 0, 0,
172 "Create a compiled closure for @var{proc}, which reserves\n"
173 "@var{len} objects for its usage.")
174 #define FUNC_NAME s_scm_make_cclo
176 return scm_makcclo (proc
, SCM_INUM (len
));
184 SCM_DEFINE (scm_procedure_p
, "procedure?", 1, 0, 0,
186 "Return @code{#t} if @var{obj} is a procedure.")
187 #define FUNC_NAME s_scm_procedure_p
190 switch (SCM_TYP7 (obj
))
193 if (!SCM_I_OPERATORP (obj
))
195 case scm_tcs_closures
:
203 return SCM_BOOL (SCM_SMOB_DESCRIPTOR (obj
).apply
);
211 SCM_DEFINE (scm_closure_p
, "closure?", 1, 0, 0,
213 "Return @code{#t} if @var{obj} is a closure.")
214 #define FUNC_NAME s_scm_closure_p
216 return SCM_BOOL (SCM_CLOSUREP (obj
));
220 SCM_DEFINE (scm_thunk_p
, "thunk?", 1, 0, 0,
222 "Return @code{#t} if @var{obj} is a thunk.")
223 #define FUNC_NAME s_scm_thunk_p
228 switch (SCM_TYP7 (obj
))
230 case scm_tcs_closures
:
231 return SCM_BOOL (!SCM_CONSP (SCM_CLOSURE_FORMALS (obj
)));
233 case scm_tc7_subr_1o
:
242 obj
= SCM_PROCEDURE (obj
);
252 /* Only used internally. */
257 switch (SCM_TYP7 (obj
))
267 SCM_DEFINE (scm_procedure_documentation
, "procedure-documentation", 1, 0, 0,
269 "Return the documentation string associated with @code{proc}. By\n"
270 "convention, if a procedure contains more than one expression and the\n"
271 "first expression is a string constant, that string is assumed to contain\n"
272 "documentation for that procedure.")
273 #define FUNC_NAME s_scm_procedure_documentation
276 SCM_ASSERT (SCM_EQ_P (scm_procedure_p (proc
), SCM_BOOL_T
) && SCM_NIMP (proc
),
277 proc
, SCM_ARG1
, FUNC_NAME
);
278 switch (SCM_TYP7 (proc
))
280 case scm_tcs_closures
:
281 code
= SCM_CLOSURE_BODY (proc
);
282 if (SCM_IMP (SCM_CDR (code
)))
284 code
= SCM_CAR (code
);
287 if (SCM_STRINGP (code
))
302 /* Procedure-with-setter
305 SCM_DEFINE (scm_procedure_with_setter_p
, "procedure-with-setter?", 1, 0, 0,
307 "Return @code{#t} if @var{obj} is a procedure with an\n"
308 "associated setter procedure.")
309 #define FUNC_NAME s_scm_procedure_with_setter_p
311 return SCM_BOOL(SCM_PROCEDURE_WITH_SETTER_P (obj
));
315 SCM_DEFINE (scm_make_procedure_with_setter
, "make-procedure-with-setter", 2, 0, 0,
316 (SCM procedure
, SCM setter
),
317 "Create a new procedure which behaves like @var{procedure}, but\n"
318 "with the associated setter @var{setter}.")
319 #define FUNC_NAME s_scm_make_procedure_with_setter
321 SCM_VALIDATE_PROC (1, procedure
);
322 SCM_VALIDATE_PROC (2, setter
);
323 return scm_double_cell (scm_tc7_pws
,
324 SCM_UNPACK (procedure
),
325 SCM_UNPACK (setter
), 0);
329 SCM_DEFINE (scm_procedure
, "procedure", 1, 0, 0,
331 "Return the procedure of @var{proc}, which must be either a\n"
332 "procedure with setter, or an operator struct.")
333 #define FUNC_NAME s_scm_procedure
335 SCM_VALIDATE_NIM (1, proc
);
336 if (SCM_PROCEDURE_WITH_SETTER_P (proc
))
337 return SCM_PROCEDURE (proc
);
338 else if (SCM_STRUCTP (proc
))
340 SCM_ASSERT (SCM_I_OPERATORP (proc
), proc
, SCM_ARG1
, FUNC_NAME
);
343 SCM_WRONG_TYPE_ARG (1, proc
);
344 return SCM_BOOL_F
; /* not reached */
348 SCM_GPROC (s_setter
, "setter", 1, 0, 0, scm_setter
, g_setter
);
351 scm_setter (SCM proc
)
353 SCM_GASSERT1 (SCM_NIMP (proc
), g_setter
, proc
, SCM_ARG1
, s_setter
);
354 if (SCM_PROCEDURE_WITH_SETTER_P (proc
))
355 return SCM_SETTER (proc
);
356 else if (SCM_STRUCTP (proc
))
359 SCM_GASSERT1 (SCM_I_OPERATORP (proc
),
360 g_setter
, proc
, SCM_ARG1
, s_setter
);
361 setter
= (SCM_I_ENTITYP (proc
)
362 ? SCM_ENTITY_SETTER (proc
)
363 : SCM_OPERATOR_SETTER (proc
));
364 if (SCM_NIMP (setter
))
368 SCM_WTA_DISPATCH_1 (g_setter
, proc
, SCM_ARG1
, s_setter
);
369 return SCM_BOOL_F
; /* not reached */
374 scm_init_subr_table ()
377 = ((scm_t_subr_entry
*)
378 scm_malloc (sizeof (scm_t_subr_entry
) * scm_subr_table_room
));
384 #include "libguile/procs.x"