1 /* Copyright (C) 1995,1996,1997,1998, 1999 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"
49 #include "libguile/procprop.h"
50 #include "libguile/root.h"
51 #include "libguile/vectors.h"
53 #include "libguile/gsubr.h"
57 * Provide `gsubrs' -- subrs taking a prescribed number of required, optional,
61 /* #define GSUBR_TEST */
64 SCM scm_f_gsubr_apply
;
67 scm_make_gsubr(const char *name
,int req
,int opt
,int rst
,SCM (*fcn
)())
69 switch SCM_GSUBR_MAKTYPE(req
, opt
, rst
) {
70 case SCM_GSUBR_MAKTYPE(0, 0, 0): return scm_make_subr(name
, scm_tc7_subr_0
, fcn
);
71 case SCM_GSUBR_MAKTYPE(1, 0, 0): return scm_make_subr(name
, scm_tc7_subr_1
, fcn
);
72 case SCM_GSUBR_MAKTYPE(0, 1, 0): return scm_make_subr(name
, scm_tc7_subr_1o
, fcn
);
73 case SCM_GSUBR_MAKTYPE(1, 1, 0): return scm_make_subr(name
, scm_tc7_subr_2o
, fcn
);
74 case SCM_GSUBR_MAKTYPE(2, 0, 0): return scm_make_subr(name
, scm_tc7_subr_2
, fcn
);
75 case SCM_GSUBR_MAKTYPE(3, 0, 0): return scm_make_subr(name
, scm_tc7_subr_3
, fcn
);
76 case SCM_GSUBR_MAKTYPE(0, 0, 1): return scm_make_subr(name
, scm_tc7_lsubr
, fcn
);
77 case SCM_GSUBR_MAKTYPE(2, 0, 1): return scm_make_subr(name
, scm_tc7_lsubr_2
, fcn
);
80 SCM symcell
= scm_sysintern (name
, SCM_UNDEFINED
);
81 SCM cclo
= scm_makcclo (scm_f_gsubr_apply
, 3L);
82 if (SCM_GSUBR_MAX
< req
+ opt
+ rst
) {
83 fputs("ERROR in scm_make_gsubr: too many args\n", stderr
);
86 SCM_GSUBR_PROC (cclo
) = scm_make_subr_opt (name
, scm_tc7_subr_0
, fcn
, 0);
87 SCM_GSUBR_TYPE (cclo
) = SCM_MAKINUM (SCM_GSUBR_MAKTYPE (req
, opt
, rst
));
88 SCM_SETCDR (symcell
, cclo
);
89 #ifdef DEBUG_EXTENSIONS
90 if (SCM_REC_PROCNAMES_P
)
91 scm_set_procedure_property_x (cclo
, scm_sym_name
, SCM_CAR (symcell
));
99 scm_make_gsubr_with_generic (const char *name
,
106 switch SCM_GSUBR_MAKTYPE(req
, opt
, rst
) {
107 case SCM_GSUBR_MAKTYPE(0, 0, 0):
108 return scm_make_subr_with_generic(name
, scm_tc7_subr_0
, fcn
, gf
);
109 case SCM_GSUBR_MAKTYPE(1, 0, 0):
110 return scm_make_subr_with_generic(name
, scm_tc7_subr_1
, fcn
, gf
);
111 case SCM_GSUBR_MAKTYPE(0, 1, 0):
112 return scm_make_subr_with_generic(name
, scm_tc7_subr_1o
, fcn
, gf
);
113 case SCM_GSUBR_MAKTYPE(1, 1, 0):
114 return scm_make_subr_with_generic(name
, scm_tc7_subr_2o
, fcn
, gf
);
115 case SCM_GSUBR_MAKTYPE(2, 0, 0):
116 return scm_make_subr_with_generic(name
, scm_tc7_subr_2
, fcn
, gf
);
117 case SCM_GSUBR_MAKTYPE(3, 0, 0):
118 return scm_make_subr_with_generic(name
, scm_tc7_subr_3
, fcn
, gf
);
119 case SCM_GSUBR_MAKTYPE(0, 0, 1):
120 return scm_make_subr_with_generic(name
, scm_tc7_lsubr
, fcn
, gf
);
121 case SCM_GSUBR_MAKTYPE(2, 0, 1):
122 return scm_make_subr_with_generic(name
, scm_tc7_lsubr_2
, fcn
, gf
);
126 scm_misc_error ("scm_make_gsubr_with_generic",
127 "can't make primitive-generic with this arity",
129 return SCM_BOOL_F
; /* never reached */
134 scm_gsubr_apply (SCM args
)
136 SCM self
= SCM_CAR(args
);
137 SCM (*fcn
)() = SCM_SUBRF(SCM_GSUBR_PROC(self
));
138 SCM v
[10]; /* must agree with greatest supported arity */
139 int typ
= SCM_INUM(SCM_GSUBR_TYPE(self
));
140 int i
, n
= SCM_GSUBR_REQ(typ
) + SCM_GSUBR_OPT(typ
) + SCM_GSUBR_REST(typ
);
142 SCM_ASSERT(n
<= sizeof(v
)/sizeof(SCM
),
143 self
, "internal programming error", FUNC_NAME
);
145 args
= SCM_CDR(args
);
146 for (i
= 0; i
< SCM_GSUBR_REQ(typ
); i
++) {
149 wnargs
: scm_wrong_num_args (SCM_SNAME(SCM_GSUBR_PROC(self
)));
151 v
[i
] = SCM_CAR(args
);
152 args
= SCM_CDR(args
);
154 for (; i
< SCM_GSUBR_REQ(typ
) + SCM_GSUBR_OPT(typ
); i
++) {
155 if (SCM_NIMP(args
)) {
156 v
[i
] = SCM_CAR(args
);
157 args
= SCM_CDR(args
);
160 v
[i
] = SCM_UNDEFINED
;
162 if (SCM_GSUBR_REST(typ
))
165 SCM_ASRTGO(SCM_NULLP(args
), wnargs
);
167 case 2: return (*fcn
)(v
[0], v
[1]);
168 case 3: return (*fcn
)(v
[0], v
[1], v
[2]);
169 case 4: return (*fcn
)(v
[0], v
[1], v
[2], v
[3]);
170 case 5: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4]);
171 case 6: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5]);
172 case 7: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6]);
173 case 8: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7]);
174 case 9: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7], v
[8]);
175 case 10: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7], v
[8], v
[9]);
177 return SCM_BOOL_F
; /* Never reached. */
182 /* A silly example, taking 2 required args, 1 optional, and
183 a scm_list of rest args
186 gsubr_21l(SCM req1
, SCM req2
, SCM opt
, SCM rst
)
188 scm_puts ("gsubr-2-1-l:\n req1: ", scm_cur_outp
);
189 scm_display(req1
, scm_cur_outp
);
190 scm_puts ("\n req2: ", scm_cur_outp
);
191 scm_display(req2
, scm_cur_outp
);
192 scm_puts ("\n opt: ", scm_cur_outp
);
193 scm_display(opt
, scm_cur_outp
);
194 scm_puts ("\n rest: ", scm_cur_outp
);
195 scm_display(rst
, scm_cur_outp
);
196 scm_newline(scm_cur_outp
);
197 return SCM_UNSPECIFIED
;
206 /* GJB:FIXME:MD: Use scm_make_subr_opt instead -- gsubr-apply should not be a
207 published primitive available at the Scheme level */
208 scm_f_gsubr_apply
= scm_make_subr_opt("gsubr-apply", scm_tc7_lsubr
, scm_gsubr_apply
, 0);
209 scm_sym_name
= SCM_CAR (scm_sysintern ("name", SCM_UNDEFINED
));
210 scm_permanent_object (scm_sym_name
);
212 scm_make_gsubr("gsubr-2-1-l", 2, 1, 1, gsubr_21l
); /* example */