src/final.lisp: Add function for interactively testing type parsing.

[sod] / doc / clang.tex
diff --git a/doc/clang.tex b/doc/clang.tex

index b38dc09..700033f 100644 (file)
--- a/doc/clang.tex
+++ b/doc/clang.tex
@@ -164,8 +164,16 @@ type specifier.  Type specifiers fit into two syntactic categories.
    type specifiers among its arguments.
  \end{describe}
  
-\begin{describe}{fun}{expand-c-type-spec @<type-spec> @> @<form>}
+\begin{describe}{gf}{expand-c-type-spec @<type-spec> @> @<form>}
    Returns the Lisp form that @|(c-type @<type-spec>)| would expand into.
+
+  If @<type-spec> is a list, then \descref{expand-c-type-form}{fun} is
+  invoked.
+\end{describe}
+
+\begin{describe}{gf}{expand-c-type-form @<head> @<tail> @> @<form>}
+  Returns the Lisp form that @|(c-type (@<head> . @<tail>)| would expand
+  into.
  \end{describe}
  
  \begin{describe}{gf}
@@ -335,6 +343,23 @@ argument lists for methods.  This is done by @|c-type-equal-p|.
    non-null then the final character of the returned string will be a space.
  \end{describe}
  
+\begin{describe}{gf}{c-qualifier-keyword @<qualifier> @> @<string>}
+  Return, as a string, the C keyword corresponding to the Lisp @<qualifier>.
+
+  There is a standard method, which deals with many qualifiers.  Additional
+  methods exist for qualifier keywords which need special handling, such as
+  @|:atomic|; they are not listed here explicitly.
+
+  \begin{describe}{meth}{c-qualifier-keyword @<keyword> @> @<string>}
+    Returns the @<keyword>'s print-name, in lower case.  This is sufficient
+    for the standard qualifiers @|:const|, @|:restrict|, and @|:volatile|.
+  \end{describe}
+\end{describe}
+
+\begin{describe}{fun}{c-type-qualifier-keywords @<c-type> @> @<list>}
+  Return the @<c-type>'s qualifiers, as a list of C keyword names.
+\end{describe}
+
  
  \subsection{Leaf types} \label{sec:clang.c-types.leaf}