Commit | Line | Data |
---|---|---|
dea4d055 MW |
1 | ;;; -*-lisp-*- |
2 | ;;; | |
3 | ;;; System definition for the Simple Object Design translator | |
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:defpackage #:sod-sysdef | |
27 | (:use #:common-lisp #:asdf)) | |
28 | ||
29 | (cl:in-package #:sod-sysdef) | |
30 | ||
31 | ;;;-------------------------------------------------------------------------- | |
32 | ;;; Definition. | |
33 | ||
34 | (defsystem sod | |
35 | ||
36 | ;; Boring copyright stuff. | |
37 | :version "1.0.0" | |
38 | :author "Mark Wooding" | |
39 | :license "GNU General Public License, version 2 or later" | |
40 | ||
41 | ;; Documentation. | |
42 | :description "A Sensible Object Design for C." | |
43 | ||
44 | :long-description | |
45 | "This system implements a fairly simple, yet powerful object system for | |
46 | plain old C. Its main features are as follows. | |
47 | ||
48 | * Multiple inheritance, done properly (unlike C++, say), with a | |
49 | superclass linearlization algorithm, and exactly one copy of any | |
50 | superclass's slots. | |
51 | ||
52 | * Method combinations, and multiple flavours of methods, to make mixin | |
53 | classes more useful. | |
54 | ||
55 | * The default method combination doesn't depend on the programmer | |
56 | statically predicting which superclass's method to delegate to. | |
57 | Multiple inheritance makes this approach (taken by C++) fail: the | |
58 | right next method might be an unknown sibling, and two siblings might | |
59 | be in either order depending on descendents. | |
60 | ||
61 | * Minimal runtime support requirements, so that it's suitable for use | |
62 | wherever C is -- e.g., interfacing to other languages." | |
63 | ||
64 | :components | |
65 | ((:file "utilities") | |
66 | ||
67 | ;; Parser equipment. This is way more elaborate than it needs to be, but | |
68 | ;; it was interesting, and it may well get split off into a separate | |
69 | ;; library. | |
70 | (:module "parser" :depends-on ("utilities") :components | |
71 | ((:file "package") | |
72 | ||
73 | ;; File location protocol (including error reporting). | |
74 | (:file "proto-floc" :depends-on ("package")) | |
75 | (:file "impl-floc" :depends-on ("proto-floc")) | |
76 | ||
77 | ;; Position-aware streams. | |
78 | (:file "proto-streams" :depends-on ("package")) | |
79 | (:file "impl-streams" :depends-on ("proto-streams" "proto-floc")) | |
80 | ||
81 | ;; Scanner protocol, and various scanner implementations. | |
82 | (:file "proto-scanner" :depends-on ("package")) | |
83 | (:file "impl-scanner" :depends-on ("proto-scanner")) | |
84 | (:file "impl-scanner-charbuf" :depends-on | |
85 | ("proto-scanner" "proto-floc" "proto-streams")) | |
86 | (:file "impl-scanner-token" :depends-on ("proto-scanner")) | |
87 | ||
88 | ;; Parser notation macro support. | |
89 | (:file "proto-parser" :depends-on ("package")) | |
90 | (:file "impl-parser" :depends-on ("proto-parser")) | |
91 | ||
92 | ;; Expression parser support. | |
93 | (:file "proto-parser-expr" :depends-on ("proto-parser")) | |
94 | (:file "impl-parser-expr" :depends-on ("proto-parser-expr")) | |
95 | ||
96 | ;; Stitching parsers to scanners. | |
97 | (:file "impl-scanner-context" :depends-on | |
98 | ("proto-parser" "proto-scanner")))) | |
99 | ||
100 | (:file "package" :depends-on ("parser")) | |
101 | ||
102 | ;; C type representation protocol. | |
103 | (:file "proto-c-types" :depends-on ("package")) | |
104 | (:file "impl-c-types" :depends-on ("proto-c-types")) | |
105 | ||
106 | ;; Property set protocol. | |
107 | (:file "proto-pset" :depends-on ("package")) | |
108 | (:file "impl-pset" :depends-on ("proto-pset")) | |
bf090e02 | 109 | (:file "parse-pset" :depends-on ("proto-pset" "parse-lexical")) |
dea4d055 MW |
110 | |
111 | ;; Lexical analysis. | |
bf090e02 MW |
112 | (:file "parse-lexical" :depends-on ("parser")) |
113 | (:file "parse-fragment" :depends-on ("parse-lexical")) | |
dea4d055 MW |
114 | |
115 | ;; Code generation protocol. | |
116 | (:file "proto-codegen" :depends-on ("package")) | |
117 | (:file "impl-codegen" :depends-on ("proto-codegen")) | |
118 | ||
119 | ;; Modules. | |
120 | (:file "proto-module" :depends-on ("package")) | |
121 | (:file "impl-module" :depends-on | |
122 | ("proto-module" "proto-pset" "impl-c-types-class" "builtin")) | |
123 | (:file "builtin" :depends-on ("proto-module" "proto-pset" "classes" | |
124 | "impl-c-types" "impl-c-types-class")) | |
bf090e02 MW |
125 | (:file "parse-module" :depends-on ("impl-module" |
126 | "parse-lexical" "parse-fragment")) | |
dea4d055 MW |
127 | |
128 | ;; Output. | |
129 | (:file "proto-output" :depends-on ("package")) | |
130 | (:file "impl-output" :depends-on ("proto-output")) | |
131 | ||
132 | ;; Class representation. | |
133 | (:file "classes" :depends-on ("package" "proto-c-types")) | |
134 | (:file "impl-c-types-class" :depends-on ("classes" "proto-module")) | |
135 | (:file "class-utilities" :depends-on | |
136 | ("classes" "impl-codegen" "impl-pset" | |
137 | "impl-c-types" "impl-c-types-class")) | |
138 | ||
139 | ;; Class construction. | |
140 | (:file "proto-class-make" :depends-on ("class-utilities")) | |
141 | (:file "impl-class-make" :depends-on ("proto-class-make")) | |
142 | ||
143 | ;; Class layout. | |
144 | (:file "proto-class-layout" :depends-on ("class-utilities")) | |
145 | (:file "impl-class-layout" :depends-on | |
146 | ("proto-class-layout" "proto-method")) | |
147 | ||
148 | ;; Class finalization. | |
149 | (:file "proto-class-finalize" :depends-on ("class-utilities")) | |
150 | (:file "impl-class-finalize" :depends-on ("proto-class-finalize")) | |
151 | ||
152 | ;; Method generation. | |
153 | (:file "proto-method" :depends-on ("class-utilities")) | |
154 | (:file "impl-method" :depends-on ("proto-method")) | |
155 | ||
156 | ;; Class output. | |
157 | (:file "output-class" :depends-on ("proto-output" "classes")))) | |
158 | ||
159 | ;;;-------------------------------------------------------------------------- | |
160 | ;;; Testing. | |
161 | ||
162 | (defmethod perform ((op test-op) (component (eql (find-system "sod")))) | |
163 | (operate 'test-op "sod-test" :force t)) | |
164 | ||
165 | ;;;----- That's all, folks -------------------------------------------------- |