Commit 75270575 authored by POTTIER Francois's avatar POTTIER Francois

More doc.

parent b51b4080
......@@ -1264,6 +1264,7 @@ variable~\oc|'env| to appear free in the method type.
\end{figure}
\subsection{Parameters}
\label{sec:params}
\label{sec:ancestors}
The parameters that can be passed as part of the \derivingvisitors annotation,
......@@ -1271,7 +1272,7 @@ inside the curly braces, are described in \fref{fig:params}.
% ------------------------------------------------------------------------------
\subsection{Examining the generated code}
\subsection{How to examine the generated code}
The generated code is conceptually inserted into the user's source code just
after the type definition that is decorated with \derivingvisitors.
......@@ -1289,10 +1290,18 @@ just the generated code. The recipe relies on \oc|sed|, \oc|perl|, and
% ------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\subsection{Structure of the generated code}
\label{sec:structure}
The generated code consists of a single class, whose name is the value of the
\variety parameter (\sref{sec:params}). This class has one type parameter,
namely \oc|'self|, the type of ``self'' (\sref{sec:oo:self}). This class has
no fields.
% list parent classes
% list methods
% ------------------------------------------------------------------------------
% TEMPORARY incomplete:
......@@ -1304,7 +1313,7 @@ just the generated code. The recipe relies on \oc|sed|, \oc|perl|, and
\label{sec:opaque}
% The @opaque annotation.
(Note the parentheses, which are required.)
% (Note the parentheses, which are required.)
% ------------------------------------------------------------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment