[clg] / glib / gtype.lisp

;; Common Lisp bindings for GTK+ v2.x
;; Copyright 2000-2005 Espen S. Johnsen <espen@users.sf.net>
;;
;; Permission is hereby granted, free of charge, to any person obtaining
;; a copy of this software and associated documentation files (the
;; "Software"), to deal in the Software without restriction, including
;; without limitation the rights to use, copy, modify, merge, publish,
;; distribute, sublicense, and/or sell copies of the Software, and to
;; permit persons to whom the Software is furnished to do so, subject to
;; the following conditions:
;;
;; The above copyright notice and this permission notice shall be
;; included in all copies or substantial portions of the Software.
;;
;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
;; IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
;; CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

;; $Id: gtype.lisp,v 1.38 2006-02-04 12:15:32 espen Exp $

(in-package "GLIB")

(use-prefix "g")

;; Initialize the glib type system
(defbinding type-init () nil)
(type-init)

(deftype type-number () '(unsigned 32))

(deftype gtype () 'symbol)

(defmethod alien-type ((type (eql 'gtype)) &rest args)
  (declare (ignore type args))
  (alien-type 'type-number))

(defmethod size-of ((type (eql 'gtype)) &rest args)
  (declare (ignore type args))
  (size-of 'type-number))

(defmethod to-alien-form (gtype (type (eql 'gtype)) &rest args)
  (declare (ignore type args))
  `(find-type-number ,gtype t)) 

(defmethod to-alien-function ((type (eql 'gtype)) &rest args)
  (declare (ignore type args))
  #'(lambda (gtype)
      (find-type-number gtype t)))

(defmethod from-alien-form (type-number (type (eql 'gtype)) &rest args)
  (declare (ignore type args))
  `(type-from-number ,type-number)) 

(defmethod from-alien-function ((type (eql 'gtype)) &rest args)
  (declare (ignore type args))
  #'(lambda (type-number)
      (type-from-number type-number)))

(defmethod writer-function ((type (eql 'gtype)) &rest args)
  (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 args))
  (let ((reader (reader-function 'type-number)))
    #'(lambda (location &optional (offset 0))
	(type-from-number (funcall reader location offset)))))


(eval-when (:compile-toplevel :load-toplevel :execute)
  (defclass type-query (struct)
    ((type-number :allocation :alien :type type-number)
     (name :allocation :alien :type string)
     (class-size :allocation :alien :type unsigned-int)
     (instance-size :allocation :alien :type unsigned-int))
    (:metaclass struct-class)))


(defbinding type-query (type) nil
  ((find-type-number type t) type-number)
  ((make-instance 'type-query) type-query :return))

(defun type-instance-size (type)
  (slot-value (type-query type) 'instance-size))

(defun type-class-size (type)
  (slot-value (type-query type) 'class-size))

(defbinding type-class-ref (type) pointer
  ((find-type-number type t) type-number))

(defbinding type-class-unref (type) nil
  ((find-type-number type t) type-number))

(defbinding type-class-peek (type) pointer
  ((find-type-number type t) type-number))


;;;; Mapping between lisp types and glib types

(defvar *registered-types* ())
(defvar *registered-type-aliases* ())
(defvar *lisp-type-to-type-number* (make-hash-table))
(defvar *type-number-to-lisp-type* (make-hash-table))

(defbinding %type-from-name () type-number
  (name string))

(defun type-number-from-glib-name (name &optional (error-p t))
  (let ((type-number (%type-from-name name)))
    (cond
     ((not (zerop type-number)) type-number)
     (error-p (error "Invalid gtype name: ~A" name)))))

(defun register-type (type id)
  (pushnew (cons type id) *registered-types* :key #'car)
  (let ((type-number 
	 (typecase id
	   (string (type-number-from-glib-name id))
	   (symbol (funcall id)))))
       (setf (gethash type *lisp-type-to-type-number*) type-number)
       (setf (gethash type-number *type-number-to-lisp-type*) type)
       type-number))

(defun register-type-alias (type alias)
  (pushnew (cons type alias) *registered-type-aliases* :key #'car)
  (setf 
   (gethash type *lisp-type-to-type-number*)
   (find-type-number alias t)))

(defun reinitialize-all-types ()
  (clrhash *lisp-type-to-type-number*)
  (clrhash *type-number-to-lisp-type*)
  (type-init) ; initialize the glib type system
  (mapc #'(lambda (type) 
	    (register-type (car type) (cdr type)))
	*registered-types*)
  (mapc #'(lambda (type) 
	    (register-type-alias (car type) (cdr type)))
	*registered-type-aliases*))

(pushnew 'reinitialize-all-types 
  #+cmu *after-save-initializations*
  #+sbcl *init-hooks*)

#+cmu
(pushnew 'system::reinitialize-global-table ; we shouldn't have to do this?
 *after-save-initializations*)


(defun find-type-number (type &optional error-p)
  (etypecase type
    (integer type)
    (string (type-number-from-glib-name type error-p))
    (symbol
     (or
      (gethash type *lisp-type-to-type-number*)
      (and error-p (error "Type not registered: ~A" type))))
    (class (find-type-number (class-name type) error-p))))
 
(defun type-from-number (type-number &optional error)
  (multiple-value-bind (type found)
      (gethash type-number *type-number-to-lisp-type*)
    (if found
	type
      (let ((name (find-foreign-type-name type-number)))
	(cond
	 ((and name (not (= (type-number-from-glib-name name nil) type-number)))
	  ;; This is a hack because GdkEvent seems to be registered
	  ;; multiple times
	  (type-from-number (type-number-from-glib-name name)))
	 ((and error name)
	  (error "Type number not registered: ~A (~A)" type-number name))
	 ((and error)
	  (error "Invalid type number: ~A" type-number)))))))

(defbinding (find-foreign-type-name "g_type_name") (type) (copy-of string)
  ((find-type-number type t) type-number))

(defun type-number-of (object)
  (find-type-number (type-of object) t))

(eval-when (:compile-toplevel :load-toplevel :execute)
  (defvar *type-initializers* ())
  (defun %find-types-in-library (pathname prefixes 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) 9)
		 (or 
		  (not prefixes)
		  (some #'(lambda (prefix)
			    (and
			     (> (length symbol) (length prefix))
			     (string= prefix symbol :end2 (length prefix))))
			(mklist prefixes)))
		 (string= "_get_type" symbol :start2 (- (length symbol) 9))
		 (not (member symbol ignore :test #'string=)))
	   collect symbol)
	(process-close process)))))


(defmacro init-types-in-library (filename &key prefix ignore)
  (let ((names (%find-types-in-library filename prefix ignore)))
    `(progn
       ,@(mapcar #'(lambda (name)
		     `(progn
			(defbinding (,(intern name) ,name) () type-number)
			(,(intern name))
			(pushnew ',(intern name) *type-initializers*)))
		 names))))

(defun find-type-init-function (type-number)
  (loop
   for type-init in *type-initializers*
   when (= type-number (funcall type-init))
   do (return type-init)))

(defun register-type-as (type-number)
  (or 
   (find-type-init-function type-number)
   (find-foreign-type-name type-number)
   (error "Unknown type-number: ~A" type-number)))

(defun default-type-init-name (type)
  (find-symbol (format nil "~A_~A_get_type" 
		(package-prefix *package*)
		(substitute #\_ #\- (string-downcase type)))))


(eval-when (:compile-toplevel :load-toplevel :execute)
  (defclass type-info (struct)
    ((class-size :allocation :alien :type (unsigned 16) :initarg :class-size)
     (base-init :allocation :alien :type pointer)
     (base-finalize :allocation :alien :type pointer)
     (class-init :allocation :alien :type pointer)
     (class-finalize :allocation :alien :type pointer)
     (class-data :allocation :alien :type pointer)
     (instance-size :allocation :alien :type (unsigned 16) 
		    :initarg :instance-size)
     (n-preallocs :allocation :alien :type (unsigned 16))
     (instance-init :allocation :alien :type pointer)
     (value-table :allocation :alien :type pointer))
    (:metaclass struct-class)))

(defbinding %type-register-static () type-number
  (parent-type type-number)
  (name string)
  (info type-info)
  (0 unsigned-int))

(defun register-new-type (type parent &optional foreign-name)
  (let ((parent-info (type-query parent)))
    (with-slots ((parent-number type-number) class-size instance-size) parent-info
      (let ((type-number 
	     (%type-register-static 
	      parent-number
	      (or foreign-name (default-alien-type-name type))
	      (make-instance 'type-info :class-size class-size :instance-size instance-size))))
       (setf (gethash type *lisp-type-to-type-number*) type-number)
       (setf (gethash type-number *type-number-to-lisp-type*) type)
       type-number))))


;;;; Metaclass for subclasses of ginstance

(eval-when (:compile-toplevel :load-toplevel :execute)
  (defclass ginstance-class (proxy-class)
    ((gtype :initarg :gtype :initform nil :reader ginstance-class-gtype))))


(defmethod compute-foreign-size ((class ginstance-class))
  (type-instance-size (find-type-number (class-name class))))

(defmethod finalize-inheritance ((class ginstance-class))
  (call-next-method)
  (let* ((class-name (class-name class))
	 (super (most-specific-proxy-superclass class))
	 (gtype (or 
		 (first (ginstance-class-gtype class))
		 (default-alien-type-name class-name)))
	 (type-number
	  (or 
	   (find-type-number class-name)
	   (if (or (symbolp gtype) (type-number-from-glib-name gtype nil))
	       (register-type class-name gtype)
	     (register-new-type class-name (class-name super) gtype)))))
    (unless (eq (class-name super) (supertype type-number))
      (warn "~A is the super type for ~A in the gobject type system."
       (supertype type-number) class-name))))


(defmethod validate-superclass ((class ginstance-class) (super standard-class))
  (subtypep (class-name super) 'ginstance))


;;;; Superclass for wrapping types in the glib type system

(eval-when (:compile-toplevel :load-toplevel :execute)
  (defclass ginstance (proxy)
    (;(class :allocation :alien :type pointer :offset 0)
     )
    (:metaclass proxy-class)
    (:size #.(size-of 'pointer))))

(defun %type-number-of-ginstance (location)
  (let ((class (sap-ref-sap location 0)))
    (sap-ref-32 class 0)))

(defmethod ensure-proxy-instance ((class ginstance-class) location)
  (declare (ignore class))
  (let ((class (labels ((find-known-class (type-number)
		          (or
			   (find-class (type-from-number type-number) nil)
			   (unless (zerop type-number)
			     (find-known-class (type-parent type-number))))))
		 (find-known-class (%type-number-of-ginstance location)))))
    (if class
	(make-instance class :location (reference-foreign class location))
      (error "Object at ~A has an unkown type number: ~A" 
        location (%type-number-of-ginstance location)))))

(defmethod copy-from-alien-form (location (class ginstance-class) &rest args)
  (declare (ignore location class args))
  (error "Doing copy-from-alien on a ref. counted class is most certainly an error, but if it really is what you want you should use REFERENCE-FOREIGN on the returned instance instead."))

(defmethod copy-from-alien-function ((class ginstance-class) &rest args)
  (declare (ignore class args))  
  (error "Doing copy-from-alien on a ref. counted class is most certainly an error, but if it really is what you want you should use REFERENCE-FOREIGN on the returned instance instead."))

(defmethod reader-function ((class ginstance-class) &rest args)
  (declare (ignore args))
  #'(lambda (location &optional (offset 0))
      (ensure-proxy-instance class (sap-ref-sap location offset))))


;;;; Registering fundamental types

(register-type 'nil "void")
(register-type 'pointer "gpointer")
(register-type 'char "gchar")
(register-type 'unsigned-char "guchar")
(register-type 'boolean "gboolean")
(register-type 'int "gint")
(register-type-alias 'integer 'int)
(register-type-alias 'fixnum 'int)
(register-type 'unsigned-int "guint")
(register-type 'long "glong")
(register-type 'unsigned-long "gulong")
(register-type 'single-float "gfloat")
(register-type 'double-float "gdouble")
(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 &optional dependencies)
  (register-type type id)
  (let ((type-number (register-type type id)))
    (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 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))

(defun supertype (type)
  (type-from-number (type-parent type)))

(defbinding %type-interfaces (type) pointer
  ((find-type-number type t) type-number)
  (n-interfaces unsigned-int :out))

(defun type-interfaces (type)
  (multiple-value-bind (array length) (%type-interfaces type)
    (unwind-protect
	(map-c-vector 'list #'identity array 'type-number length)
      (deallocate-memory array))))

(defun implements (type)
  (mapcar #'type-from-number (type-interfaces type)))

(defun type-hierarchy (type)
  (let ((type-number (find-type-number type t)))
    (unless (= type-number 0)
      (cons type-number (type-hierarchy (type-parent type-number))))))
  
(defbinding (type-is-p "g_type_is_a") (type super) boolean
  ((find-type-number type) type-number)
  ((find-type-number super) type-number))

(defbinding %type-children () pointer
  (type-number type-number)
  (num-children unsigned-int :out))

(defun map-subtypes (function type &optional prefix)
  (let ((type-number (find-type-number type t)))
    (multiple-value-bind (array length) (%type-children type-number)
      (unwind-protect
	  (map-c-vector
	   'nil
	   #'(lambda (type-number)
	       (when (or
		      (not prefix)
		      (string-prefix-p prefix (find-foreign-type-name type-number)))
		 (funcall function type-number))
	       (map-subtypes function type-number prefix))
	   array 'type-number length)
	(deallocate-memory array)))))

(defun find-types (prefix)
  (let ((type-list nil))
    (maphash
     #'(lambda (type-number expander)
	 (declare (ignore expander))
	 (map-subtypes
	  #'(lambda (type-number)
	      (pushnew type-number type-list))
	  type-number prefix))
     *derivable-type-info*)
    type-list))

(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
	   ((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)))


(defun expand-type-definitions (prefix &optional args)
  (flet ((type-options (type-number)
	   (let ((name (find-foreign-type-name type-number)))
	     (cdr (assoc name args :test #'string=)))))

   (let ((type-list
	  (delete-if
	   #'(lambda (type-number)
	       (let ((name (find-foreign-type-name type-number)))
		 (or
		  (getf (type-options type-number) :ignore)
		  (find-if
		   #'(lambda (options)
		       (and
			(string-prefix-p (first options) name)
			(getf (cdr options) :ignore-prefix)
			(not (some
			      #'(lambda (exception)
				  (string= name exception))
			      (getf (cdr options) :except)))))
		   args))))
	   (find-types prefix))))

     (dolist (type-number type-list)
       (let ((name (find-foreign-type-name type-number)))
	 (register-type
	  (getf (type-options type-number) :type (default-type-name name))
	  (register-type-as type-number))))

     (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"))
Commit	Line	Data
112ac1d3	1	;; Common Lisp bindings for GTK+ v2.x
112ac1d3	2	;; Copyright 2000-2005 Espen S. Johnsen <espen@users.sf.net>
560af5c5	3	;;
112ac1d3	4	;; Permission is hereby granted, free of charge, to any person obtaining
	5	;; a copy of this software and associated documentation files (the
	6	;; "Software"), to deal in the Software without restriction, including
	7	;; without limitation the rights to use, copy, modify, merge, publish,
	8	;; distribute, sublicense, and/or sell copies of the Software, and to
	9	;; permit persons to whom the Software is furnished to do so, subject to
	10	;; the following conditions:
560af5c5	11	;;
112ac1d3	12	;; The above copyright notice and this permission notice shall be
112ac1d3	13	;; included in all copies or substantial portions of the Software.
560af5c5	14	;;
112ac1d3	15	;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
	16	;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
	17	;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
	18	;; IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
	19	;; CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
	20	;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
	21	;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
	22
09f6e237	23	;; $Id: gtype.lisp,v 1.38 2006-02-04 12:15:32 espen Exp $
560af5c5	24
	25	(in-package "GLIB")
	26
	27	(use-prefix "g")
	28
e0349dbd	29	;; Initialize the glib type system
	30	(defbinding type-init () nil)
	31	(type-init)
560af5c5	32
	33	(deftype type-number () '(unsigned 32))
	34
e74cfcab	35	(deftype gtype () 'symbol)
	36
	37	(defmethod alien-type ((type (eql 'gtype)) &rest args)
	38	(declare (ignore type args))
	39	(alien-type 'type-number))
	40
	41	(defmethod size-of ((type (eql 'gtype)) &rest args)
	42	(declare (ignore type args))
	43	(size-of 'type-number))
	44
	45	(defmethod to-alien-form (gtype (type (eql 'gtype)) &rest args)
	46	(declare (ignore type args))
	47	`(find-type-number ,gtype t))
	48
	49	(defmethod to-alien-function ((type (eql 'gtype)) &rest args)
	50	(declare (ignore type args))
	51	#'(lambda (gtype)
	52	(find-type-number gtype t)))
	53
	54	(defmethod from-alien-form (type-number (type (eql 'gtype)) &rest args)
	55	(declare (ignore type args))
63752532	56	`(type-from-number ,type-number))
e74cfcab	57
	58	(defmethod from-alien-function ((type (eql 'gtype)) &rest args)
	59	(declare (ignore type args))
	60	#'(lambda (type-number)
63752532	61	(type-from-number type-number)))
e74cfcab	62
e74cfcab	63	(defmethod writer-function ((type (eql 'gtype)) &rest args)
73572c12	64	(declare (ignore type args))
e74cfcab	65	(let ((writer (writer-function 'type-number)))
	66	#'(lambda (gtype location &optional (offset 0))
	67	(funcall writer (find-type-number gtype t) location offset))))
	68
	69	(defmethod reader-function ((type (eql 'gtype)) &rest args)
73572c12	70	(declare (ignore type args))
e74cfcab	71	(let ((reader (reader-function 'type-number)))
e74cfcab	72	#'(lambda (location &optional (offset 0))
63752532	73	(type-from-number (funcall reader location offset)))))
e74cfcab	74
e74cfcab	75
93aa67db	76	(eval-when (:compile-toplevel :load-toplevel :execute)
d4b21b08	77	(defclass type-query (struct)
93aa67db	78	((type-number :allocation :alien :type type-number)
	79	(name :allocation :alien :type string)
	80	(class-size :allocation :alien :type unsigned-int)
	81	(instance-size :allocation :alien :type unsigned-int))
d168bafd	82	(:metaclass struct-class)))
93aa67db	83
93aa67db	84
e74cfcab	85	(defbinding type-query (type) nil
	86	((find-type-number type t) type-number)
	87	((make-instance 'type-query) type-query :return))
93aa67db	88
	89	(defun type-instance-size (type)
	90	(slot-value (type-query type) 'instance-size))
	91
	92	(defun type-class-size (type)
	93	(slot-value (type-query type) 'class-size))
560af5c5	94
d4b21b08	95	(defbinding type-class-ref (type) pointer
d4b21b08	96	((find-type-number type t) type-number))
560af5c5	97
d4b21b08	98	(defbinding type-class-unref (type) nil
d4b21b08	99	((find-type-number type t) type-number))
93aa67db	100
d4b21b08	101	(defbinding type-class-peek (type) pointer
d4b21b08	102	((find-type-number type t) type-number))
93aa67db	103
560af5c5	104
d4b21b08	105	;;;; Mapping between lisp types and glib types
560af5c5	106
dfa4f314	107	(defvar registered-types ())
	108	(defvar registered-type-aliases ())
	109	(defvar lisp-type-to-type-number (make-hash-table))
	110	(defvar type-number-to-lisp-type (make-hash-table))
d4b21b08	111
	112	(defbinding %type-from-name () type-number
	113	(name string))
	114
dfa4f314	115	(defun type-number-from-glib-name (name &optional (error-p t))
	116	(let ((type-number (%type-from-name name)))
	117	(cond
	118	((not (zerop type-number)) type-number)
	119	(error-p (error "Invalid gtype name: ~A" name)))))
	120
	121	(defun register-type (type id)
	122	(pushnew (cons type id) registered-types :key #'car)
	123	(let ((type-number
	124	(typecase id
	125	(string (type-number-from-glib-name id))
	126	(symbol (funcall id)))))
	127	(setf (gethash type lisp-type-to-type-number) type-number)
	128	(setf (gethash type-number type-number-to-lisp-type) type)
	129	type-number))
	130
	131	(defun register-type-alias (type alias)
	132	(pushnew (cons type alias) registered-type-aliases :key #'car)
	133	(setf
	134	(gethash type lisp-type-to-type-number)
	135	(find-type-number alias t)))
	136
	137	(defun reinitialize-all-types ()
	138	(clrhash lisp-type-to-type-number)
	139	(clrhash type-number-to-lisp-type)
	140	(type-init) ; initialize the glib type system
	141	(mapc #'(lambda (type)
	142	(register-type (car type) (cdr type)))
	143	registered-types)
	144	(mapc #'(lambda (type)
	145	(register-type-alias (car type) (cdr type)))
	146	registered-type-aliases))
	147
	148	(pushnew 'reinitialize-all-types
	149	#+cmu after-save-initializations
	150	#+sbcl init-hooks)
	151
	152	#+cmu
	153	(pushnew 'system::reinitialize-global-table ; we shouldn't have to do this?
	154	after-save-initializations)
	155
	156
	157	(defun find-type-number (type &optional error-p)
560af5c5	158	(etypecase type
560af5c5	159	(integer type)
dfa4f314	160	(string (type-number-from-glib-name type error-p))
d4b21b08	161	(symbol
dfa4f314	162	(or
	163	(gethash type lisp-type-to-type-number)
	164	(and error-p (error "Type not registered: ~A" type))))
	165	(class (find-type-number (class-name type) error-p))))
560af5c5	166
4de90d10	167	(defun type-from-number (type-number &optional error)
4de90d10	168	(multiple-value-bind (type found)
dfa4f314	169	(gethash type-number type-number-to-lisp-type)
e7dbc3bf	170	(if found
e7dbc3bf	171	type
dfa4f314	172	(let ((name (find-foreign-type-name type-number)))
e7dbc3bf	173	(cond
cd859052	174	((and name (not (= (type-number-from-glib-name name nil) type-number)))
e7dbc3bf	175	;; This is a hack because GdkEvent seems to be registered
	176	;; multiple times
	177	(type-from-number (type-number-from-glib-name name)))
	178	((and error name)
	179	(error "Type number not registered: ~A (~A)" type-number name))
	180	((and error)
	181	(error "Invalid type number: ~A" type-number)))))))
560af5c5	182
dfa4f314	183	(defbinding (find-foreign-type-name "g_type_name") (type) (copy-of string)
d4b21b08	184	((find-type-number type t) type-number))
	185
	186	(defun type-number-of (object)
	187	(find-type-number (type-of object) t))
	188
21299acf	189	(eval-when (:compile-toplevel :load-toplevel :execute)
dfa4f314	190	(defvar type-initializers ())
dfa4f314	191	(defun %find-types-in-library (pathname prefixes ignore)
21299acf	192	(let ((process (run-program
	193	"/usr/bin/nm" (list "--defined-only" "-D" (namestring (truename pathname)))
	194	:output :stream :wait nil)))
	195	(unwind-protect
	196	(loop
	197	as symbol = (let ((line (read-line (process-output process) nil)))
	198	(when line (subseq line 11)))
	199	while symbol
	200	when (and
dfa4f314	201	(> (length symbol) 9)
	202	(or
	203	(not prefixes)
	204	(some #'(lambda (prefix)
	205	(and
	206	(> (length symbol) (length prefix))
	207	(string= prefix symbol :end2 (length prefix))))
	208	(mklist prefixes)))
	209	(string= "_get_type" symbol :start2 (- (length symbol) 9))
21299acf	210	(not (member symbol ignore :test #'string=)))
	211	collect symbol)
	212	(process-close process)))))
	213
560af5c5	214
735a29da	215	(defmacro init-types-in-library (filename &key prefix ignore)
21299acf	216	(let ((names (%find-types-in-library filename prefix ignore)))
	217	`(progn
	218	,@(mapcar #'(lambda (name)
	219	`(progn
	220	(defbinding (,(intern name) ,name) () type-number)
dfa4f314	221	(,(intern name))
dfa4f314	222	(pushnew ',(intern name) type-initializers)))
21299acf	223	names))))
21299acf	224
dfa4f314	225	(defun find-type-init-function (type-number)
735a29da	226	(loop
	227	for type-init in type-initializers
	228	when (= type-number (funcall type-init))
	229	do (return type-init)))
	230
	231	(defun register-type-as (type-number)
	232	(or
	233	(find-type-init-function type-number)
	234	(find-foreign-type-name type-number)
	235	(error "Unknown type-number: ~A" type-number)))
dfa4f314	236
	237	(defun default-type-init-name (type)
	238	(find-symbol (format nil "~A_~A_get_type"
	239	(package-prefix package)
	240	(substitute #\_ #\- (string-downcase type)))))
	241
21299acf	242
15cbdefc	243	(eval-when (:compile-toplevel :load-toplevel :execute)
	244	(defclass type-info (struct)
	245	((class-size :allocation :alien :type (unsigned 16) :initarg :class-size)
	246	(base-init :allocation :alien :type pointer)
	247	(base-finalize :allocation :alien :type pointer)
	248	(class-init :allocation :alien :type pointer)
	249	(class-finalize :allocation :alien :type pointer)
	250	(class-data :allocation :alien :type pointer)
	251	(instance-size :allocation :alien :type (unsigned 16)
	252	:initarg :instance-size)
	253	(n-preallocs :allocation :alien :type (unsigned 16))
	254	(instance-init :allocation :alien :type pointer)
	255	(value-table :allocation :alien :type pointer))
	256	(:metaclass struct-class)))
	257
	258	(defbinding %type-register-static () type-number
e7dbc3bf	259	(parent-type type-number)
15cbdefc	260	(name string)
	261	(info type-info)
	262	(0 unsigned-int))
	263
92a07e63	264	(defun register-new-type (type parent &optional foreign-name)
15cbdefc	265	(let ((parent-info (type-query parent)))
	266	(with-slots ((parent-number type-number) class-size instance-size) parent-info
	267	(let ((type-number
	268	(%type-register-static
	269	parent-number
92a07e63	270	(or foreign-name (default-alien-type-name type))
15cbdefc	271	(make-instance 'type-info :class-size class-size :instance-size instance-size))))
	272	(setf (gethash type lisp-type-to-type-number) type-number)
	273	(setf (gethash type-number type-number-to-lisp-type) type)
	274	type-number))))
	275
	276
21299acf	277
	278	;;;; Metaclass for subclasses of ginstance
	279
	280	(eval-when (:compile-toplevel :load-toplevel :execute)
	281	(defclass ginstance-class (proxy-class)
6497583a	282	((gtype :initarg :gtype :initform nil :reader ginstance-class-gtype))))
cd859052	283
cd859052	284
09f6e237	285	(defmethod compute-foreign-size ((class ginstance-class))
	286	(type-instance-size (find-type-number (class-name class))))
	287
cd859052	288	(defmethod finalize-inheritance ((class ginstance-class))
	289	(call-next-method)
	290	(let* ((class-name (class-name class))
92a07e63	291	(super (most-specific-proxy-superclass class))
6497583a	292	(gtype (or
	293	(first (ginstance-class-gtype class))
	294	(default-alien-type-name class-name)))
cd859052	295	(type-number
dfa4f314	296	(or
dfa4f314	297	(find-type-number class-name)
6497583a	298	(if (or (symbolp gtype) (type-number-from-glib-name gtype nil))
	299	(register-type class-name gtype)
	300	(register-new-type class-name (class-name super) gtype)))))
92a07e63	301	(unless (eq (class-name super) (supertype type-number))
92a07e63	302	(warn "~A is the super type for ~A in the gobject type system."
09f6e237	303	(supertype type-number) class-name))))
4de90d10	304
4de90d10	305
21299acf	306	(defmethod validate-superclass ((class ginstance-class) (super standard-class))
	307	(subtypep (class-name super) 'ginstance))
	308
560af5c5	309
93aa67db	310	;;;; Superclass for wrapping types in the glib type system
560af5c5	311
560af5c5	312	(eval-when (:compile-toplevel :load-toplevel :execute)
93aa67db	313	(defclass ginstance (proxy)
09f6e237	314	(;(class :allocation :alien :type pointer :offset 0)
	315	)
	316	(:metaclass proxy-class)
	317	(:size #.(size-of 'pointer))))
560af5c5	318
895c9a9e	319	(defun %type-number-of-ginstance (location)
93aa67db	320	(let ((class (sap-ref-sap location 0)))
895c9a9e	321	(sap-ref-32 class 0)))
560af5c5	322
d168bafd	323	(defmethod ensure-proxy-instance ((class ginstance-class) location)
d168bafd	324	(declare (ignore class))
895c9a9e	325	(let ((class (labels ((find-known-class (type-number)
	326	(or
	327	(find-class (type-from-number type-number) nil)
	328	(unless (zerop type-number)
	329	(find-known-class (type-parent type-number))))))
	330	(find-known-class (%type-number-of-ginstance location)))))
d168bafd	331	(if class
d168bafd	332	(make-instance class :location (reference-foreign class location))
895c9a9e	333	(error "Object at ~A has an unkown type number: ~A"
895c9a9e	334	location (%type-number-of-ginstance location)))))
560af5c5	335
9ca5565a	336	(defmethod copy-from-alien-form (location (class ginstance-class) &rest args)
	337	(declare (ignore location class args))
	338	(error "Doing copy-from-alien on a ref. counted class is most certainly an error, but if it really is what you want you should use REFERENCE-FOREIGN on the returned instance instead."))
	339
	340	(defmethod copy-from-alien-function ((class ginstance-class) &rest args)
	341	(declare (ignore class args))
	342	(error "Doing copy-from-alien on a ref. counted class is most certainly an error, but if it really is what you want you should use REFERENCE-FOREIGN on the returned instance instead."))
	343
	344	(defmethod reader-function ((class ginstance-class) &rest args)
	345	(declare (ignore args))
	346	#'(lambda (location &optional (offset 0))
	347	(ensure-proxy-instance class (sap-ref-sap location offset))))
	348
560af5c5	349
d4b21b08	350	;;;; Registering fundamental types
d4b21b08	351
63752532	352	(register-type 'nil "void")
d4b21b08	353	(register-type 'pointer "gpointer")
	354	(register-type 'char "gchar")
	355	(register-type 'unsigned-char "guchar")
	356	(register-type 'boolean "gboolean")
d4b21b08	357	(register-type 'int "gint")
73383a9e	358	(register-type-alias 'integer 'int)
dfa4f314	359	(register-type-alias 'fixnum 'int)
d4b21b08	360	(register-type 'unsigned-int "guint")
	361	(register-type 'long "glong")
	362	(register-type 'unsigned-long "gulong")
	363	(register-type 'single-float "gfloat")
	364	(register-type 'double-float "gdouble")
a8cb9408	365	(register-type 'pathname "gchararray")
4de90d10	366	(register-type 'string "gchararray")
d4b21b08	367
d4b21b08	368
62f12808	369	;;;; Introspection of type information
d4b21b08	370
e77e7713	371	(defvar derivable-type-info (make-hash-table))
d4b21b08	372
62f12808	373	(defun register-derivable-type (type id expander &optional dependencies)
d4b21b08	374	(register-type type id)
e77e7713	375	(let ((type-number (register-type type id)))
62f12808	376	(setf
	377	(gethash type-number derivable-type-info)
	378	(list expander dependencies))))
d4b21b08	379
4de90d10	380	(defun find-type-info (type)
4de90d10	381	(dolist (super (cdr (type-hierarchy type)))
e77e7713	382	(let ((info (gethash super derivable-type-info)))
4de90d10	383	(return-if info))))
4de90d10	384
62f12808	385	(defun expand-type-definition (type forward-p options)
	386	(let ((expander (first (find-type-info type))))
	387	(funcall expander (find-type-number type t) forward-p options)))
d4b21b08	388
d4b21b08	389	(defbinding type-parent (type) type-number
	390	((find-type-number type t) type-number))
	391
	392	(defun supertype (type)
	393	(type-from-number (type-parent type)))
	394
337933d8	395	(defbinding %type-interfaces (type) pointer
	396	((find-type-number type t) type-number)
	397	(n-interfaces unsigned-int :out))
	398
	399	(defun type-interfaces (type)
	400	(multiple-value-bind (array length) (%type-interfaces type)
	401	(unwind-protect
d168bafd	402	(map-c-vector 'list #'identity array 'type-number length)
337933d8	403	(deallocate-memory array))))
	404
	405	(defun implements (type)
	406	(mapcar #'type-from-number (type-interfaces type)))
	407
d4b21b08	408	(defun type-hierarchy (type)
	409	(let ((type-number (find-type-number type t)))
	410	(unless (= type-number 0)
	411	(cons type-number (type-hierarchy (type-parent type-number))))))
	412
	413	(defbinding (type-is-p "g_type_is_a") (type super) boolean
	414	((find-type-number type) type-number)
	415	((find-type-number super) type-number))
	416
	417	(defbinding %type-children () pointer
	418	(type-number type-number)
	419	(num-children unsigned-int :out))
	420
	421	(defun map-subtypes (function type &optional prefix)
	422	(let ((type-number (find-type-number type t)))
	423	(multiple-value-bind (array length) (%type-children type-number)
	424	(unwind-protect
d168bafd	425	(map-c-vector
d4b21b08	426	'nil
	427	#'(lambda (type-number)
	428	(when (or
	429	(not prefix)
dfa4f314	430	(string-prefix-p prefix (find-foreign-type-name type-number)))
d4b21b08	431	(funcall function type-number))
	432	(map-subtypes function type-number prefix))
	433	array 'type-number length)
	434	(deallocate-memory array)))))
	435
	436	(defun find-types (prefix)
	437	(let ((type-list nil))
e77e7713	438	(maphash
	439	#'(lambda (type-number expander)
	440	(declare (ignore expander))
	441	(map-subtypes
	442	#'(lambda (type-number)
	443	(pushnew type-number type-list))
	444	type-number prefix))
	445	derivable-type-info)
d4b21b08	446	type-list))
d4b21b08	447
62f12808	448	(defun find-type-dependencies (type)
	449	(let ((list-dependencies (second (find-type-info type))))
	450	(when list-dependencies
	451	(funcall list-dependencies (find-type-number type t)))))
	452
	453	(defun %sort-types-topologicaly (types)
21299acf	454	(let ((partial-sorted
	455	(sort
	456	(mapcar
	457	#'(lambda (type)
	458	(cons type (remove-if #'(lambda (dep)
	459	(not (find dep types)))
	460	(find-type-dependencies type))))
	461	types)
	462	#'(lambda (type1 type2) (type-is-p type2 type1)) :key #'car))
62f12808	463	(sorted ()))
	464
	465	(loop
21299acf	466	as tmp = partial-sorted then (or (rest tmp) partial-sorted)
62f12808	467	while tmp
62f12808	468	do (destructuring-bind (type . dependencies) (first tmp)
d4b21b08	469	(cond
62f12808	470	((every #'(lambda (dep)
21299acf	471	(assoc dep sorted))
62f12808	472	dependencies)
21299acf	473	(push (cons type nil) sorted) ; no forward definition needed
21299acf	474	(setq partial-sorted (delete type partial-sorted :key #'first)))
62f12808	475	((some #'(lambda (dep)
	476	(find type (find-type-dependencies dep)))
	477	dependencies)
21299acf	478	(push (cons type t) sorted) ; forward definition needed
	479	(setq partial-sorted (delete type partial-sorted :key #'first))))))
	480	(nreverse sorted)))
d4b21b08	481
	482
	483	(defun expand-type-definitions (prefix &optional args)
dfa4f314	484	(flet ((type-options (type-number)
dfa4f314	485	(let ((name (find-foreign-type-name type-number)))
4de90d10	486	(cdr (assoc name args :test #'string=)))))
d4b21b08	487
e77e7713	488	(let ((type-list
	489	(delete-if
	490	#'(lambda (type-number)
dfa4f314	491	(let ((name (find-foreign-type-name type-number)))
e77e7713	492	(or
	493	(getf (type-options type-number) :ignore)
	494	(find-if
	495	#'(lambda (options)
	496	(and
	497	(string-prefix-p (first options) name)
80a09c29	498	(getf (cdr options) :ignore-prefix)
	499	(not (some
	500	#'(lambda (exception)
	501	(string= name exception))
	502	(getf (cdr options) :except)))))
e77e7713	503	args))))
e77e7713	504	(find-types prefix))))
21299acf	505
e77e7713	506	(dolist (type-number type-list)
dfa4f314	507	(let ((name (find-foreign-type-name type-number)))
e77e7713	508	(register-type
e77e7713	509	(getf (type-options type-number) :type (default-type-name name))
735a29da	510	(register-type-as type-number))))
21299acf	511
21299acf	512	(let ((sorted-type-list (%sort-types-topologicaly type-list)))
62f12808	513	`(progn
62f12808	514	,@(mapcar
21299acf	515	#'(lambda (pair)
	516	(destructuring-bind (type . forward-p) pair
	517	(expand-type-definition type forward-p (type-options type))))
	518	sorted-type-list)
62f12808	519	,@(mapcar
21299acf	520	#'(lambda (pair)
	521	(destructuring-bind (type . forward-p) pair
	522	(when forward-p
	523	(expand-type-definition type nil (type-options type)))))
62f12808	524	sorted-type-list))))))
e77e7713	525
d4b21b08	526	(defmacro define-types-by-introspection (prefix &rest args)
4de90d10	527	(expand-type-definitions prefix args))
21299acf	528
	529
	530	;;;; Initialize all non static types in GObject
	531
	532	(init-types-in-library #.(concatenate 'string (pkg-config:pkg-variable "glib-2.0" "libdir") "/libgobject-2.0.so"))