1 /* Copyright (C) 1995, 1996, 1997, 1999, 2000 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. */
42 /* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
43 gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
48 #include "libguile/_scm.h"
50 #include "libguile/objects.h"
51 #include "libguile/strings.h"
52 #include "libguile/vectors.h"
53 #include "libguile/smob.h"
55 #include "libguile/validate.h"
56 #include "libguile/procs.h"
63 scm_subr_entry
*scm_subr_table
;
65 /* libguile contained approx. 700 primitive procedures on 24 Aug 1999. */
67 int scm_subr_table_size
= 0;
68 int scm_subr_table_room
= 750;
71 scm_make_subr_opt (const char *name
, int type
, SCM (*fcn
) (), int set
)
78 if (scm_subr_table_size
== scm_subr_table_room
)
80 scm_sizet new_size
= scm_subr_table_room
* 3 / 2;
82 = scm_must_realloc ((char *) scm_subr_table
,
83 sizeof (scm_subr_entry
) * scm_subr_table_room
,
84 sizeof (scm_subr_entry
) * new_size
,
86 scm_subr_table
= new_table
;
87 scm_subr_table_room
= new_size
;
93 symcell
= scm_sysintern (name
, SCM_UNDEFINED
);
94 symbol
= SCM_CAR (symcell
);
98 symbol
= scm_str2symbol (name
);
101 entry
= scm_subr_table_size
;
102 scm_subr_table
[entry
].handle
= z
;
103 scm_subr_table
[entry
].name
= symbol
;
104 scm_subr_table
[entry
].generic
= 0;
105 scm_subr_table
[entry
].properties
= SCM_EOL
;
107 SCM_SET_SUBRF (z
, fcn
);
108 SCM_SET_CELL_TYPE (z
, (entry
<< 8) + type
);
109 scm_subr_table_size
++;
112 SCM_SETCDR (symcell
, z
);
117 /* This function isn't currently used since subrs are never freed. */
118 /* *fixme* Need mutex here. */
120 scm_free_subr_entry (SCM subr
)
122 int entry
= SCM_SUBRNUM (subr
);
123 /* Move last entry in table to the free position */
124 scm_subr_table
[entry
] = scm_subr_table
[scm_subr_table_size
- 1];
125 SCM_SET_SUBRNUM (scm_subr_table
[entry
].handle
, entry
);
126 scm_subr_table_size
--;
130 scm_make_subr (const char *name
, int type
, SCM (*fcn
) ())
132 return scm_make_subr_opt (name
, type
, fcn
, 1);
136 scm_make_subr_with_generic (const char *name
, int type
, SCM (*fcn
) (), SCM
*gf
)
138 SCM subr
= scm_make_subr_opt (name
, type
, fcn
, 1);
139 scm_subr_table
[scm_subr_table_size
- 1].generic
= gf
;
144 scm_mark_subr_table ()
147 for (i
= 0; i
< scm_subr_table_size
; ++i
)
149 SCM_SETGCMARK (scm_subr_table
[i
].name
);
150 if (scm_subr_table
[i
].generic
&& *scm_subr_table
[i
].generic
)
151 scm_gc_mark (*scm_subr_table
[i
].generic
);
152 if (SCM_NIMP (scm_subr_table
[i
].properties
))
153 scm_gc_mark (scm_subr_table
[i
].properties
);
160 scm_makcclo (SCM proc
, long len
)
162 scm_bits_t
*base
= scm_must_malloc (len
* sizeof (scm_bits_t
), "compiled-closure");
166 for (i
= 0; i
< len
; ++i
)
167 base
[i
] = SCM_UNPACK (SCM_UNSPECIFIED
);
171 SCM_SET_CCLO_BASE (s
, base
);
172 SCM_SET_CCLO_LENGTH (s
, len
);
173 SCM_SET_CCLO_SUBR (s
, proc
);
178 /* Undocumented debugging procedure */
180 SCM_DEFINE (scm_make_cclo
, "make-cclo", 2, 0, 0,
182 "Create a compiled closure for @var{proc}, which reserves\n"
183 "@var{len} objects for its usage.")
184 #define FUNC_NAME s_scm_make_cclo
186 return scm_makcclo (proc
, SCM_INUM (len
));
194 SCM_DEFINE (scm_procedure_p
, "procedure?", 1, 0, 0,
196 "Return @code{#t} if @var{obj} is a procedure.")
197 #define FUNC_NAME s_scm_procedure_p
200 switch (SCM_TYP7 (obj
))
202 case scm_tcs_cons_gloc
:
203 if (!SCM_I_OPERATORP (obj
))
205 case scm_tcs_closures
:
213 return SCM_BOOL (SCM_SMOB_DESCRIPTOR (obj
).apply
);
221 SCM_DEFINE (scm_closure_p
, "closure?", 1, 0, 0,
223 "Return @code{#t} if @var{obj} is a closure.")
224 #define FUNC_NAME s_scm_closure_p
226 return SCM_BOOL(SCM_CLOSUREP (obj
));
230 SCM_DEFINE (scm_thunk_p
, "thunk?", 1, 0, 0,
232 "Return @code{#t} if @var{obj} is a thunk.")
233 #define FUNC_NAME s_scm_thunk_p
238 switch (SCM_TYP7 (obj
))
240 case scm_tcs_closures
:
241 if (SCM_NULLP (SCM_CAR (SCM_CODE (obj
))))
244 case scm_tc7_subr_1o
:
253 obj
= SCM_PROCEDURE (obj
);
263 /* Only used internally. */
268 switch (SCM_TYP7 (obj
))
278 SCM_DEFINE (scm_procedure_documentation
, "procedure-documentation", 1, 0, 0,
280 "Return the documentation string associated with @code{proc}. By\n"
281 "convention, if a procedure contains more than one expression and the\n"
282 "first expression is a string constant, that string is assumed to contain\n"
283 "documentation for that procedure.")
284 #define FUNC_NAME s_scm_procedure_documentation
287 SCM_ASSERT (SCM_EQ_P (scm_procedure_p (proc
), SCM_BOOL_T
) && SCM_NIMP (proc
),
288 proc
, SCM_ARG1
, FUNC_NAME
);
289 switch (SCM_TYP7 (proc
))
291 case scm_tcs_closures
:
292 code
= SCM_CDR (SCM_CODE (proc
));
293 if (SCM_IMP (SCM_CDR (code
)))
295 code
= SCM_CAR (code
);
298 if (SCM_STRINGP (code
))
313 /* Procedure-with-setter
316 SCM_DEFINE (scm_procedure_with_setter_p
, "procedure-with-setter?", 1, 0, 0,
318 "Return @code{#t} if @var{obj} is a procedure with an\n"
319 "associated setter procedure.")
320 #define FUNC_NAME s_scm_procedure_with_setter_p
322 return SCM_BOOL(SCM_PROCEDURE_WITH_SETTER_P (obj
));
326 SCM_DEFINE (scm_make_procedure_with_setter
, "make-procedure-with-setter", 2, 0, 0,
327 (SCM procedure
, SCM setter
),
328 "Create a new procedure which behaves like @var{procedure}, but\n"
329 "with the associated setter @var{setter}.")
330 #define FUNC_NAME s_scm_make_procedure_with_setter
333 SCM_VALIDATE_PROC (1, procedure
);
334 SCM_VALIDATE_PROC (2, setter
);
337 SCM_SET_CELL_OBJECT_1 (z
, procedure
);
338 SCM_SET_CELL_OBJECT_2 (z
, setter
);
339 SCM_SET_CELL_TYPE (z
, scm_tc7_pws
);
345 SCM_DEFINE (scm_procedure
, "procedure", 1, 0, 0,
347 "Return the procedure of @var{proc}, which must be either a\n"
348 "procedure with setter, or an operator struct.")
349 #define FUNC_NAME s_scm_procedure
351 SCM_VALIDATE_NIM (1, proc
);
352 if (SCM_PROCEDURE_WITH_SETTER_P (proc
))
353 return SCM_PROCEDURE (proc
);
354 else if (SCM_STRUCTP (proc
))
356 SCM_ASSERT (SCM_I_OPERATORP (proc
), proc
, SCM_ARG1
, FUNC_NAME
);
359 SCM_WRONG_TYPE_ARG (1, proc
);
360 return SCM_BOOL_F
; /* not reached */
364 SCM_GPROC (s_setter
, "setter", 1, 0, 0, scm_setter
, g_setter
);
367 scm_setter (SCM proc
)
369 SCM_GASSERT1 (SCM_NIMP (proc
), g_setter
, proc
, SCM_ARG1
, s_setter
);
370 if (SCM_PROCEDURE_WITH_SETTER_P (proc
))
371 return SCM_SETTER (proc
);
372 else if (SCM_STRUCTP (proc
))
375 SCM_GASSERT1 (SCM_I_OPERATORP (proc
),
376 g_setter
, proc
, SCM_ARG1
, s_setter
);
377 setter
= (SCM_I_ENTITYP (proc
)
378 ? SCM_ENTITY_SETTER (proc
)
379 : SCM_OPERATOR_SETTER (proc
));
380 if (SCM_NIMP (setter
))
384 SCM_WTA_DISPATCH_1 (g_setter
, proc
, SCM_ARG1
, s_setter
);
385 return SCM_BOOL_F
; /* not reached */
390 scm_init_subr_table ()
393 = ((scm_subr_entry
*)
394 scm_must_malloc (sizeof (scm_subr_entry
) * scm_subr_table_room
,
401 #ifndef SCM_MAGIC_SNARFER
402 #include "libguile/procs.x"