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 */
55 * Provide `gsubrs' -- subrs taking a prescribed number of required, optional,
59 /* #define GSUBR_TEST */
62 SCM scm_f_gsubr_apply
;
65 scm_make_gsubr(const char *name
,int req
,int opt
,int rst
,SCM (*fcn
)())
67 switch SCM_GSUBR_MAKTYPE(req
, opt
, rst
) {
68 case SCM_GSUBR_MAKTYPE(0, 0, 0): return scm_make_subr(name
, scm_tc7_subr_0
, fcn
);
69 case SCM_GSUBR_MAKTYPE(1, 0, 0): return scm_make_subr(name
, scm_tc7_subr_1
, fcn
);
70 case SCM_GSUBR_MAKTYPE(0, 1, 0): return scm_make_subr(name
, scm_tc7_subr_1o
, fcn
);
71 case SCM_GSUBR_MAKTYPE(1, 1, 0): return scm_make_subr(name
, scm_tc7_subr_2o
, fcn
);
72 case SCM_GSUBR_MAKTYPE(2, 0, 0): return scm_make_subr(name
, scm_tc7_subr_2
, fcn
);
73 case SCM_GSUBR_MAKTYPE(3, 0, 0): return scm_make_subr(name
, scm_tc7_subr_3
, fcn
);
74 case SCM_GSUBR_MAKTYPE(0, 0, 1): return scm_make_subr(name
, scm_tc7_lsubr
, fcn
);
75 case SCM_GSUBR_MAKTYPE(2, 0, 1): return scm_make_subr(name
, scm_tc7_lsubr_2
, fcn
);
78 SCM symcell
= scm_sysintern (name
, SCM_UNDEFINED
);
79 SCM cclo
= scm_makcclo (scm_f_gsubr_apply
, 3L);
80 if (SCM_GSUBR_MAX
< req
+ opt
+ rst
) {
81 fputs("ERROR in scm_make_gsubr: too many args\n", stderr
);
84 SCM_GSUBR_PROC (cclo
) = scm_make_subr_opt (name
, scm_tc7_subr_0
, fcn
, 0);
85 SCM_GSUBR_TYPE (cclo
) = SCM_MAKINUM (SCM_GSUBR_MAKTYPE (req
, opt
, rst
));
86 SCM_SETCDR (symcell
, cclo
);
87 #ifdef DEBUG_EXTENSIONS
88 if (SCM_REC_PROCNAMES_P
)
89 scm_set_procedure_property_x (cclo
, scm_sym_name
, SCM_CAR (symcell
));
97 scm_make_gsubr_with_generic (const char *name
,
104 switch SCM_GSUBR_MAKTYPE(req
, opt
, rst
) {
105 case SCM_GSUBR_MAKTYPE(0, 0, 0):
106 return scm_make_subr_with_generic(name
, scm_tc7_subr_0
, fcn
, gf
);
107 case SCM_GSUBR_MAKTYPE(1, 0, 0):
108 return scm_make_subr_with_generic(name
, scm_tc7_subr_1
, fcn
, gf
);
109 case SCM_GSUBR_MAKTYPE(0, 1, 0):
110 return scm_make_subr_with_generic(name
, scm_tc7_subr_1o
, fcn
, gf
);
111 case SCM_GSUBR_MAKTYPE(1, 1, 0):
112 return scm_make_subr_with_generic(name
, scm_tc7_subr_2o
, fcn
, gf
);
113 case SCM_GSUBR_MAKTYPE(2, 0, 0):
114 return scm_make_subr_with_generic(name
, scm_tc7_subr_2
, fcn
, gf
);
115 case SCM_GSUBR_MAKTYPE(3, 0, 0):
116 return scm_make_subr_with_generic(name
, scm_tc7_subr_3
, fcn
, gf
);
117 case SCM_GSUBR_MAKTYPE(0, 0, 1):
118 return scm_make_subr_with_generic(name
, scm_tc7_lsubr
, fcn
, gf
);
119 case SCM_GSUBR_MAKTYPE(2, 0, 1):
120 return scm_make_subr_with_generic(name
, scm_tc7_lsubr_2
, fcn
, gf
);
124 scm_misc_error ("scm_make_gsubr_with_generic",
125 "can't make primitive-generic with this arity",
127 return 0; /* never reached */
132 scm_gsubr_apply (SCM args
)
134 SCM self
= SCM_CAR(args
);
135 SCM (*fcn
)() = SCM_SUBRF(SCM_GSUBR_PROC(self
));
136 SCM v
[10]; /* must agree with greatest supported arity */
137 int typ
= SCM_INUM(SCM_GSUBR_TYPE(self
));
138 int i
, n
= SCM_GSUBR_REQ(typ
) + SCM_GSUBR_OPT(typ
) + SCM_GSUBR_REST(typ
);
140 SCM_ASSERT(n
<= sizeof(v
)/sizeof(SCM
),
141 self
, "internal programming error", FUNC_NAME
);
143 args
= SCM_CDR(args
);
144 for (i
= 0; i
< SCM_GSUBR_REQ(typ
); i
++) {
147 wnargs
: scm_wrong_num_args (SCM_SNAME(SCM_GSUBR_PROC(self
)));
149 v
[i
] = SCM_CAR(args
);
150 args
= SCM_CDR(args
);
152 for (; i
< SCM_GSUBR_REQ(typ
) + SCM_GSUBR_OPT(typ
); i
++) {
153 if (SCM_NIMP(args
)) {
154 v
[i
] = SCM_CAR(args
);
155 args
= SCM_CDR(args
);
158 v
[i
] = SCM_UNDEFINED
;
160 if (SCM_GSUBR_REST(typ
))
163 SCM_ASRTGO(SCM_NULLP(args
), wnargs
);
165 case 2: return (*fcn
)(v
[0], v
[1]);
166 case 3: return (*fcn
)(v
[0], v
[1], v
[2]);
167 case 4: return (*fcn
)(v
[0], v
[1], v
[2], v
[3]);
168 case 5: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4]);
169 case 6: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5]);
170 case 7: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6]);
171 case 8: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7]);
172 case 9: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7], v
[8]);
173 case 10: return (*fcn
)(v
[0], v
[1], v
[2], v
[3], v
[4], v
[5], v
[6], v
[7], v
[8], v
[9]);
175 return 0; /* Never reached. */
180 /* A silly example, taking 2 required args, 1 optional, and
181 a scm_list of rest args
184 gsubr_21l(SCM req1
, SCM req2
, SCM opt
, SCM rst
)
186 scm_puts ("gsubr-2-1-l:\n req1: ", scm_cur_outp
);
187 scm_display(req1
, scm_cur_outp
);
188 scm_puts ("\n req2: ", scm_cur_outp
);
189 scm_display(req2
, scm_cur_outp
);
190 scm_puts ("\n opt: ", scm_cur_outp
);
191 scm_display(opt
, scm_cur_outp
);
192 scm_puts ("\n rest: ", scm_cur_outp
);
193 scm_display(rst
, scm_cur_outp
);
194 scm_newline(scm_cur_outp
);
195 return SCM_UNSPECIFIED
;
204 /* GJB:FIXME:MD: Use scm_make_subr_opt instead -- gsubr-apply should not be a
205 published primitive available at the Scheme level */
206 scm_f_gsubr_apply
= scm_make_subr_opt("gsubr-apply", scm_tc7_lsubr
, scm_gsubr_apply
, 0);
207 scm_sym_name
= SCM_CAR (scm_sysintern ("name", SCM_UNDEFINED
));
208 scm_permanent_object (scm_sym_name
);
210 scm_make_gsubr("gsubr-2-1-l", 2, 1, 1, gsubr_21l
); /* example */