1 /* Copyright (C) 1995,1996,1997,1998,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"
25 #include "libguile/procprop.h"
26 #include "libguile/root.h"
28 #include "libguile/gsubr.h"
29 #include "libguile/deprecation.h"
31 #include "libguile/private-options.h"
35 * Provide `gsubrs' -- subrs taking a prescribed number of required, optional,
39 /* #define GSUBR_TEST */
41 SCM_GLOBAL_SYMBOL (scm_sym_name
, "name");
43 SCM scm_f_gsubr_apply
;
46 create_gsubr (int define
, const char *name
,
47 int req
, int opt
, int rst
, SCM (*fcn
)())
51 switch (SCM_GSUBR_MAKTYPE (req
, opt
, rst
))
53 case SCM_GSUBR_MAKTYPE(0, 0, 0):
54 subr
= scm_c_make_subr (name
, scm_tc7_subr_0
, fcn
);
56 case SCM_GSUBR_MAKTYPE(1, 0, 0):
57 subr
= scm_c_make_subr (name
, scm_tc7_subr_1
, fcn
);
59 case SCM_GSUBR_MAKTYPE(0, 1, 0):
60 subr
= scm_c_make_subr (name
, scm_tc7_subr_1o
, fcn
);
62 case SCM_GSUBR_MAKTYPE(1, 1, 0):
63 subr
= scm_c_make_subr (name
, scm_tc7_subr_2o
, fcn
);
65 case SCM_GSUBR_MAKTYPE(2, 0, 0):
66 subr
= scm_c_make_subr (name
, scm_tc7_subr_2
, fcn
);
68 case SCM_GSUBR_MAKTYPE(3, 0, 0):
69 subr
= scm_c_make_subr (name
, scm_tc7_subr_3
, fcn
);
71 case SCM_GSUBR_MAKTYPE(0, 0, 1):
72 subr
= scm_c_make_subr (name
, scm_tc7_lsubr
, fcn
);
74 case SCM_GSUBR_MAKTYPE(2, 0, 1):
75 subr
= scm_c_make_subr (name
, scm_tc7_lsubr_2
, fcn
);
78 scm_define (SCM_SUBR_ENTRY(subr
).name
, subr
);
82 SCM cclo
= scm_makcclo (scm_f_gsubr_apply
, 3L);
83 SCM subr
= scm_c_make_subr (name
, scm_tc7_subr_0
, fcn
);
84 SCM sym
= SCM_SUBR_ENTRY(subr
).name
;
85 if (SCM_GSUBR_MAX
< req
+ opt
+ rst
)
88 "ERROR in scm_c_make_gsubr: too many args (%d) to %s\n",
89 req
+ opt
+ rst
, name
);
92 SCM_SET_GSUBR_PROC (cclo
, subr
);
93 SCM_SET_GSUBR_TYPE (cclo
,
94 scm_from_int (SCM_GSUBR_MAKTYPE (req
, opt
, rst
)));
95 if (SCM_REC_PROCNAMES_P
)
96 scm_set_procedure_property_x (cclo
, scm_sym_name
, sym
);
98 scm_define (sym
, cclo
);
105 scm_c_make_gsubr (const char *name
, int req
, int opt
, int rst
, SCM (*fcn
)())
107 return create_gsubr (0, name
, req
, opt
, rst
, fcn
);
111 scm_c_define_gsubr (const char *name
, int req
, int opt
, int rst
, SCM (*fcn
)())
113 return create_gsubr (1, name
, req
, opt
, rst
, fcn
);
117 create_gsubr_with_generic (int define
,
127 switch (SCM_GSUBR_MAKTYPE(req
, opt
, rst
))
129 case SCM_GSUBR_MAKTYPE(0, 0, 0):
130 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_subr_0
, fcn
, gf
);
132 case SCM_GSUBR_MAKTYPE(1, 0, 0):
133 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_subr_1
, fcn
, gf
);
135 case SCM_GSUBR_MAKTYPE(0, 1, 0):
136 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_subr_1o
, fcn
, gf
);
138 case SCM_GSUBR_MAKTYPE(1, 1, 0):
139 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_subr_2o
, fcn
, gf
);
141 case SCM_GSUBR_MAKTYPE(2, 0, 0):
142 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_subr_2
, fcn
, gf
);
144 case SCM_GSUBR_MAKTYPE(3, 0, 0):
145 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_subr_3
, fcn
, gf
);
147 case SCM_GSUBR_MAKTYPE(0, 0, 1):
148 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_lsubr
, fcn
, gf
);
150 case SCM_GSUBR_MAKTYPE(2, 0, 1):
151 subr
= scm_c_make_subr_with_generic (name
, scm_tc7_lsubr_2
, fcn
, gf
);
154 scm_define (SCM_SUBR_ENTRY(subr
).name
, subr
);
159 scm_misc_error ("scm_c_make_gsubr_with_generic",
160 "can't make primitive-generic with this arity",
162 return SCM_BOOL_F
; /* never reached */
166 scm_c_make_gsubr_with_generic (const char *name
,
173 return create_gsubr_with_generic (0, name
, req
, opt
, rst
, fcn
, gf
);
177 scm_c_define_gsubr_with_generic (const char *name
,
184 return create_gsubr_with_generic (1, name
, req
, opt
, rst
, fcn
, gf
);
189 scm_gsubr_apply (SCM args
)
190 #define FUNC_NAME "scm_gsubr_apply"
192 SCM self
= SCM_CAR (args
);
193 SCM (*fcn
)() = SCM_SUBRF (SCM_GSUBR_PROC (self
));
194 SCM v
[SCM_GSUBR_MAX
];
195 int typ
= scm_to_int (SCM_GSUBR_TYPE (self
));
196 long i
, n
= SCM_GSUBR_REQ (typ
) + SCM_GSUBR_OPT (typ
) + SCM_GSUBR_REST (typ
);
198 if (n
> SCM_GSUBR_MAX
)
199 scm_misc_error (FUNC_NAME
,
200 "Function ~S has illegal arity ~S.",
201 scm_list_2 (self
, scm_from_int (n
)));
203 args
= SCM_CDR (args
);
204 for (i
= 0; i
< SCM_GSUBR_REQ (typ
); i
++) {
205 if (scm_is_null (args
))
206 scm_wrong_num_args (SCM_SNAME (SCM_GSUBR_PROC (self
)));
207 v
[i
] = SCM_CAR(args
);
208 args
= SCM_CDR(args
);
210 for (; i
< SCM_GSUBR_REQ (typ
) + SCM_GSUBR_OPT (typ
); i
++) {
211 if (SCM_NIMP (args
)) {
212 v
[i
] = SCM_CAR (args
);
213 args
= SCM_CDR(args
);
216 v
[i
] = SCM_UNDEFINED
;
218 if (SCM_GSUBR_REST(typ
))
220 else if (!scm_is_null (args
))
221 scm_wrong_num_args (SCM_SNAME (SCM_GSUBR_PROC (self
)));
223 case 2: return (*fcn
)(v
[0], v
[1]);
224 case 3: return (*fcn
)(v
[0], v
[1], v
[2]);
225 case 4: return (*fcn
)(v
[0], v
[1], v
[2], v
[3]);
226 case 5: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4]);
227 case 6: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5]);
228 case 7: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6]);
229 case 8: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7]);
230 case 9: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7], v
[8]);
231 case 10: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7], v
[8], v
[9]);
233 return SCM_BOOL_F
; /* Never reached. */
239 /* A silly example, taking 2 required args, 1 optional, and
240 a scm_list of rest args
243 gsubr_21l(SCM req1
, SCM req2
, SCM opt
, SCM rst
)
245 scm_puts ("gsubr-2-1-l:\n req1: ", scm_cur_outp
);
246 scm_display(req1
, scm_cur_outp
);
247 scm_puts ("\n req2: ", scm_cur_outp
);
248 scm_display(req2
, scm_cur_outp
);
249 scm_puts ("\n opt: ", scm_cur_outp
);
250 scm_display(opt
, scm_cur_outp
);
251 scm_puts ("\n rest: ", scm_cur_outp
);
252 scm_display(rst
, scm_cur_outp
);
253 scm_newline(scm_cur_outp
);
254 return SCM_UNSPECIFIED
;
262 scm_f_gsubr_apply
= scm_c_make_subr ("gsubr-apply", scm_tc7_lsubr
,
265 scm_c_define_gsubr ("gsubr-2-1-l", 2, 1, 1, gsubr_21l
); /* example */
268 #include "libguile/gsubr.x"