chiark - git - mdw - sod/blob - src/sod.asd

   1 ;;; -*-lisp-*-
   2 ;;;
   3 ;;; System definition for the Sensible 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 "0.1.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 "floc-proto" :depends-on ("package"))
  75      (:file "floc-impl" :depends-on ("floc-proto"))
  76
  77      ;; Position-aware streams.
  78      (:file "streams-proto" :depends-on ("package"))
  79      (:file "streams-impl" :depends-on ("streams-proto" "floc-proto"))
  80
  81      ;; Scanner protocol, and various scanner implementations.
  82      (:file "scanner-proto" :depends-on ("package"))
  83      (:file "scanner-impl" :depends-on ("scanner-proto"))
  84      (:file "scanner-charbuf-impl" :depends-on
  85             ("scanner-proto" "floc-proto" "streams-proto"))
  86      (:file "scanner-token-impl" :depends-on ("scanner-proto"))
  87
  88      ;; Parser notation macro support.
  89      (:file "parser-proto" :depends-on ("package"))
  90      (:file "parser-impl" :depends-on ("parser-proto"))
  91
  92      ;; Expression parser support.
  93      (:file "parser-expr-proto" :depends-on ("parser-proto"))
  94      (:file "parser-expr-impl" :depends-on ("parser-expr-proto"))
  95
  96      ;; Stitching parsers to scanners.
  97      (:file "scanner-context-impl" :depends-on
  98             ("parser-proto" "scanner-proto"))))
  99
 100    (:file "package" :depends-on ("utilities" "parser"))
 101
 102    ;; Lexical analysis.
 103    (:file "lexer-proto" :depends-on ("package" "parser"))
 104    (:file "lexer-impl" :depends-on ("lexer-proto"))
 105    (:file "fragment-parse" :depends-on ("lexer-proto"))
 106
 107    ;; C type representation protocol.
 108    (:file "c-types-proto" :depends-on ("package"))
 109    (:file "c-types-impl" :depends-on ("c-types-proto"))
 110    (:file "c-types-parse" :depends-on
 111           ("c-types-proto" "c-types-class-impl" "fragment-parse"))
 112
 113    ;; Property set protocol.
 114    (:file "pset-proto" :depends-on ("package"))
 115    (:file "pset-impl" :depends-on ("pset-proto"))
 116    (:file "pset-parse" :depends-on ("pset-proto" "lexer-proto"))
 117
 118    ;; Code generation protocol.
 119    (:file "codegen-proto" :depends-on ("module-proto"))
 120    (:file "codegen-impl" :depends-on ("codegen-proto"))
 121
 122    ;; Modules.
 123    (:file "module-proto" :depends-on ("package"))
 124    (:file "module-impl" :depends-on
 125           ("module-proto" "pset-proto" "c-types-class-impl" "builtin"))
 126    (:file "builtin" :depends-on
 127           ("module-proto" "pset-proto" "c-types-impl" "c-types-class-impl"
 128            "classes" "class-layout-proto"))
 129    (:file "module-parse" :depends-on
 130           ("class-make-proto" "class-finalize-proto"
 131            "fragment-parse" "lexer-proto" "module-impl"))
 132    (:file "module-output" :depends-on ("module-impl" "output-proto"))
 133
 134    ;; Output.
 135    (:file "output-proto" :depends-on ("package"))
 136    (:file "output-impl" :depends-on ("output-proto"))
 137
 138    ;; Class representation.
 139    (:file "classes" :depends-on ("package" "c-types-proto"))
 140    (:file "c-types-class-impl" :depends-on ("classes" "module-proto"))
 141    (:file "class-utilities" :depends-on
 142           ("classes" "codegen-impl" "pset-impl"
 143            "c-types-impl" "c-types-class-impl"))
 144
 145    ;; Class construction.
 146    (:file "class-make-proto" :depends-on ("class-utilities"))
 147    (:file "class-make-impl" :depends-on ("class-make-proto"))
 148
 149    ;; Class layout.
 150    (:file "class-layout-proto" :depends-on ("class-utilities"))
 151    (:file "class-layout-impl" :depends-on
 152           ("class-layout-proto" "method-proto"))
 153
 154    ;; Class finalization.
 155    (:file "class-finalize-proto" :depends-on ("class-utilities"))
 156    (:file "class-finalize-impl" :depends-on ("class-finalize-proto"))
 157
 158    ;; Method generation.
 159    (:file "method-proto" :depends-on ("class-utilities"))
 160    (:file "method-impl" :depends-on ("method-proto"))
 161
 162    ;; Class output.
 163    (:file "class-output" :depends-on
 164           ("classes" "class-layout-proto" "class-layout-impl"
 165            "method-proto" "method-impl" "output-proto"))))
 166
 167 ;;;--------------------------------------------------------------------------
 168 ;;; Testing.
 169
 170 (defmethod perform ((op test-op) (component (eql (find-system "sod"))))
 171   (declare (ignore op component))
 172   (handler-bind (((or warning style-warning)
 173                   (lambda (cond)
 174                     (declare (ignore cond))
 175                     (invoke-restart 'muffle-warning))))
 176     (operate 'test-op "sod-test")))
 177
 178 ;;;----- That's all, folks --------------------------------------------------