X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/1ec065092f42b4b0be3dcb833f3f5f24451701fd..54ea6ee880f52c23279bf58262ca245b531d04b0:/src/method-proto.lisp

diff --git a/src/method-proto.lisp b/src/method-proto.lisp
index 1298431..ac662ca 100644
--- a/src/method-proto.lisp
+++ b/src/method-proto.lisp
@@ -95,6 +95,15 @@
 							     direct-methods
 							     state))))
 
+(export 'sod-message-check-methods)
+(defgeneric sod-message-check-methods (message class direct-methods)
+  (:documentation
+   "Check that the applicable methods for a MESSAGE are compatible.
+
+   Specifically, given the DIRECT-METHODS applicable for the message when
+   received by an instance of CLASS, signal errors if the methods don't
+   match the MESSAGE or each other."))
+
 (export 'sod-message-effective-method-class)
 (defgeneric sod-message-effective-method-class (message)
   (:documentation
@@ -126,7 +135,8 @@
    The list needn't be in any particular order."))
 
 (export '(method-entry method-entry-effective-method
-	  method-entry-chain-head method-entry-chain-tail))
+	  method-entry-chain-head method-entry-chain-tail
+	  method-entry-role))
 (defclass method-entry ()
   ((%method :initarg :method :type effective-method
 	    :reader method-entry-effective-method)
@@ -254,6 +264,7 @@
 
    The default method indirects through `method-entry-slot-name-by-role'."))
 
+(export 'method-entry-slot-name-by-role)
 (defgeneric method-entry-slot-name-by-role (entry role name)
   (:documentation "Easier implementation for `method-entry-slot-name'.")
   (:method ((entry method-entry) (role (eql nil)) name) name)
@@ -327,13 +338,10 @@
 
 ;;; Additional instructions.
 
-;; HACK: use gensyms for the `class' and `expr' slots to avoid leaking the
-;; slot names, because `expr' is exported by our package, and `class' is
-;; actually from the `common-lisp' package.
 (definst convert-to-ilayout (stream :export t)
-    (#1=#:class chain-head #2=#:expr)
+    (%class chain-head %expr)
   (format stream "SOD_ILAYOUT(~@<~A, ~_~A, ~_~A~:>)"
-	  #1# (sod-class-nickname chain-head) #2#))
+	  class (sod-class-nickname chain-head) expr))
 
 ;;; Utilities.
 
@@ -470,11 +478,13 @@
 			  ((keyword-message-p message)
 			   (cons (make-argument *sod-key-pointer*
 						(c-type (* (void :const))))
-				 raw-args))))
+				 raw-args))
+			  (t raw-args)))
 	 (*keyword-struct-disposition* (if (effective-method-keywords method)
 					   :pointer :null)))
     (codegen-push codegen)
     (ensure-ilayout-var codegen super)
+    (deliver-call codegen :void "SOD__IGNORE" "sod__obj")
     (when (keyword-message-p message)
       (if (eq *keyword-struct-disposition* :null)
 	  (deliver-call codegen :void "SOD__IGNORE" *sod-key-pointer*)