1 /* Copyright (C) 1995,1996,1999,2000,2001, 2003 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. */
45 /* This file and objects.h contains those minimal pieces of the Guile
46 * Object Oriented Programming System which need to be included in
47 * libguile. See the comments in objects.h.
50 #include "libguile/_scm.h"
52 #include "libguile/struct.h"
53 #include "libguile/procprop.h"
54 #include "libguile/chars.h"
55 #include "libguile/keywords.h"
56 #include "libguile/smob.h"
57 #include "libguile/eval.h"
58 #include "libguile/alist.h"
59 #include "libguile/ports.h"
60 #include "libguile/strings.h"
61 #include "libguile/vectors.h"
63 #include "libguile/validate.h"
64 #include "libguile/objects.h"
67 SCM scm_metaclass_standard
;
68 SCM scm_metaclass_operator
;
70 /* These variables are filled in by the object system when loaded. */
71 SCM scm_class_boolean
, scm_class_char
, scm_class_pair
;
72 SCM scm_class_procedure
, scm_class_string
, scm_class_symbol
;
73 SCM scm_class_procedure_with_setter
, scm_class_primitive_generic
;
74 SCM scm_class_vector
, scm_class_null
;
75 SCM scm_class_integer
, scm_class_real
, scm_class_complex
;
76 SCM scm_class_unknown
;
78 SCM
*scm_port_class
= 0;
79 SCM
*scm_smob_class
= 0;
81 SCM scm_no_applicable_method
;
83 /* This function is used for efficient type dispatch. */
84 SCM_DEFINE (scm_class_of
, "class-of", 1, 0, 0,
86 "Return the class of @var{x}.")
87 #define FUNC_NAME s_scm_class_of
89 switch (SCM_ITAG3 (x
))
93 return scm_class_integer
;
97 return scm_class_char
;
100 switch (SCM_ISYMNUM (x
))
102 case SCM_ISYMNUM (SCM_BOOL_F
):
103 case SCM_ISYMNUM (SCM_BOOL_T
):
104 return scm_class_boolean
;
105 case SCM_ISYMNUM (SCM_EOL
):
106 return scm_class_null
;
108 return scm_class_unknown
;
113 switch (SCM_TYP7 (x
))
115 case scm_tcs_cons_nimcar
:
116 return scm_class_pair
;
117 case scm_tcs_closures
:
118 return scm_class_procedure
;
120 return scm_class_symbol
;
133 return scm_class_vector
;
135 return scm_class_string
;
143 case scm_tc7_subr_1o
:
144 case scm_tc7_subr_2o
:
145 case scm_tc7_lsubr_2
:
147 if (SCM_SUBR_GENERIC (x
) && *SCM_SUBR_GENERIC (x
))
148 return scm_class_primitive_generic
;
150 return scm_class_procedure
;
152 return scm_class_procedure
;
154 return scm_class_procedure_with_setter
;
158 scm_t_bits type
= SCM_TYP16 (x
);
159 if (type
!= scm_tc16_port_with_ps
)
160 return scm_smob_class
[SCM_TC2SMOBNUM (type
)];
161 x
= SCM_PORT_WITH_PS_PORT (x
);
162 /* fall through to ports */
165 return scm_port_class
[(SCM_WRTNG
& SCM_CELL_WORD_0 (x
)
166 ? (SCM_RDNG
& SCM_CELL_WORD_0 (x
)
167 ? SCM_INOUT_PCLASS_INDEX
| SCM_PTOBNUM (x
)
168 : SCM_OUT_PCLASS_INDEX
| SCM_PTOBNUM (x
))
169 : SCM_IN_PCLASS_INDEX
| SCM_PTOBNUM (x
))];
171 if (SCM_OBJ_CLASS_FLAGS (x
) & SCM_CLASSF_GOOPS_VALID
)
172 return SCM_CLASS_OF (x
);
173 else if (SCM_OBJ_CLASS_FLAGS (x
) & SCM_CLASSF_GOOPS
)
176 if (! SCM_FALSEP (SCM_OBJ_CLASS_REDEF (x
)))
177 scm_change_object_class (x
,
178 SCM_CLASS_OF (x
), /* old */
179 SCM_OBJ_CLASS_REDEF (x
)); /* new */
180 return SCM_CLASS_OF (x
);
184 /* ordinary struct */
185 SCM handle
= scm_struct_create_handle (SCM_STRUCT_VTABLE (x
));
186 if (!SCM_FALSEP (SCM_STRUCT_TABLE_CLASS (SCM_CDR (handle
))))
187 return SCM_STRUCT_TABLE_CLASS (SCM_CDR (handle
));
190 SCM name
= SCM_STRUCT_TABLE_NAME (SCM_CDR (handle
));
191 SCM
class = scm_make_extended_class (!SCM_FALSEP (name
)
192 ? SCM_SYMBOL_CHARS (name
)
194 SCM_I_OPERATORP (x
));
195 SCM_SET_STRUCT_TABLE_CLASS (SCM_CDR (handle
), class);
201 return scm_class_pair
;
203 return scm_class_unknown
;
209 case scm_tc3_closure
:
213 return scm_class_unknown
;
217 /* The cache argument for scm_mcache_lookup_cmethod has one of two possible
221 * (SCM_IM_DISPATCH ARGS N-SPECIALIZED
222 * #((TYPE1 ... ENV FORMALS FORM ...) ...)
226 * (SCM_IM_HASH_DISPATCH ARGS N-SPECIALIZED HASHSET MASK
227 * #((TYPE1 ... ENV FORMALS FORM ...) ...)
230 * ARGS is either a list of expressions, in which case they
231 * are interpreted as the arguments of an application, or
232 * a non-pair, which is interpreted as a single expression
233 * yielding all arguments.
235 * SCM_IM_DISPATCH expressions in generic functions always
236 * have ARGS = the symbol `args' or the iloc #@0-0.
238 * Need FORMALS in order to support varying arity. This
239 * also avoids the need for renaming of bindings.
241 * We should probably not complicate this mechanism by
242 * introducing "optimizations" for getters and setters or
243 * primitive methods. Getters and setter will normally be
244 * compiled into @slot-[ref|set!] or a procedure call.
245 * They rely on the dispatch performed before executing
246 * the code which contains them.
248 * We might want to use a more efficient representation of
249 * this form in the future, perhaps after we have introduced
250 * low-level support for syntax-case macros.
254 scm_mcache_lookup_cmethod (SCM cache
, SCM args
)
256 long i
, n
, end
, mask
;
257 SCM ls
, methods
, z
= SCM_CDDR (cache
);
258 n
= SCM_INUM (SCM_CAR (z
)); /* maximum number of specializers */
259 methods
= SCM_CADR (z
);
261 if (SCM_INUMP (methods
))
263 /* cache format #2: compute a hash value */
264 long hashset
= SCM_INUM (methods
);
267 mask
= SCM_INUM (SCM_CAR (z
));
268 methods
= SCM_CADR (z
);
274 i
+= SCM_STRUCT_DATA (scm_class_of (SCM_CAR (ls
)))
275 [scm_si_hashsets
+ hashset
];
278 while (j
-- && !SCM_NULLP (ls
));
282 else /* SCM_VECTORP (methods) */
284 /* cache format #1: prepare for linear search */
287 end
= SCM_VECTOR_LENGTH (methods
);
290 /* Search for match */
294 z
= SCM_VELTS (methods
)[i
];
295 ls
= args
; /* list of arguments */
299 /* More arguments than specifiers => CLASS != ENV */
300 if (! SCM_EQ_P (scm_class_of (SCM_CAR (ls
)), SCM_CAR (z
)))
305 while (j
-- && !SCM_NULLP (ls
));
306 /* Fewer arguments than specifiers => CAR != ENV */
307 if (SCM_NULLP (SCM_CAR (z
)) || SCM_CONSP (SCM_CAR (z
)))
316 scm_mcache_compute_cmethod (SCM cache
, SCM args
)
318 SCM cmethod
= scm_mcache_lookup_cmethod (cache
, args
);
319 if (SCM_FALSEP (cmethod
))
320 /* No match - memoize */
321 return scm_memoize_method (cache
, args
);
326 scm_apply_generic (SCM gf
, SCM args
)
328 SCM cmethod
= scm_mcache_compute_cmethod (SCM_ENTITY_PROCEDURE (gf
), args
);
329 return scm_eval_body (SCM_CDR (SCM_CMETHOD_CODE (cmethod
)),
330 SCM_EXTEND_ENV (SCM_CAR (SCM_CMETHOD_CODE (cmethod
)),
332 SCM_CMETHOD_ENV (cmethod
)));
336 scm_call_generic_0 (SCM gf
)
338 return scm_apply_generic (gf
, SCM_EOL
);
342 scm_call_generic_1 (SCM gf
, SCM a1
)
344 return scm_apply_generic (gf
, scm_list_1 (a1
));
348 scm_call_generic_2 (SCM gf
, SCM a1
, SCM a2
)
350 return scm_apply_generic (gf
, scm_list_2 (a1
, a2
));
354 scm_call_generic_3 (SCM gf
, SCM a1
, SCM a2
, SCM a3
)
356 return scm_apply_generic (gf
, scm_list_3 (a1
, a2
, a3
));
359 SCM_DEFINE (scm_entity_p
, "entity?", 1, 0, 0,
361 "Return @code{#t} if @var{obj} is an entity.")
362 #define FUNC_NAME s_scm_entity_p
364 return SCM_BOOL(SCM_STRUCTP (obj
) && SCM_I_ENTITYP (obj
));
368 SCM_DEFINE (scm_operator_p
, "operator?", 1, 0, 0,
370 "Return @code{#t} if @var{obj} is an operator.")
371 #define FUNC_NAME s_scm_operator_p
373 return SCM_BOOL(SCM_STRUCTP (obj
)
374 && SCM_I_OPERATORP (obj
)
375 && !SCM_I_ENTITYP (obj
));
379 /* XXX - What code requires the object procedure to be only of certain
382 SCM_DEFINE (scm_valid_object_procedure_p
, "valid-object-procedure?", 1, 0, 0,
384 "Return @code{#t} iff @var{proc} is a procedure that can be used "
385 "with @code{set-object-procedure}. It is always valid to use "
386 "a closure constructed by @code{lambda}.")
387 #define FUNC_NAME s_scm_valid_object_procedure_p
391 switch (SCM_TYP7 (proc
))
395 case scm_tcs_closures
:
399 case scm_tc7_lsubr_2
:
405 SCM_DEFINE (scm_set_object_procedure_x
, "set-object-procedure!", 2, 0, 0,
407 "Set the object procedure of @var{obj} to @var{proc}.\n"
408 "@var{obj} must be either an entity or an operator.")
409 #define FUNC_NAME s_scm_set_object_procedure_x
411 SCM_ASSERT (SCM_STRUCTP (obj
)
412 && ((SCM_CLASS_FLAGS (obj
) & SCM_CLASSF_OPERATOR
)
413 || (SCM_I_ENTITYP (obj
)
414 && !(SCM_OBJ_CLASS_FLAGS (obj
)
415 & SCM_CLASSF_PURE_GENERIC
))),
419 SCM_ASSERT (scm_valid_object_procedure_p (proc
), proc
, SCM_ARG2
, FUNC_NAME
);
420 if (SCM_I_ENTITYP (obj
))
421 SCM_SET_ENTITY_PROCEDURE (obj
, proc
);
423 SCM_OPERATOR_CLASS (obj
)->procedure
= proc
;
424 return SCM_UNSPECIFIED
;
429 SCM_DEFINE (scm_object_procedure
, "object-procedure", 1, 0, 0,
431 "Return the object procedure of @var{obj}. @var{obj} must be\n"
432 "an entity or an operator.")
433 #define FUNC_NAME s_scm_object_procedure
435 SCM_ASSERT (SCM_STRUCTP (obj
)
436 && ((SCM_CLASS_FLAGS (obj
) & SCM_CLASSF_OPERATOR
)
437 || SCM_I_ENTITYP (obj
)),
438 obj
, SCM_ARG1
, FUNC_NAME
);
439 return (SCM_I_ENTITYP (obj
)
440 ? SCM_ENTITY_PROCEDURE (obj
)
441 : SCM_OPERATOR_CLASS (obj
)->procedure
);
444 #endif /* GUILE_DEBUG */
446 /* The following procedures are not a part of Goops but a minimal
447 * object system built upon structs. They are here for those who
448 * want to implement their own object system.
452 scm_i_make_class_object (SCM meta
,
457 SCM layout
= scm_make_struct_layout (layout_string
);
458 c
= scm_make_struct (meta
,
460 scm_list_4 (layout
, SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
461 SCM_SET_CLASS_FLAGS (c
, flags
);
465 SCM_DEFINE (scm_make_class_object
, "make-class-object", 2, 0, 0,
466 (SCM metaclass
, SCM layout
),
467 "Create a new class object of class @var{metaclass}, with the\n"
468 "slot layout specified by @var{layout}.")
469 #define FUNC_NAME s_scm_make_class_object
471 unsigned long flags
= 0;
472 SCM_VALIDATE_STRUCT (1, metaclass
);
473 SCM_VALIDATE_STRING (2, layout
);
474 if (SCM_EQ_P (metaclass
, scm_metaclass_operator
))
475 flags
= SCM_CLASSF_OPERATOR
;
476 return scm_i_make_class_object (metaclass
, layout
, flags
);
480 SCM_DEFINE (scm_make_subclass_object
, "make-subclass-object", 2, 0, 0,
481 (SCM
class, SCM layout
),
482 "Create a subclass object of @var{class}, with the slot layout\n"
483 "specified by @var{layout}.")
484 #define FUNC_NAME s_scm_make_subclass_object
487 SCM_VALIDATE_STRUCT (1, class);
488 SCM_VALIDATE_STRING (2, layout
);
489 pl
= SCM_PACK (SCM_STRUCT_DATA (class) [scm_vtable_index_layout
]);
490 /* Convert symbol->string */
491 pl
= scm_mem2string (SCM_SYMBOL_CHARS (pl
), SCM_SYMBOL_LENGTH (pl
));
492 return scm_i_make_class_object (SCM_STRUCT_VTABLE (class),
493 scm_string_append (scm_list_2 (pl
, layout
)),
494 SCM_CLASS_FLAGS (class));
501 SCM ms
= scm_makfrom0str (SCM_METACLASS_STANDARD_LAYOUT
);
502 SCM mt
= scm_make_vtable_vtable (ms
, SCM_INUM0
,
503 scm_list_3 (SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
505 SCM os
= scm_makfrom0str (SCM_METACLASS_OPERATOR_LAYOUT
);
506 SCM ot
= scm_make_vtable_vtable (os
, SCM_INUM0
,
507 scm_list_3 (SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
509 SCM es
= scm_makfrom0str (SCM_ENTITY_LAYOUT
);
510 SCM el
= scm_make_struct_layout (es
);
511 SCM et
= scm_make_struct (mt
, SCM_INUM0
,
512 scm_list_4 (el
, SCM_BOOL_F
, SCM_EOL
, SCM_EOL
));
514 scm_c_define ("<class>", mt
);
515 scm_metaclass_standard
= mt
;
516 scm_c_define ("<operator-class>", ot
);
517 scm_metaclass_operator
= ot
;
518 SCM_SET_CLASS_FLAGS (et
, SCM_CLASSF_OPERATOR
| SCM_CLASSF_ENTITY
);
519 SCM_SET_CLASS_DESTRUCTOR (et
, scm_struct_free_entity
);
520 scm_c_define ("<entity>", et
);
522 #include "libguile/objects.x"