X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/4307347660f48628e307f299eb4fac58ba35fd1a..6e92afa75860a55640efa6f3ba39f9624b41e8a8:/src/method-proto.lisp

diff --git a/src/method-proto.lisp b/src/method-proto.lisp
index 629e8a7..e85f62a 100644
--- a/src/method-proto.lisp
+++ b/src/method-proto.lisp
@@ -63,6 +63,15 @@
 
    This protocol is used by `simple-message' subclasses."))
 
+(export 'method-keyword-argument-lists)
+(defgeneric method-keyword-argument-lists (method direct-methods)
+  (:documentation
+   "Returns a list of keyword argument lists to be merged.
+
+   This should return a list suitable for passing to `merge-keyword-lists',
+   i.e., each element should be a pair consisting of a list of `argument'
+   objects and a string describing the source of the argument list."))
+
 (export 'compute-sod-effective-method)
 (defgeneric compute-sod-effective-method (message class)
   (:documentation
@@ -138,15 +147,6 @@
 
    No `me' argument is prepended; any `:ellipsis' is left as it is."))
 
-(export 'sod-message-no-varargs-tail)
-(defgeneric sod-message-no-varargs-tail (message)
-  (:documentation
-   "Return the argument tail for the message with `:ellipsis' substituted.
-
-   As with `sod-message-argument-tail', no `me' argument is prepended.
-   However, an `:ellipsis' is replaced by an argument of type `va_list',
-   named `sod__ap'."))
-
 (export 'sod-method-function-type)
 (defgeneric sod-method-function-type (method)
   (:documentation
@@ -225,6 +225,16 @@
    not included, and neither are more exotic arguments added as part of the
    method delegation protocol."))
 
+(export 'effective-method-live-p)
+(defgeneric effective-method-live-p (method)
+  (:documentation
+   "Returns true if the effective METHOD is live.
+
+   An effective method is `live' if it should actually have proper method entry
+   functions associated with it and stored in the class vtable.  The other
+   possibility is that the method is `dead', in which case the function
+   pointers in the vtable are left null."))
+
 ;;;--------------------------------------------------------------------------
 ;;; Code generation.
 
@@ -280,14 +290,10 @@
 
 ;;; Utilities.
 
-(defvar *keyword-struct-disposition* :unset
+(defvar-unbound *keyword-struct-disposition*
   "The current state of the keyword structure.
 
-   This can be one of four values.
-
-     * `:unset' -- the top-level default, mostly because I can't leave it
-       unbound and write this documentation.  Nothing that matters should see
-       this state.
+   This can be one of three values.
 
      * `:local' -- the structure itself is in a local variable `sod__kw'.
        This is used in the top-level effective method.
@@ -418,14 +424,17 @@
 			   (cons (make-argument *sod-key-pointer*
 						(c-type (* (void :const))))
 				 raw-args))))
-	 (*keyword-struct-disposition* t))
+	 (*keyword-struct-disposition* (if (effective-method-keywords method)
+					   :pointer :null)))
     (codegen-push codegen)
     (ensure-ilayout-var codegen super)
-    (when (and (keyword-message-p message)
-	       (not (eq *keyword-struct-disposition* :null)))
-      (let ((tag (effective-method-keyword-struct-tag method)))
-	(ensure-var codegen *sod-keywords* (c-type (* (struct tag :const)))
-		    *sod-key-pointer*)))
+    (when (keyword-message-p message)
+      (if (eq *keyword-struct-disposition* :null)
+	  (deliver-call codegen :void "SOD__IGNORE" *sod-key-pointer*)
+	  (let ((tag (effective-method-keyword-struct-tag method)))
+	    (ensure-var codegen *sod-keywords*
+			(c-type (* (struct tag :const)))
+			*sod-key-pointer*))))
     (funcall body (codegen-target codegen))
     (codegen-pop-function codegen (temporary-function)
 			  (c-type (fun (lisp return-type)
@@ -489,11 +498,9 @@
    nil."
 
   (let* ((message (codegen-message codegen))
-	 (argument-tail (cond ((varargs-message-p message)
-			       (cons *sod-tmp-ap* basic-tail))
-			      ((keyword-message-p message)
-			       (cons (keyword-struct-pointer) basic-tail))
-			      (t basic-tail))))
+	 (argument-tail (if (varargs-message-p message)
+			    (cons *sod-tmp-ap* basic-tail)
+			    basic-tail)))
     (labels ((next-trampoline (method chain)
 	       (if (or kernel chain)
 		   (make-trampoline codegen (sod-method-class method)
@@ -504,9 +511,13 @@
 	       (if (null chain)
 		   (funcall kernel target)
 		   (let ((trampoline (next-trampoline (car chain)
-						      (cdr chain))))
+						      (cdr chain)))
+			 (tail (if (keyword-message-p message)
+				   (cons (keyword-struct-pointer)
+					 argument-tail)
+				   argument-tail)))
 		     (invoke-method codegen target
-				    (cons trampoline argument-tail)
+				    (cons trampoline tail)
 				    (car chain))))))
       (invoke chain target))))