1 /* Copyright (C) 1995,1996 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. */
43 /* This file and objects.h contains those minimal pieces of the Guile
44 * Object Oriented Programming System which need to be included in
45 * libguile. See the comments in objects.h.
61 SCM scm_metaclass_standard
;
62 SCM scm_metaclass_operator
;
64 /* These variables are filled in by the object system when loaded. */
65 SCM scm_class_boolean
, scm_class_char
, scm_class_pair
;
66 SCM scm_class_procedure
, scm_class_string
, scm_class_symbol
;
67 SCM scm_class_procedure_with_setter
, scm_class_primitive_generic
;
68 SCM scm_class_vector
, scm_class_null
;
69 SCM scm_class_integer
, scm_class_real
, scm_class_complex
;
70 SCM scm_class_unknown
;
72 SCM
*scm_port_class
= 0;
73 SCM
*scm_smob_class
= 0;
75 SCM scm_no_applicable_method
;
77 SCM (*scm_make_extended_class
) (char *type_name
);
78 void (*scm_make_port_classes
) (int ptobnum
, char *type_name
);
79 void (*scm_change_object_class
) (SCM
, SCM
, SCM
);
81 /* This function is used for efficient type dispatch. */
85 switch (SCM_ITAG3 (x
))
89 return scm_class_integer
;
93 return scm_class_char
;
96 switch (SCM_ISYMNUM (x
))
98 case SCM_ISYMNUM (SCM_BOOL_F
):
99 case SCM_ISYMNUM (SCM_BOOL_T
):
100 return scm_class_boolean
;
101 case SCM_ISYMNUM (SCM_EOL
):
102 return scm_class_null
;
104 return scm_class_unknown
;
109 switch (SCM_TYP7 (x
))
111 case scm_tcs_cons_nimcar
:
112 return scm_class_pair
;
113 case scm_tcs_closures
:
114 return scm_class_procedure
;
115 case scm_tcs_symbols
:
116 return scm_class_symbol
;
127 return scm_class_vector
;
129 case scm_tc7_substring
:
130 return scm_class_string
;
138 case scm_tc7_subr_1o
:
139 case scm_tc7_subr_2o
:
140 case scm_tc7_lsubr_2
:
142 if (SCM_SUBR_GENERIC (x
) && *SCM_SUBR_GENERIC (x
))
143 return scm_class_primitive_generic
;
145 return scm_class_procedure
;
147 return scm_class_procedure
;
149 return scm_class_procedure_with_setter
;
153 SCM type
= SCM_TYP16 (x
);
154 if (type
== scm_tc16_flo
)
156 if (SCM_CAR (x
) & SCM_IMAG_PART
)
157 return scm_class_complex
;
159 return scm_class_real
;
161 else if (type
!= scm_tc16_port_with_ps
)
162 return scm_smob_class
[SCM_TC2SMOBNUM (type
)];
163 x
= SCM_PORT_WITH_PS_PORT (x
);
164 /* fall through to ports */
167 return scm_port_class
[(SCM_WRTNG
& SCM_CAR (x
)
168 ? (SCM_RDNG
& SCM_CAR (x
)
169 ? SCM_INOUT_PCLASS_INDEX
| SCM_PTOBNUM (x
)
170 : SCM_OUT_PCLASS_INDEX
| SCM_PTOBNUM (x
))
171 : SCM_IN_PCLASS_INDEX
| SCM_PTOBNUM (x
))];
172 case scm_tcs_cons_gloc
:
173 /* must be a struct */
174 if (SCM_OBJ_CLASS_FLAGS (x
) & SCM_CLASSF_GOOPS_VALID
)
175 return SCM_CLASS_OF (x
);
176 else if (SCM_OBJ_CLASS_FLAGS (x
) & SCM_CLASSF_GOOPS
)
179 if (SCM_OBJ_CLASS_REDEF (x
) != SCM_BOOL_F
)
180 scm_change_object_class (x
,
181 SCM_CLASS_OF (x
), /* old */
182 SCM_OBJ_CLASS_REDEF (x
)); /* new */
183 return SCM_CLASS_OF (x
);
187 /* ordinary struct */
188 SCM handle
= scm_struct_create_handle (SCM_STRUCT_VTABLE (x
));
189 if (SCM_NFALSEP (SCM_STRUCT_TABLE_CLASS (SCM_CDR (handle
))))
190 return SCM_STRUCT_TABLE_CLASS (SCM_CDR (handle
));
193 SCM name
= SCM_STRUCT_TABLE_NAME (SCM_CDR (handle
));
194 SCM
class = scm_make_extended_class (SCM_NFALSEP (name
)
197 SCM_SET_STRUCT_TABLE_CLASS (handle
, class);
203 return scm_class_pair
;
205 return scm_class_unknown
;
208 case scm_tc3_cons_gloc
:
211 case scm_tc3_closure
:
215 return scm_class_unknown
;
218 /* (SCM_IM_DISPATCH ARGS N-SPECIALIZED
219 * #((TYPE1 ... ENV FORMALS FORM ...) ...)
222 * (SCM_IM_HASH_DISPATCH ARGS N-SPECIALIZED HASHSET MASK
223 * #((TYPE1 ... ENV FORMALS FORM ...) ...)
226 * ARGS is either a list of expressions, in which case they
227 * are interpreted as the arguments of an application, or
228 * a non-pair, which is interpreted as a single expression
229 * yielding all arguments.
231 * SCM_IM_DISPATCH expressions in generic functions always
232 * have ARGS = the symbol `args' or the iloc #@0-0.
234 * Need FORMALS in order to support varying arity. This
235 * also avoids the need for renaming of bindings.
237 * We should probably not complicate this mechanism by
238 * introducing "optimizations" for getters and setters or
239 * primitive methods. Getters and setter will normally be
240 * compiled into @slot-[ref|set!] or a procedure call.
241 * They rely on the dispatch performed before executing
242 * the code which contains them.
244 * We might want to use a more efficient representation of
245 * this form in the future, perhaps after we have introduced
246 * low-level support for syntax-case macros.
250 scm_mcache_lookup_cmethod (SCM cache
, SCM args
)
253 SCM ls
, methods
, z
= SCM_CDDR (cache
);
254 n
= SCM_INUM (SCM_CAR (z
)); /* maximum number of specializers */
255 methods
= SCM_CADR (z
);
257 if (SCM_NIMP (methods
))
259 /* Prepare for linear search */
262 end
= SCM_LENGTH (methods
);
266 /* Compute a hash value */
267 int hashset
= SCM_INUM (methods
);
269 mask
= SCM_INUM (SCM_CAR (z
= SCM_CDDR (z
)));
270 methods
= SCM_CADR (z
);
276 i
+= (SCM_STRUCT_DATA (scm_class_of (SCM_CAR (ls
)))
277 [scm_si_hashsets
+ hashset
]);
280 while (--j
&& SCM_NIMP (ls
));
285 /* Search for match */
289 z
= SCM_VELTS (methods
)[i
];
290 ls
= args
; /* list of arguments */
294 /* More arguments than specifiers => CLASS != ENV */
295 if (scm_class_of (SCM_CAR (ls
)) != SCM_CAR (z
))
300 while (--j
&& SCM_NIMP (ls
));
301 /* Fewer arguments than specifiers => CAR != ENV */
302 if (!(SCM_IMP (SCM_CAR (z
)) || SCM_CONSP (SCM_CAR (z
))))
312 scm_mcache_compute_cmethod (SCM cache
, SCM args
)
314 SCM cmethod
= scm_mcache_lookup_cmethod (cache
, args
);
315 if (SCM_IMP (cmethod
))
316 /* No match - memoize */
317 return scm_memoize_method (cache
, args
);
322 scm_apply_generic (SCM gf
, SCM args
)
324 SCM cmethod
= scm_mcache_compute_cmethod (SCM_ENTITY_PROCEDURE (gf
), args
);
325 return scm_eval_body (SCM_CDR (SCM_CMETHOD_CODE (cmethod
)),
326 SCM_EXTEND_ENV (SCM_CAR (SCM_CMETHOD_CODE (cmethod
)),
328 SCM_CMETHOD_ENV (cmethod
)));
332 scm_call_generic_0 (SCM gf
)
334 return scm_apply_generic (gf
, SCM_EOL
);
338 scm_call_generic_1 (SCM gf
, SCM a1
)
340 return scm_apply_generic (gf
, SCM_LIST1 (a1
));
344 scm_call_generic_2 (SCM gf
, SCM a1
, SCM a2
)
346 return scm_apply_generic (gf
, SCM_LIST2 (a1
, a2
));
350 scm_call_generic_3 (SCM gf
, SCM a1
, SCM a2
, SCM a3
)
352 return scm_apply_generic (gf
, SCM_LIST3 (a1
, a2
, a3
));
355 SCM_PROC (s_entity_p
, "entity?", 1, 0, 0, scm_entity_p
);
358 scm_entity_p (SCM obj
)
360 return (SCM_NIMP (obj
) && SCM_STRUCTP (obj
) && SCM_I_ENTITYP (obj
)
365 SCM_PROC (s_operator_p
, "operator?", 1, 0, 0, scm_operator_p
);
368 scm_operator_p (SCM obj
)
370 return (SCM_NIMP (obj
)
372 && SCM_I_OPERATORP (obj
)
373 && !SCM_I_ENTITYP (obj
)
378 SCM_PROC (s_set_object_procedure_x
, "set-object-procedure!", 2, 0, 0, scm_set_object_procedure_x
);
381 scm_set_object_procedure_x (SCM obj
, SCM proc
)
383 SCM_ASSERT (SCM_NIMP (obj
) && SCM_STRUCTP (obj
)
384 && ((SCM_CLASS_FLAGS (obj
) & SCM_CLASSF_OPERATOR
)
385 || (SCM_I_ENTITYP (obj
)
386 && !(SCM_OBJ_CLASS_FLAGS (obj
)
387 & SCM_CLASSF_PURE_GENERIC
))),
390 s_set_object_procedure_x
);
391 SCM_ASSERT (SCM_NFALSEP (scm_procedure_p (proc
)),
392 proc
, SCM_ARG2
, s_set_object_procedure_x
);
393 if (SCM_I_ENTITYP (obj
))
394 SCM_ENTITY_PROCEDURE (obj
) = proc
;
396 SCM_OPERATOR_CLASS (obj
)->procedure
= proc
;
397 return SCM_UNSPECIFIED
;
401 SCM_PROC (s_object_procedure
, "object-procedure", 1, 0, 0, scm_object_procedure
);
404 scm_object_procedure (SCM obj
)
406 SCM_ASSERT (SCM_NIMP (obj
) && SCM_STRUCTP (obj
)
407 && ((SCM_CLASS_FLAGS (obj
) & SCM_CLASSF_OPERATOR
)
408 || SCM_I_ENTITYP (obj
)),
409 obj
, SCM_ARG1
, s_object_procedure
);
410 return (SCM_I_ENTITYP (obj
)
411 ? SCM_ENTITY_PROCEDURE (obj
)
412 : SCM_OPERATOR_CLASS (obj
)->procedure
);
414 #endif /* GUILE_DEBUG */
416 /* The following procedures are not a part of Goops but a minimal
417 * object system built upon structs. They are here for those who
418 * want to implement their own object system.
422 scm_i_make_class_object (SCM meta
,
427 SCM layout
= scm_make_struct_layout (layout_string
);
428 c
= scm_make_struct (meta
,
430 SCM_LIST4 (layout
, SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
431 SCM_SET_CLASS_FLAGS (c
, flags
);
435 SCM_PROC (s_make_class_object
, "make-class-object", 2, 0, 0, scm_make_class_object
);
438 scm_make_class_object (SCM metaclass
, SCM layout
)
440 unsigned long flags
= 0;
441 SCM_ASSERT (SCM_NIMP (metaclass
) && SCM_STRUCTP (metaclass
),
442 metaclass
, SCM_ARG1
, s_make_class_object
);
443 SCM_ASSERT (SCM_NIMP (layout
) && SCM_STRINGP (layout
),
444 layout
, SCM_ARG2
, s_make_class_object
);
445 if (metaclass
== scm_metaclass_operator
)
446 flags
= SCM_CLASSF_OPERATOR
;
447 return scm_i_make_class_object (metaclass
, layout
, flags
);
450 SCM_PROC (s_make_subclass_object
, "make-subclass-object", 2, 0, 0, scm_make_subclass_object
);
453 scm_make_subclass_object (SCM
class, SCM layout
)
456 SCM_ASSERT (SCM_NIMP (class) && SCM_STRUCTP (class),
459 s_make_subclass_object
);
460 SCM_ASSERT (SCM_NIMP (layout
) && SCM_STRINGP (layout
),
463 s_make_subclass_object
);
464 pl
= SCM_STRUCT_DATA (class)[scm_vtable_index_layout
];
465 /* Convert symbol->string */
466 pl
= scm_makfromstr (SCM_CHARS (pl
), (scm_sizet
) SCM_LENGTH (pl
), 0);
467 return scm_i_make_class_object (SCM_STRUCT_VTABLE (class),
468 scm_string_append (SCM_LIST2 (pl
, layout
)),
469 SCM_CLASS_FLAGS (class));
475 SCM ms
= scm_makfrom0str (SCM_METACLASS_STANDARD_LAYOUT
);
476 SCM ml
= scm_make_struct_layout (ms
);
477 SCM mt
= scm_make_vtable_vtable (ml
, SCM_INUM0
,
478 SCM_LIST3 (SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
480 SCM os
= scm_makfrom0str (SCM_METACLASS_OPERATOR_LAYOUT
);
481 SCM ol
= scm_make_struct_layout (os
);
482 SCM ot
= scm_make_vtable_vtable (ol
, SCM_INUM0
,
483 SCM_LIST3 (SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
485 SCM es
= scm_makfrom0str (SCM_ENTITY_LAYOUT
);
486 SCM el
= scm_make_struct_layout (es
);
487 SCM et
= scm_make_struct (mt
, SCM_INUM0
,
488 SCM_LIST4 (el
, SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
490 scm_sysintern ("<class>", mt
);
491 scm_metaclass_standard
= mt
;
492 scm_sysintern ("<operator-class>", ot
);
493 scm_metaclass_operator
= ot
;
494 SCM_SET_CLASS_FLAGS (et
, SCM_CLASSF_OPERATOR
| SCM_CLASSF_ENTITY
);
495 SCM_SET_CLASS_DESTRUCTOR (et
, scm_struct_free_entity
);
496 scm_sysintern ("<entity>", et
);