Changes in doc/user/user.tex [e80ebe5:79f64f1]

File:

• doc/user/user.tex (modified) (14 diffs)

doc/user/user.tex

@@ -11 +11 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Tue Aug  2 17:39:02 2016
-%% Update Count     : 1286
+%% Last Modified On : Mon Aug  1 09:11:24 2016
+%% Update Count     : 1271
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -226 +226 @@
 
 \section{Interoperability}
-\label{s:Interoperability}
 
 \CFA is designed to integrate well with existing C programs and libraries.
@@ -315 +314 @@
 The \CFA compilation message is printed at the beginning of a compilation.
 \textbf{This option is the default.}
-
-\item
-\Indexc{-no-include-std}\index{compilation option!-no-include-std@©-no-include-std©}
-Do not supply ©extern "C"© wrappers for \Celeven standard include files (see~\VRef{s:StandardHeaders}).
-\textbf{This option is \emph{not} the default.}
 \end{description}
 
@@ -4369 +4363 @@
 
 
-\section{New Keywords}
-\label{s:NewKeywords}
-
-\begin{quote2}
-\begin{tabular}{ll}
-©catch©                 & ©lvalue©              \\
-©catchResume©   &                               \\
-©choose©                & ©otype©               \\
-                                &                               \\
-©disable©               & ©throw©               \\
-©dtype©                 & ©throwResume© \\
-                                & ©trait©               \\
-©enable©                & ©try©                 \\
-                                &                               \\
-©fallthrough©                                   \\
-©fallthru©                                              \\
-©finally©                                               \\
-©forall©                                                \\
-©ftype©                                                 \\
-\end{tabular}
-\end{quote2}
-
-
-\section{Standard Headers}
-\label{s:StandardHeaders}
-
-C prescribes the following standard header-files:
-\begin{quote2}
-\begin{minipage}{\linewidth}
-\begin{tabular}{lll}
-assert.h        & math.h                & stdlib.h              \\
-complex.h       & setjmp.h              & stdnoreturn.h \\
-ctype.h         & signal.h              & string.h              \\
-errno.h         & stdalign.h    & tgmath.h              \\
-fenv.h          & stdarg.h              & threads.h             \\
-float.h         & stdatomic.h   & time.h                \\
-inttypes.h      & stdbool.h             & uchar.h               \\
-iso646.h        & stddef.h              & wchar.h               \\
-limits.h        & stdint.h              & wctype.h              \\
-locale.h        & stdio.h               & unistd.h\footnote{\CFA extension}
-\end{tabular}
-\end{minipage}
-\end{quote2}
-For the prescribed head-files, \CFA implicit wraps their includes in an ©extern "C"©;
-hence, names in these include files are not mangled\index{mangling!name} (see~\VRef{s:Interoperability}).
-All other C header files must be explicitly wrapped in ©extern "C"© to prevent name mangling.
+\section{New Keywowrds}
+
+©catch©, ©catchResume©, ©choose©, \quad ©disable©, ©dtype©, \quad ©enable©, \quad ©fallthrough©, ©fallthru©, ©finally©, ©forall©, ©ftype©, \quad ©lvalue©, \quad ©otype©, \quad ©throw©, ©throwResume©, ©trait©, ©try©
 
 
@@ -4424 +4375 @@
 \item
 \begin{description}
-\item[Change:] add new keywords (see~\VRef{s:NewKeywords}) \\
+\item[Change:] add new keywords \\
 New keywords are added to \CFA.
 \item[Rationale:] keywords added to implement new semantics of \CFA.
@@ -4522 +4473 @@
 \begin{description}
 \item[Change:] have ©struct© introduce a scope for nested types
-In C, the name of the nested types belongs to the same scope as the name of the outermost enclosing
+In C, the name of the nested types belongs to the same scope as the name of the outermost enclosing 
 Example:
 \begin{lstlisting}
@@ -4645 +4596 @@
 %$
 \begin{lstlisting}[mathescape=off]
-sout | "x (" | 1 | "x [" | 2 | "x {" | 3 | "x $" | 4 | "x £" | 5 | "x ¥" | 6 | "x ¡" | 7
-         | "x ¿" | 8 | "x «" | 9 | endl;
+sout | "x (" | 1 | "x [" | 2 | "x {" | 3 | "x $" | 4 | "x £" | 5 | "x ¥" | 6 | "x ¡" | 7 | "x ¿" | 8 | "x «" | 9 | endl;
 \end{lstlisting}
 %$
@@ -4656 +4606 @@
 A seperator does not appear after a C string ending with the (extended) \Index{ASCII}\index{ASCII!extended} characters: ©,.:;!?)]}%¢»©
 \begin{lstlisting}[belowskip=0pt]
-sout | 1 | ", x" | 2 | ". x" | 3 | ": x" | 4 | "; x" | 5 | "! x" | 6 | "? x" | 7
-         | ") x" | 8 | "] x" | 9 | "} x" | 10 | "% x" | 11 | "¢ x" | 12 | "» x" | endl;
+sout | 1 | ", x" | 2 | ". x" | 3 | ": x" | 4 | "; x" | 5 | "! x" | 6 | "? x" | 7 | ") x" | 8 | "] x" | 9 | "} x"
+         | 10 | "% x" | 11 | "¢ x" | 12 | "» x" | endl;
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4673 +4623 @@
 The following \CC-style \Index{manipulator}s allow further control over implicit seperation.
 \begin{lstlisting}[mathescape=off,belowskip=0pt]
-sout | sepOn | 1 | 2 | 3 | sepOn | endl;        §\C{// separator at start of line}§
+sout | sepOn | 1 | 2 | 3 | sepOn | endl;        // separator at start of line
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4679 +4629 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | 1 | sepOff | 2 | 3 | endl;                       §\C{// turn off implicit separator temporarily}§
+sout | 1 | sepOff | 2 | 3 | endl;                       // turn off implicit separator temporarily
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4685 +4635 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | sepDisable | 1 | 2 | 3 | endl;           §\C{// turn off implicit separation, affects all subsequent prints}§
+sout | sepDisable | 1 | 2 | 3 | endl;           // turn off implicit separation, affects all subsequent prints
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4691 +4641 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | 1 | sepOn | 2 | 3 | endl;                        §\C{// turn on implicit separator temporarily}§
+sout | 1 | sepOn | 2 | 3 | endl;                        // turn on implicit separator temporarily
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4697 +4647 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | sepEnable | 1 | 2 | 3 | endl;            §\C{// turn on implicit separation, affects all subsequent prints}§
+sout | sepEnable | 1 | 2 | 3 | endl;            // turn on implicit separation, affects all subsequent prints
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4703 +4653 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,aboveskip=0pt,belowskip=0pt]
-sepSet( sout, ", $" );                                          §\C{// change separator from " " to ", \$"}§
+sepSet( sout, ", $" );                                          // change separator from " " to ", $"
 sout | 1 | 2 | 3 | endl;
 \end{lstlisting}