chiark / gitweb /
Fixed previous broken change to DEFBINDING
[clg] / glib / gtype.lisp
index 165c06e36faa49c09984c91b4af0b2e935a7c93d..9006d32f4c570649e0afe37e324f2cb37ef252be 100644 (file)
@@ -15,7 +15,7 @@
 ;; License along with this library; if not, write to the Free Software
 ;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
-;; $Id: gtype.lisp,v 1.23 2005-01-12 13:33:06 espen Exp $
+;; $Id: gtype.lisp,v 1.26 2005-02-10 00:20:02 espen Exp $
 
 (in-package "GLIB")
 
@@ -56,13 +56,13 @@ (defmethod from-alien-function ((type (eql 'gtype)) &rest args)
       (type-from-number type-number)))
 
 (defmethod writer-function ((type (eql 'gtype)) &rest args)
-  (declare (ignore type))
+  (declare (ignore type args))
   (let ((writer (writer-function 'type-number)))
     #'(lambda (gtype location &optional (offset 0))
        (funcall writer (find-type-number gtype t) location offset))))
 
 (defmethod reader-function ((type (eql 'gtype)) &rest args)
-  (declare (ignore type))
+  (declare (ignore type args))
   (let ((reader (reader-function 'type-number)))
     #'(lambda (location &optional (offset 0))
        (type-from-number (funcall reader location offset)))))
@@ -131,7 +131,7 @@ (defun find-type-number (type &optional error)
        (or
        type-number
        (and error (error "Type not registered: ~A" type)))))
-    (pcl::class (find-type-number (class-name type) error))))
+    (class (find-type-number (class-name type) error))))
  
 (defun type-from-number (type-number &optional error)
   (multiple-value-bind (type found)
@@ -153,36 +153,60 @@ (defbinding (find-type-name "g_type_name") (type) (copy-of string)
 (defun type-number-of (object)
   (find-type-number (type-of object) t))
 
-(defun init-type (init)
-  (mapc
-   #'(lambda (fname)
-       (funcall (mkbinding fname 'type-number)))
-   (mklist init)))
-
-(defun %init-types-in-library (pathname prefix ignore)
-  (let ((process (ext:run-program
-                 "nm" (list "-D" (namestring (truename pathname)))
-                 :output :stream :wait nil))
-       (fnames ()))
-    (labels ((read-symbols ()
-              (let ((line (read-line (ext:process-output process) nil)))
-                (when line
-                  (let ((symbol (subseq line 11)))
-                    (when (and
-                           (> (length symbol) (length prefix))
-                           (string= prefix symbol :end2 (length prefix))
-                           (search "_get_type" symbol)
-                           (not (member symbol ignore :test #'string=)))
-                      (push symbol fnames)))
-                  (read-symbols)))))
-      (read-symbols)
-      (ext:process-close process)
-      `(init-type ',fnames))))
+(eval-when (:compile-toplevel :load-toplevel :execute)
+  (defun %find-types-in-library (pathname prefix ignore)
+    (let ((process (run-program
+                   "/usr/bin/nm" (list "--defined-only" "-D" (namestring (truename pathname)))
+                   :output :stream :wait nil)))
+      (unwind-protect
+         (loop 
+          as symbol = (let ((line (read-line (process-output process) nil)))
+                        (when line (subseq line 11)))                    
+          while symbol
+          when (and
+                (> (length symbol) (length prefix))
+                (string= prefix symbol :end2 (length prefix))
+                (search "_get_type" symbol)
+                (not (member symbol ignore :test #'string=)))
+          collect symbol)
+       (process-close process)))))
+
 
 (defmacro init-types-in-library (filename &key (prefix "") ignore)
-  (%init-types-in-library filename prefix ignore))
+  (let ((names (%find-types-in-library filename prefix ignore)))
+    `(progn
+       ,@(mapcar #'(lambda (name)
+                    `(progn
+                       (defbinding (,(intern name) ,name) () type-number)
+                       (,(intern name))))
+                names))))
+
+
+
+;;;; Metaclass for subclasses of ginstance
+
+(eval-when (:compile-toplevel :load-toplevel :execute)
+  (defclass ginstance-class (proxy-class)
+    ()))
+
+
+(defmethod shared-initialize ((class ginstance-class) names
+                             &rest initargs &key name alien-name)
+  (declare (ignore names))
+  (let* ((class-name (or name (class-name class)))
+        (type-number
+         (find-type-number
+          (or (first alien-name) (default-alien-type-name class-name)) t)))
+    (register-type class-name type-number)
+    (if (getf initargs :size)
+       (call-next-method)
+      (let ((size (type-instance-size type-number)))
+       (apply #'call-next-method class names :size (list size) initargs)))))
 
 
+(defmethod validate-superclass ((class ginstance-class) (super standard-class))
+  (subtypep (class-name super) 'ginstance))
+
 
 ;;;; Superclass for wrapping types in the glib type system
 
@@ -217,31 +241,6 @@ (defmethod reader-function ((class ginstance-class) &rest args)
       (ensure-proxy-instance class (sap-ref-sap location offset))))
 
 
-;;;; Metaclass for subclasses of ginstance
-
-(eval-when (:compile-toplevel :load-toplevel :execute)
-  (defclass ginstance-class (proxy-class)
-    ()))
-
-
-(defmethod shared-initialize ((class ginstance-class) names
-                             &rest initargs &key name alien-name)
-  (declare (ignore names))
-  (let* ((class-name (or name (class-name class)))
-        (type-number
-         (find-type-number
-          (or (first alien-name) (default-alien-type-name class-name)) t)))
-    (register-type class-name type-number)
-    (if (getf initargs :size)
-       (call-next-method)
-      (let ((size (type-instance-size type-number)))
-       (apply #'call-next-method class names :size (list size) initargs)))))
-
-
-(defmethod validate-superclass ((class ginstance-class) (super standard-class))
-  (subtypep (class-name super) 'ginstance))
-
-
 ;;;; Registering fundamental types
 
 (register-type 'nil "void")
@@ -260,23 +259,25 @@ (register-type 'pathname "gchararray")
 (register-type 'string "gchararray")
 
 
-;;;; 
+;;;; Introspection of type information
 
 (defvar *derivable-type-info* (make-hash-table))
 
-(defun register-derivable-type (type id expander)
+(defun register-derivable-type (type id expander &optional dependencies)
   (register-type type id)
   (let ((type-number (register-type type id)))
-    (setf (gethash type-number *derivable-type-info*) expander)))
+    (setf 
+     (gethash type-number *derivable-type-info*) 
+     (list expander dependencies))))
 
 (defun find-type-info (type)
   (dolist (super (cdr (type-hierarchy type)))
     (let ((info (gethash super *derivable-type-info*)))
       (return-if info))))
 
-(defun expand-type-definition (type options)
-  (let ((expander (find-type-info type)))
-    (funcall expander (find-type-number type t) options)))
+(defun expand-type-definition (type forward-p options)
+  (let ((expander (first (find-type-info type))))
+    (funcall expander (find-type-number type t) forward-p options)))
 
 (defbinding type-parent (type) type-number
   ((find-type-number type t) type-number))
@@ -337,23 +338,38 @@ (defun find-types (prefix)
      *derivable-type-info*)
     type-list))
 
-(defun %sort-types-topologicaly (unsorted)
-  (let ((sorted ()))
-    (loop while unsorted do
-      (dolist (type unsorted)
-       (let ((dependencies
-              (append (rest (type-hierarchy type)) (type-interfaces type))))
+(defun find-type-dependencies (type)
+  (let ((list-dependencies (second (find-type-info type))))
+    (when list-dependencies
+      (funcall list-dependencies (find-type-number type t)))))
+
+(defun %sort-types-topologicaly (types)
+  (let ((partial-sorted
+        (sort
+         (mapcar 
+          #'(lambda (type)
+              (cons type (remove-if #'(lambda (dep)
+                                        (not (find dep types)))
+                                    (find-type-dependencies type))))
+          types)
+         #'(lambda (type1 type2) (type-is-p type2 type1)) :key #'car))
+       (sorted ()))
+
+    (loop
+     as tmp = partial-sorted then (or (rest tmp) partial-sorted)
+     while tmp
+     do (destructuring-bind (type . dependencies) (first tmp)
          (cond
-          ((null dependencies)
-           (push type sorted)
-           (setq unsorted (delete type unsorted)))
-          (t
-           (unless (dolist (dep dependencies)
-                     (when (find type (rest (type-hierarchy dep)))
-                       (error "Cyclic type dependencie"))
-                     (return-if (find dep unsorted)))
-             (push type sorted)
-             (setq unsorted (delete type unsorted))))))))
+          ((every #'(lambda (dep)
+                      (assoc dep sorted))
+                  dependencies)
+           (push (cons type nil) sorted) ; no forward definition needed
+           (setq partial-sorted (delete type partial-sorted :key #'first)))
+          ((some #'(lambda (dep)
+                     (find type (find-type-dependencies dep)))
+                 dependencies)
+           (push (cons type t) sorted) ; forward definition needed
+           (setq partial-sorted (delete type partial-sorted :key #'first))))))
     (nreverse sorted)))
 
 
@@ -379,21 +395,31 @@ (defun expand-type-definitions (prefix &optional args)
                              (getf (cdr options) :except)))))
                   args))))
           (find-types prefix))))
-             
+
      (dolist (type-number type-list)
        (let ((name (find-type-name type-number)))
         (register-type
          (getf (type-options type-number) :type (default-type-name name))
          type-number)))
-    
-     `(progn
-       ,@(mapcar
-          #'(lambda (type)
-              (expand-type-definition type (type-options type)))
-          (%sort-types-topologicaly type-list))))))
+
+     (let ((sorted-type-list (%sort-types-topologicaly type-list)))
+       `(progn
+         ,@(mapcar
+            #'(lambda (pair)
+                (destructuring-bind (type . forward-p) pair
+                  (expand-type-definition type forward-p (type-options type))))
+            sorted-type-list)
+         ,@(mapcar
+            #'(lambda (pair)
+                (destructuring-bind (type . forward-p) pair
+                  (when forward-p
+                    (expand-type-definition type nil (type-options type)))))
+            sorted-type-list))))))
 
 (defmacro define-types-by-introspection (prefix &rest args)
   (expand-type-definitions prefix args))
 
 
+;;;; Initialize all non static types in GObject
 
+(init-types-in-library #.(concatenate 'string (pkg-config:pkg-variable "glib-2.0" "libdir") "/libgobject-2.0.so"))