Commit | Line | Data |
---|---|---|
7dc6e754 | 1 | /* Copyright (C) 1995,1996,1998 Free Software Foundation, Inc. |
0f2d19dd JB |
2 | * |
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) | |
6 | * any later version. | |
7 | * | |
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. | |
12 | * | |
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 | |
82892bed JB |
15 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, |
16 | * Boston, MA 02111-1307 USA | |
0f2d19dd JB |
17 | * |
18 | * As a special exception, the Free Software Foundation gives permission | |
19 | * for additional uses of the text contained in its release of GUILE. | |
20 | * | |
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. | |
26 | * | |
27 | * This exception does not however invalidate any other reasons why | |
28 | * the executable file might be covered by the GNU General Public License. | |
29 | * | |
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. | |
37 | * | |
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. | |
82892bed | 40 | * If you do not wish that, delete this exception notice. */ |
0f2d19dd JB |
41 | \f |
42 | ||
43 | #include <stdio.h> | |
44 | #include "_scm.h" | |
08906709 | 45 | |
20e6290e JB |
46 | #include "alist.h" |
47 | #include "eval.h" | |
67e60655 MD |
48 | #include "procs.h" |
49 | #include "gsubr.h" | |
08906709 | 50 | #include "objects.h" |
0f2d19dd | 51 | |
20e6290e | 52 | #include "procprop.h" |
0f2d19dd JB |
53 | \f |
54 | ||
c083a529 | 55 | SCM_GLOBAL_SYMBOL (scm_sym_system_procedure, "system-procedure"); |
67e60655 MD |
56 | SCM_GLOBAL_SYMBOL (scm_sym_arity, "arity"); |
57 | ||
08906709 MD |
58 | SCM |
59 | scm_i_procedure_arity (SCM proc) | |
67e60655 MD |
60 | { |
61 | int a = 0, o = 0, r = 0; | |
08906709 MD |
62 | if (SCM_IMP (proc)) |
63 | return SCM_BOOL_F; | |
67e60655 MD |
64 | loop: |
65 | switch (SCM_TYP7 (proc)) | |
66 | { | |
67 | case scm_tc7_subr_1o: | |
68 | o = 1; | |
69 | case scm_tc7_subr_0: | |
70 | break; | |
71 | case scm_tc7_subr_2o: | |
72 | o = 1; | |
73 | case scm_tc7_subr_1: | |
74 | case scm_tc7_cxr: | |
75 | case scm_tc7_contin: | |
76 | a += 1; | |
77 | break; | |
78 | case scm_tc7_subr_2: | |
79 | a += 2; | |
80 | break; | |
81 | case scm_tc7_subr_3: | |
82 | a += 3; | |
83 | break; | |
84 | case scm_tc7_asubr: | |
85 | case scm_tc7_rpsubr: | |
86 | case scm_tc7_lsubr: | |
87 | r = 1; | |
91517e28 | 88 | break; |
67e60655 MD |
89 | case scm_tc7_lsubr_2: |
90 | a += 2; | |
91517e28 | 91 | r = 1; |
67e60655 MD |
92 | break; |
93 | #ifdef CCLO | |
94 | case scm_tc7_cclo: | |
95 | if (SCM_CCLO_SUBR (proc) == scm_f_gsubr_apply) | |
96 | { | |
97 | int type = SCM_INUM (SCM_GSUBR_TYPE (proc)); | |
08906709 | 98 | a += SCM_GSUBR_REQ (type); |
67e60655 MD |
99 | o = SCM_GSUBR_OPT (type); |
100 | r = SCM_GSUBR_REST (type); | |
101 | break; | |
102 | } | |
103 | proc = SCM_CCLO_SUBR (proc); | |
104 | a -= 1; | |
105 | goto loop; | |
106 | #endif | |
dec118c8 MD |
107 | case scm_tc7_pws: |
108 | proc = SCM_PROCEDURE (proc); | |
109 | goto loop; | |
67e60655 MD |
110 | case scm_tcs_closures: |
111 | proc = SCM_CAR (SCM_CODE (proc)); | |
112 | if (SCM_IMP (proc)) | |
113 | break; | |
114 | while (SCM_NIMP (proc) && SCM_CONSP (proc)) | |
115 | { | |
116 | ++a; | |
117 | proc = SCM_CDR (proc); | |
118 | } | |
119 | if (SCM_NIMP (proc)) | |
120 | r = 1; | |
121 | break; | |
08906709 | 122 | case scm_tcs_cons_gloc: |
815ce8d5 MD |
123 | if (SCM_OBJ_CLASS_FLAGS (proc) & SCM_CLASSF_PURE_GENERIC) |
124 | { | |
125 | r = 1; | |
126 | break; | |
127 | } | |
128 | else if (!SCM_I_OPERATORP (proc)) | |
08906709 | 129 | return SCM_BOOL_F; |
815ce8d5 MD |
130 | proc = (SCM_I_ENTITYP (proc) |
131 | ? SCM_ENTITY_PROCEDURE (proc) | |
132 | : SCM_OPERATOR_PROCEDURE (proc)); | |
133 | a -= 1; | |
134 | goto loop; | |
08906709 MD |
135 | default: |
136 | return SCM_BOOL_F; | |
67e60655 MD |
137 | } |
138 | return SCM_LIST3 (SCM_MAKINUM (a), | |
139 | SCM_MAKINUM (o), | |
140 | r ? SCM_BOOL_T : SCM_BOOL_F); | |
141 | } | |
142 | ||
0f2d19dd JB |
143 | static SCM |
144 | scm_stand_in_scm_proc(proc) | |
145 | SCM proc; | |
146 | { | |
147 | SCM answer; | |
148 | answer = scm_assoc (proc, scm_stand_in_procs); | |
149 | if (answer == SCM_BOOL_F) | |
150 | { | |
151 | answer = scm_closure (scm_listify (SCM_EOL, SCM_BOOL_F, SCM_UNDEFINED), | |
152 | SCM_EOL); | |
153 | scm_stand_in_procs = scm_cons (scm_cons (proc, answer), | |
154 | scm_stand_in_procs); | |
155 | } | |
156 | else | |
157 | answer = SCM_CDR (answer); | |
158 | return answer; | |
159 | } | |
160 | ||
161 | SCM_PROC(s_procedure_properties, "procedure-properties", 1, 0, 0, scm_procedure_properties); | |
1cc91f1b | 162 | |
0f2d19dd JB |
163 | SCM |
164 | scm_procedure_properties (proc) | |
165 | SCM proc; | |
0f2d19dd | 166 | { |
4f4383ab JB |
167 | SCM_ASSERT (SCM_NFALSEP (scm_procedure_p (proc)), |
168 | proc, SCM_ARG1, s_procedure_properties); | |
67e60655 MD |
169 | return scm_acons (scm_sym_arity, scm_i_procedure_arity (proc), |
170 | SCM_PROCPROPS (SCM_NIMP (proc) && SCM_CLOSUREP (proc) | |
171 | ? proc | |
172 | : scm_stand_in_scm_proc (proc))); | |
0f2d19dd JB |
173 | } |
174 | ||
175 | SCM_PROC(s_set_procedure_properties_x, "set-procedure-properties!", 2, 0, 0, scm_set_procedure_properties_x); | |
1cc91f1b | 176 | |
0f2d19dd JB |
177 | SCM |
178 | scm_set_procedure_properties_x (proc, new_val) | |
179 | SCM proc; | |
180 | SCM new_val; | |
0f2d19dd JB |
181 | { |
182 | if (!(SCM_NIMP (proc) && SCM_CLOSUREP (proc))) | |
183 | proc = scm_stand_in_scm_proc(proc); | |
184 | SCM_ASSERT (SCM_NIMP (proc) && SCM_CLOSUREP (proc), proc, SCM_ARG1, s_set_procedure_properties_x); | |
a6c64c3c | 185 | SCM_SETPROCPROPS (proc, new_val); |
0f2d19dd JB |
186 | return SCM_UNSPECIFIED; |
187 | } | |
188 | ||
189 | SCM_PROC(s_procedure_property, "procedure-property", 2, 0, 0, scm_procedure_property); | |
1cc91f1b | 190 | |
0f2d19dd JB |
191 | SCM |
192 | scm_procedure_property (p, k) | |
193 | SCM p; | |
194 | SCM k; | |
0f2d19dd JB |
195 | { |
196 | SCM assoc; | |
08906709 MD |
197 | if (k == scm_sym_arity) |
198 | { | |
199 | SCM arity; | |
200 | SCM_ASSERT (SCM_NFALSEP (arity = scm_i_procedure_arity (p)), | |
201 | p, SCM_ARG1, s_procedure_property); | |
202 | return arity; | |
203 | } | |
4f4383ab JB |
204 | SCM_ASSERT (SCM_NFALSEP (scm_procedure_p (p)), |
205 | p, SCM_ARG1, s_procedure_property); | |
67e60655 MD |
206 | assoc = scm_sloppy_assq (k, |
207 | SCM_PROCPROPS (SCM_NIMP (p) && SCM_CLOSUREP (p) | |
208 | ? p | |
209 | : scm_stand_in_scm_proc (p))); | |
0f2d19dd JB |
210 | return (SCM_NIMP (assoc) ? SCM_CDR (assoc) : SCM_BOOL_F); |
211 | } | |
212 | ||
213 | SCM_PROC(s_set_procedure_property_x, "set-procedure-property!", 3, 0, 0, scm_set_procedure_property_x); | |
1cc91f1b | 214 | |
0f2d19dd JB |
215 | SCM |
216 | scm_set_procedure_property_x (p, k, v) | |
217 | SCM p; | |
218 | SCM k; | |
219 | SCM v; | |
0f2d19dd JB |
220 | { |
221 | SCM assoc; | |
222 | if (!(SCM_NIMP (p) && SCM_CLOSUREP (p))) | |
223 | p = scm_stand_in_scm_proc(p); | |
224 | SCM_ASSERT (SCM_NIMP (p) && SCM_CLOSUREP (p), p, SCM_ARG1, s_set_procedure_property_x); | |
67e60655 MD |
225 | if (k == scm_sym_arity) |
226 | scm_misc_error (s_set_procedure_property_x, | |
227 | "arity is a read-only property", | |
228 | SCM_EOL); | |
0f2d19dd JB |
229 | assoc = scm_sloppy_assq (k, SCM_PROCPROPS (p)); |
230 | if (SCM_NIMP (assoc)) | |
231 | SCM_SETCDR (assoc, v); | |
232 | else | |
a6c64c3c | 233 | SCM_SETPROCPROPS (p, scm_acons (k, v, SCM_PROCPROPS (p))); |
0f2d19dd JB |
234 | return SCM_UNSPECIFIED; |
235 | } | |
236 | ||
237 | \f | |
238 | ||
1cc91f1b | 239 | |
0f2d19dd JB |
240 | void |
241 | scm_init_procprop () | |
0f2d19dd JB |
242 | { |
243 | #include "procprop.x" | |
244 | } | |
245 |