src/parser/scanner-impl.lisp: Make streams from string scanners.
[sod] / src / class-finalize-proto.lisp
1 ;;; -*-lisp-*-
2 ;;;
3 ;;; Class finalization protocol
4 ;;;
5 ;;; (c) 2009 Straylight/Edgeware
6 ;;;
7
8 ;;;----- Licensing notice ---------------------------------------------------
9 ;;;
10 ;;; This file is part of the Sensble Object Design, an object system for C.
11 ;;;
12 ;;; SOD is free software; you can redistribute it and/or modify
13 ;;; it under the terms of the GNU General Public License as published by
14 ;;; the Free Software Foundation; either version 2 of the License, or
15 ;;; (at your option) any later version.
16 ;;;
17 ;;; SOD is distributed in the hope that it will be useful,
18 ;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
19 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 ;;; GNU General Public License for more details.
21 ;;;
22 ;;; You should have received a copy of the GNU General Public License
23 ;;; along with SOD; if not, write to the Free Software Foundation,
24 ;;; Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
25
26 (cl:in-package #:sod)
27
28 ;;;--------------------------------------------------------------------------
29 ;;; Protocol definition.
30
31 (defgeneric compute-cpl (class)
32 (:documentation
33 "Returns the class precedence list for CLASS."))
34
35 (defgeneric compute-chains (class)
36 (:documentation
37 "Compute the layout chains for CLASS.
38
39 Returns the following three values.
40
41 * the head of the class's primary chain;
42
43 * the class's primary chain as a list, most- to least-specific; and
44
45 * the complete collection of chains, as a list of lists, each most- to
46 least-specific, with the primary chain first.
47
48 These values will be stored in the CHAIN-HEAD, CHAIN and CHAINS slots.
49
50 If the chains are ill-formed (i.e., not distinct) then an error is
51 signalled."))
52
53 (defgeneric check-sod-class (class)
54 (:documentation
55 "Check the CLASS for validity.
56
57 This is done as part of class finalization. The checks performed are as
58 follows.
59
60 * The class name and nickname, and the names of messages, obey the
61 rules (see VALID-NAME-P).
62
63 * The messages and slots have distinct names.
64
65 * The classes in the class-precedence-list have distinct nicknames.
66
67 * The chain-link is actually a proper (though not necessarily direct)
68 superclass.
69
70 * The chosen metaclass is actually a subclass of all of the
71 superclasses' metaclasses.
72
73 Returns true if all is well; false (and signals errors) if anything was
74 wrong."))
75
76 (defgeneric finalize-sod-class (class)
77 (:documentation
78 "Computes all of the gory details about a class.
79
80 Once one has stopped inserting methods and slots and so on into a class,
81 one needs to finalize it to determine the layout structure and the class
82 precedence list and so on. More precisely that gets done is this:
83
84 * Related classes (i.e., direct superclasses and the metaclass) are
85 finalized if they haven't been already.
86
87 * If you've been naughty and failed to store a list of slots or
88 whatever, then an empty list is inserted.
89
90 * The class precedence list is computed and stored.
91
92 * The class is checked for compiance with the well-formedness rules.
93
94 * The layout chains are computed."))
95
96 ;;;----- That's all, folks --------------------------------------------------