src/: Factor out common machinery in `check-method-type' methods.

[sod] / doc / meta.tex

diff --git a/doc/meta.tex b/doc/meta.tex
index f412e00..280a21c 100644 (file)
--- a/doc/meta.tex
+++ b/doc/meta.tex
@@ -54,25 +54,11 @@
      \dhead{gf}{setf (sod-class-methods @<class>) @<list>}}
 \end{describe*}
 
-%% layout protocol
-\begin{describe*}
-    {\dhead{gf}{sod-class-ilayout <class> @> @<ilayout>}
-     \dhead{gf}{sod-class-effective-methods @<class> @> @<list>}
-     \dhead{gf}{sod-class-vtables @<class> @> @<list>}}
-\end{describe*}
-
 \begin{describe}{fun}
     {make-sod-class @<name> @<superclasses> @<pset> \&optional @<floc>
       @> @<class>}
 \end{describe}
 
-\begin{describe}{mac}
-    {define-sod-class @<name> (@<superclass>^*) \\ \ind
-      @{ @<keyword> @<value> @}^* \\
-      @<declaration>^* \\
-      @<form>^*}
-\end{describe}
-
 \begin{describe*}
     {\dhead{lmac}{slot @<name> @<type> @{ @<keyword> @<value> @}^*}
      \dhead{lmac}{instance-initializer @<nick> @<name>
@@ -235,6 +221,17 @@
       @> @<generalized-boolean>}
 \end{describe}
 
+\begin{describe}{fun}{check-method-return-type @<method-type> @<return-type>}
+\end{describe}
+
+\begin{describe}{fun}
+    {check-method-return-type-against-message @<method-type> @<message-type>}
+\end{describe}
+
+\begin{describe}{fun}
+    {check-method-argument-lists @<method-type> @<message-type>}
+\end{describe}
+
 %%%--------------------------------------------------------------------------
 \section{Class finalization protocol} \label{sec:meta.finalization}
 
@@ -279,6 +276,7 @@
 
 \begin{describe}{fun}{l*loops-cpl @<class> @> @<list>}
 \end{describe}
+
 %%%----- That's all, folks --------------------------------------------------
 
 %%% Local variables: