From a75cd932464ce21ab46e9eaec83e4b1359649bc6 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Wed, 7 Aug 2019 18:24:00 +0100 Subject: [PATCH] doc/*.tex: Add, remove, and/or fix stubs to match reality. Many stubs were missing. A few were wrongly spelled, or had the wrong category. Some were spurious. Fixfixfix. --- doc/clang.tex | 25 ++++++++++++++++++++++++- doc/layout.tex | 22 ++++++++++++++++------ doc/meta.tex | 6 +++++- doc/misc.tex | 7 +++++-- doc/module.tex | 5 ++++- doc/output.tex | 10 ++++++++++ doc/parsing.tex | 32 ++++++++++++++++++++++++++++---- 7 files changed, 92 insertions(+), 15 deletions(-) diff --git a/doc/clang.tex b/doc/clang.tex index 0047efb..7c32723 100644 --- a/doc/clang.tex +++ b/doc/clang.tex @@ -91,6 +91,9 @@ similar names. Neither generic function defines a default primary method; subclasses of @|c-type| must define their own methods in order to print correctly. +\begin{describe}{fun}{c-name-case @ @> @} +\end{describe} + \subsection{The C type root class} \label{sec:clang.c-types.root} @@ -347,12 +350,16 @@ methods to \descref{gf}{c-qualifier-keyword}. The class @|qualifiable-c-type| is abstract. \end{describe} +\begin{describe}{fun} + {canonify-qualifiers @ @> @} +\end{describe} + \begin{describe}{gf}{c-type-qualifiers @ @> @} Returns the qualifiers of the @|qualifiable-c-type| instance @ as an immutable list. \end{describe} -\begin{describe}{fun}{qualify-type @ @ @> @} +\begin{describe}{fun}{qualify-c-type @ @ @> @} The argument @ must be an instance of @|qualifiable-c-type|, currently bearing no qualifiers, and @ a list of qualifier keywords. The result is a C type object like @ except that it @@ -620,6 +627,14 @@ In Sod, the leaf types are structs and unions. \end{boxy} +\begin{describe}{gf}{c-type-tag @ @> @} +\end{describe} + +\begin{describe}{fun} + {make-c-tagged-type @ @ \&optional @ + @> @} +\end{describe} + \begin{describe}{gf}{c-tagged-type-kind @ @> @} Returns a keyword classifying the tagged @: one of @|:enum|, @|:struct| or @|:union|. User-defined subclasses of @|tagged-c-type| @@ -1016,6 +1031,11 @@ function type is the type of the function's return value. Return the (non-keyword) argument list of the @. \end{describe} +\begin{describe}{gf} + {c-function-keywords @ @> @} + Return the keyword-argument list of the @. +\end{describe} + \begin{describe}{fun} {commentify-function-type @ @> @} Return a commentified version of the @. @@ -1179,6 +1199,9 @@ Temporary names are represented by objects which implement a simple protocol. subclasses, but is also usable on its own. \end{describe} +\begin{describe}{gf}{temp-tag @ @> @} +\end{describe} + \begin{describe}{meth}{temporary-name} {commentify-argument-name (@ temporary-name) @> nil} \end{describe} diff --git a/doc/layout.tex b/doc/layout.tex index cdad468..dfe67d2 100644 --- a/doc/layout.tex +++ b/doc/layout.tex @@ -101,7 +101,7 @@ \begin{describe}{gf}{compute-islots @ @ @> @} \end{describe} -\begin{describe}{gf}{vtable-pointer () \&key :class :chain-head :chain-tail} +\begin{describe}{cls}{vtable-pointer () \&key :class :chain-head :chain-tail} \end{describe} \begin{describe*} @@ -110,20 +110,20 @@ \dhead{gf}{vtable-pointer-chain-tail @ @> @}} \end{describe*} -\begin{describe}{gf}{ichain () \&key :class :chain-head :chain-tail :body} +\begin{describe}{cls}{ichain () \&key :class :chain-head :chain-tail :body} \end{describe} \begin{describe*} {\dhead{gf}{ichain-class @ @> @} - \dhead{gf}{ichain-chain-head @ @> @} - \dhead{gf}{ichain-chain-tail @ @> @} + \dhead{gf}{ichain-head @ @> @} + \dhead{gf}{ichain-tail @ @> @} \dhead{gf}{ichain-body @ @> @}} \end{describe*} \begin{describe}{gf}{compute-ichain @ @ @> @} \end{describe} -\begin{describe}{gf}{ilayout () \&key :class :ichains} +\begin{describe}{cls}{ilayout () \&key :class :ichains} \end{describe} \begin{describe*} @@ -149,6 +149,11 @@ \dhead{gf}{vtmsgs-entries @ @> @}} \end{describe*} +\begin{describe}{gf} + {compute-vtmsgs @ @ @ @ + @> @} +\end{describe} + \begin{describe}{cls} {class-pointer () \&key :class :chain-head :metaclass :meta-chain-head} \end{describe} @@ -192,7 +197,7 @@ @> @} \end{describe} -\begin{describe}{gf}{vtable () \&key :class :chain-head :chain-tail :body} +\begin{describe}{cls}{vtable () \&key :class :chain-head :chain-tail :body} \end{describe} \begin{describe*} @@ -453,6 +458,11 @@ \&key :name :location :class :type :combination} \end{describe} +\begin{describe*} + {\dhead{gf}{sod-message-combination @ @> @} + \dhead{gf}{sod-message-kernel-function @ @> @}} +\end{describe*} + \begin{describe}{gf} {aggregating-message-properties @ @ @> @} \end{describe} diff --git a/doc/meta.tex b/doc/meta.tex index c4587a3..0f113b0 100644 --- a/doc/meta.tex +++ b/doc/meta.tex @@ -147,7 +147,8 @@ \begin{describe*} {\dhead{gf}{sod-initializer-slot @ @> @} - \dhead{gf}{sod-initializer-value @ @> @}} + \dhead{gf}{sod-initializer-value @ @> @} + \dhead{gf}{sod-initializer-class @ @> @}} \end{describe*} \begin{describe*} @@ -184,6 +185,9 @@ \dhead{gf}{sod-initarg-slot @ @> @}} \end{describe*} +\begin{describe}{gf}{sod-initarg-argument @ @> @} +\end{describe} + \begin{describe}{gf} {make-sod-user-initarg @ @ @ @ \&key :default :location diff --git a/doc/misc.tex b/doc/misc.tex index 1e58cdf..890dd14 100644 --- a/doc/misc.tex +++ b/doc/misc.tex @@ -931,8 +931,8 @@ Most of these symbols are defined in the @|optparse| package. \dhead{fun}{setf (opt-negated-tag @