Commit ce874166 authored by POTTIER Francois's avatar POTTIER Francois

Document [data].

parent e93d1cc2
......@@ -1505,6 +1505,11 @@ programming languages, but also in an object-oriented programming setting.
If \texttt{true}, the generated class is declared
concrete; otherwise, it is declared virtual.
This is an optional parameter; its default value is \texttt{false}.
\\
\data & (Boolean) &
If \texttt{true}, one visitor method is generated for every data constructor (\sref{sec:structure}).
If \texttt{false}, this method is not generated (it is inlined instead).
This is an optional parameter; its default value is \texttt{true}.
\\
\irregular & (Boolean) &
If \texttt{true}, the regularity check (\sref{sec:regularity}) is disabled;
......@@ -1630,6 +1635,11 @@ The following \emph{concrete methods} are \emph{defined}:
example: & \fref{fig:expr00}
\end{tabular}
If the parameter \data is \texttt{false}, then
this method is \emph{not} generated (\sref{sec:params}).
It is inlined instead. The behavior is the same, but cannot be overridden on
a per-data-constructor basis.
\item if the visitor has arity two (\sref{sec:intro:aritytwo}),
for every local type \oc|foo|,
a failure method.
......
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