1 /* Copyright (C) 1995,1996,1997,1999,2000,2001, 2006, 2008 Free Software Foundation, Inc.
3 * This library is free software; you can redistribute it and/or
4 * modify it under the terms of the GNU Lesser General Public
5 * License as published by the Free Software Foundation; either
6 * version 2.1 of the License, or (at your option) any later version.
8 * This library 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 GNU
11 * Lesser General Public License for more details.
13 * You should have received a copy of the GNU Lesser General Public
14 * License along with this library; if not, write to the Free Software
15 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
24 #include "libguile/_scm.h"
26 #include "libguile/objects.h"
27 #include "libguile/strings.h"
28 #include "libguile/vectors.h"
29 #include "libguile/smob.h"
30 #include "libguile/deprecation.h"
32 #include "libguile/validate.h"
33 #include "libguile/procs.h"
34 #include "libguile/procprop.h"
35 #include "libguile/programs.h"
42 scm_t_subr_entry
*scm_subr_table
;
44 /* libguile contained approx. 700 primitive procedures on 24 Aug 1999. */
46 /* Increased to 800 on 2001-05-07 -- Guile now has 779 primitives on
47 startup, 786 with guile-readline. 'martin */
49 long scm_subr_table_size
= 0;
50 long scm_subr_table_room
= 800;
53 scm_c_make_subr (const char *name
, long type
, SCM (*fcn
) ())
58 if (scm_subr_table_size
== scm_subr_table_room
)
60 long new_size
= scm_subr_table_room
* 3 / 2;
62 = scm_realloc ((char *) scm_subr_table
,
63 sizeof (scm_t_subr_entry
) * new_size
);
64 scm_subr_table
= new_table
;
65 scm_subr_table_room
= new_size
;
68 entry
= scm_subr_table_size
;
69 z
= scm_cell ((entry
<< 8) + type
, (scm_t_bits
) fcn
);
70 scm_subr_table
[entry
].handle
= z
;
71 scm_subr_table
[entry
].name
= scm_from_locale_symbol (name
);
72 scm_subr_table
[entry
].generic
= 0;
73 scm_subr_table
[entry
].properties
= SCM_EOL
;
74 scm_subr_table_size
++;
80 scm_c_define_subr (const char *name
, long type
, SCM (*fcn
) ())
82 SCM subr
= scm_c_make_subr (name
, type
, fcn
);
83 scm_define (SCM_SUBR_ENTRY(subr
).name
, subr
);
87 /* This function isn't currently used since subrs are never freed. */
88 /* *fixme* Need mutex here. */
90 scm_free_subr_entry (SCM subr
)
92 long entry
= SCM_SUBRNUM (subr
);
93 /* Move last entry in table to the free position */
94 scm_subr_table
[entry
] = scm_subr_table
[scm_subr_table_size
- 1];
95 SCM_SET_SUBRNUM (scm_subr_table
[entry
].handle
, entry
);
96 scm_subr_table_size
--;
100 scm_c_make_subr_with_generic (const char *name
,
101 long type
, SCM (*fcn
) (), SCM
*gf
)
103 SCM subr
= scm_c_make_subr (name
, type
, fcn
);
104 SCM_SUBR_ENTRY(subr
).generic
= gf
;
109 scm_c_define_subr_with_generic (const char *name
,
110 long type
, SCM (*fcn
) (), SCM
*gf
)
112 SCM subr
= scm_c_make_subr_with_generic (name
, type
, fcn
, gf
);
113 scm_define (SCM_SUBR_ENTRY(subr
).name
, subr
);
118 scm_mark_subr_table ()
121 for (i
= 0; i
< scm_subr_table_size
; ++i
)
123 scm_gc_mark (scm_subr_table
[i
].name
);
124 if (scm_subr_table
[i
].generic
&& *scm_subr_table
[i
].generic
)
125 scm_gc_mark (*scm_subr_table
[i
].generic
);
126 if (SCM_NIMP (scm_subr_table
[i
].properties
))
127 scm_gc_mark (scm_subr_table
[i
].properties
);
134 scm_makcclo (SCM proc
, size_t len
)
136 scm_t_bits
*base
= scm_gc_malloc (len
* sizeof (scm_t_bits
),
141 for (i
= 0; i
< len
; ++i
)
142 base
[i
] = SCM_UNPACK (SCM_UNSPECIFIED
);
144 s
= scm_cell (SCM_MAKE_CCLO_TAG (len
), (scm_t_bits
) base
);
145 SCM_SET_CCLO_SUBR (s
, proc
);
149 /* Undocumented debugging procedure */
151 SCM_DEFINE (scm_make_cclo
, "make-cclo", 2, 0, 0,
153 "Create a compiled closure for @var{proc}, which reserves\n"
154 "@var{len} objects for its usage.")
155 #define FUNC_NAME s_scm_make_cclo
157 return scm_makcclo (proc
, scm_to_size_t (len
));
165 SCM_DEFINE (scm_procedure_p
, "procedure?", 1, 0, 0,
167 "Return @code{#t} if @var{obj} is a procedure.")
168 #define FUNC_NAME s_scm_procedure_p
171 switch (SCM_TYP7 (obj
))
174 if (!SCM_I_OPERATORP (obj
))
176 case scm_tcs_closures
:
184 return scm_from_bool (SCM_SMOB_DESCRIPTOR (obj
).apply
);
192 SCM_DEFINE (scm_closure_p
, "closure?", 1, 0, 0,
194 "Return @code{#t} if @var{obj} is a closure.")
195 #define FUNC_NAME s_scm_closure_p
197 return scm_from_bool (SCM_CLOSUREP (obj
));
201 SCM_DEFINE (scm_thunk_p
, "thunk?", 1, 0, 0,
203 "Return @code{#t} if @var{obj} is a thunk.")
204 #define FUNC_NAME s_scm_thunk_p
209 switch (SCM_TYP7 (obj
))
211 case scm_tcs_closures
:
212 return scm_from_bool (!scm_is_pair (SCM_CLOSURE_FORMALS (obj
)));
214 case scm_tc7_subr_1o
:
223 obj
= SCM_PROCEDURE (obj
);
226 if (SCM_PROGRAM_P (obj
) && SCM_PROGRAM_DATA (obj
)->nargs
== 0)
228 /* otherwise fall through */
235 /* Only used internally. */
240 switch (SCM_TYP7 (obj
))
250 SCM_DEFINE (scm_procedure_documentation
, "procedure-documentation", 1, 0, 0,
252 "Return the documentation string associated with @code{proc}. By\n"
253 "convention, if a procedure contains more than one expression and the\n"
254 "first expression is a string constant, that string is assumed to contain\n"
255 "documentation for that procedure.")
256 #define FUNC_NAME s_scm_procedure_documentation
259 SCM_ASSERT (scm_is_true (scm_procedure_p (proc
)),
260 proc
, SCM_ARG1
, FUNC_NAME
);
261 switch (SCM_TYP7 (proc
))
263 case scm_tcs_closures
:
264 code
= SCM_CLOSURE_BODY (proc
);
265 if (scm_is_null (SCM_CDR (code
)))
267 code
= SCM_CAR (code
);
268 if (scm_is_string (code
))
285 /* Procedure-with-setter
288 SCM_DEFINE (scm_procedure_with_setter_p
, "procedure-with-setter?", 1, 0, 0,
290 "Return @code{#t} if @var{obj} is a procedure with an\n"
291 "associated setter procedure.")
292 #define FUNC_NAME s_scm_procedure_with_setter_p
294 return scm_from_bool(SCM_PROCEDURE_WITH_SETTER_P (obj
));
298 SCM_DEFINE (scm_make_procedure_with_setter
, "make-procedure-with-setter", 2, 0, 0,
299 (SCM procedure
, SCM setter
),
300 "Create a new procedure which behaves like @var{procedure}, but\n"
301 "with the associated setter @var{setter}.")
302 #define FUNC_NAME s_scm_make_procedure_with_setter
305 SCM_VALIDATE_PROC (1, procedure
);
306 SCM_VALIDATE_PROC (2, setter
);
307 ret
= scm_double_cell (scm_tc7_pws
,
308 SCM_UNPACK (procedure
),
309 SCM_UNPACK (setter
), 0);
310 /* don't use procedure_name, because don't care enough to do a reverse
312 switch (SCM_TYP7 (procedure
)) {
314 name
= SCM_SNAME (procedure
);
317 name
= scm_procedure_property (procedure
, scm_sym_name
);
320 if (scm_is_true (name
))
321 scm_set_procedure_property_x (ret
, scm_sym_name
, name
);
326 SCM_DEFINE (scm_procedure
, "procedure", 1, 0, 0,
328 "Return the procedure of @var{proc}, which must be either a\n"
329 "procedure with setter, or an operator struct.")
330 #define FUNC_NAME s_scm_procedure
332 SCM_VALIDATE_NIM (1, proc
);
333 if (SCM_PROCEDURE_WITH_SETTER_P (proc
))
334 return SCM_PROCEDURE (proc
);
335 else if (SCM_STRUCTP (proc
))
337 SCM_ASSERT (SCM_I_OPERATORP (proc
), proc
, SCM_ARG1
, FUNC_NAME
);
340 SCM_WRONG_TYPE_ARG (1, proc
);
341 return SCM_BOOL_F
; /* not reached */
345 SCM_GPROC (s_setter
, "setter", 1, 0, 0, scm_setter
, g_setter
);
348 scm_setter (SCM proc
)
350 SCM_GASSERT1 (SCM_NIMP (proc
), g_setter
, proc
, SCM_ARG1
, s_setter
);
351 if (SCM_PROCEDURE_WITH_SETTER_P (proc
))
352 return SCM_SETTER (proc
);
353 else if (SCM_STRUCTP (proc
))
356 SCM_GASSERT1 (SCM_I_OPERATORP (proc
),
357 g_setter
, proc
, SCM_ARG1
, s_setter
);
358 setter
= (SCM_I_ENTITYP (proc
)
359 ? SCM_ENTITY_SETTER (proc
)
360 : SCM_OPERATOR_SETTER (proc
));
361 if (SCM_NIMP (setter
))
365 SCM_WTA_DISPATCH_1 (g_setter
, proc
, SCM_ARG1
, s_setter
);
366 return SCM_BOOL_F
; /* not reached */
371 scm_init_subr_table ()
374 = ((scm_t_subr_entry
*)
375 scm_malloc (sizeof (scm_t_subr_entry
) * scm_subr_table_room
));
381 #include "libguile/procs.x"