Changes in doc/user/user.tex [e229c22:0638c44]

File:

• doc/user/user.tex (modified) (11 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 : Fri Jun  3 09:49:31 2016
-%% Update Count     : 281
+%% Last Modified On : Tue May  3 08:05:33 2016
+%% Update Count     : 246
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -30 +30 @@
 \usepackage{textcomp}
 \usepackage[latin1]{inputenc}
-\usepackage{fullpage,times,comment}
+\usepackage{upquote}
+\usepackage{fullpage,times}
 \usepackage{epic,eepic}
-\usepackage{upquote}                                                                    % switch curled `' to straight `'
 \usepackage{xspace}
-\usepackage{varioref}                                                                   % extended references
-\usepackage{listings}                                                                   % format program code
-\usepackage{footmisc}                                                                   % support label/reference in footnote
-\usepackage{latexsym}                                   % \Box glyph
+\usepackage{varioref}
+\usepackage{listings}
+\usepackage{footmisc}
+\usepackage{comment}
+\usepackage{latexsym}                                   % \Box
 \usepackage{mathptmx}                                   % better math font with "times"
 \usepackage[pagewise]{lineno}
@@ -112 +113 @@
 The syntax of the \CFA language builds from C, and should look immediately familiar to C programmers.
 % Any language feature that is not described here can be assumed to be using the standard C11 syntax.
-\CFA adds many modern programming-language features that directly leads to increased \emph{safety} and \emph{productivity}, while maintaining interoperability with existing C programs and achieving C performance.
+\CFA adds many modern programming-language features, which directly leads to increased safety and productivity, while maintaining interoperability with existing C programs and achieving C performance.
 Like C, \CFA is a statically typed, procedural language with a low-overhead runtime, meaning there is no global garbage-collection.
 The primary new features include parametric-polymorphism routines and types, exceptions, concurrency, and modules.
@@ -243 +244 @@
 The 1999 C standard plus GNU extensions.
 \item\hspace*{-4pt}\Indexc{-fgnu89-¶inline¶}\index{compilation option!-fgnu89-inline@{©-fgnu89-¶inline¶©}}
-Use the traditional GNU semantics for inline routines in C99 mode, which allows inline routines in header files.
+Use the traditional GNU semantics for inline routines in C99 mode.
 \end{description}
 The following new \CFA option is available:
@@ -1173 +1174 @@
 Unfortunately, this restriction forces programmers to use ©goto© to achieve the equivalent for more than one level of nesting.
 To prevent having to make this switch, the ©break© and ©continue© are extended with a target label to support static multi-level exit~\cite{Buhr85,Java}.
-\VRef[Figure]{f:LabelledBreak} shows the labelled ©break©, and the target control structure of the exit.
-The inner most loop has three exit points, which cause termination of one or more of the three nested loops, respectively.
-\VRef[Figure]{f:LabelledContinue} shows the labelled ©continue©, and which control structure is the target of the next loop iteration.
-The inner most loop has three restart points, which cause the next loop iteration to begin, respectively.
-
-\begin{figure}
-\centering
+For the labelled ©break©, it is possible to specify which control structure is the target for exit, as in:
+\begin{quote2}
 \begin{tabular}{@{}l@{\hspace{30pt}}l@{}}
 \multicolumn{1}{c@{\hspace{30pt}}}{\textbf{\CFA}}       & \multicolumn{1}{c}{\textbf{C}}        \\
@@ -1200 +1196 @@
                         ... goto L1; ...
                         ... goto L2; ...
-                        ... goto L3; // or break  
+                        ... goto L3; // or break
                 } L3: ;
         } L2: ;
@@ -1206 +1202 @@
 \end{lstlisting}
 \end{tabular}
-\caption{Labelled Break}
-\label{f:LabelledBreak}
-
-\vspace*{0.25in}
-
+\end{quote2}
+The inner most loop has three exit points, which cause termination of one or more of the three nested loops, respectively.
+For the labelled ©continue©, it is possible to specify which control structure is the target for the next loop iteration, as in:
+\begin{quote2}
 \begin{tabular}{@{}l@{\hspace{30pt}}l@{}}
 \multicolumn{1}{c@{\hspace{30pt}}}{\textbf{\CFA}}       & \multicolumn{1}{c}{\textbf{C}}        \\
@@ -1219 +1214 @@
                         ... continue ®L1®; ...
                         ... continue ®L2®; ...
-                        ... continue ®L3®; // or continue
+                        ... continue ®L3®; ...
 
                 }
@@ -1234 +1229 @@
                         ... goto L1; ...
                         ... goto L2; ...
-                        ... goto L3; // or continue
+                        ... goto L3; ...
                   L3: ;
                 }
@@ -1243 +1238 @@
 \end{lstlisting}
 \end{tabular}
-\caption{Labelled Continue}
-\label{f:LabelledContinue}
-\end{figure}
-
+\end{quote2}
+The inner most loop has three restart points, which cause the next loop iteration to begin, respectively.
 For both ©break© and ©continue©, the target label must be directly associated with a ©for©, ©while© or ©do© statement;
 for ©break©, the target label can also be associated with a ©switch© statement.
@@ -3336 +3329 @@
 \begin{lstlisting}
 struct Line {
-        float lnth;
+        float length;
 }
 // default constructor
 void ?{}( Line * l ) {
-        l->lnth = 0.0;
         sout | "default" | endl;
+        l.length = 0.0;
 }
 
 
 // constructor with length
-void ?{}( Line * l, float lnth ) {
-        l->lnth = lnth;
-        sout | "lnth" | l->lnth | endl;
-
+void ?{}( Line * l, float length ) {
+        sout | "length" | length | endl;
+
+        l.length = length;
 }
 
 // destructor
-void ^?() {
+void ^?(Line &l) {
         sout | "destroyed" | endl;
-        l.lnth = 0.0;
+        l.length = 0.0;
 }
 
 // usage
 Line line1;
-Line line2 = { 3.4 };
+Line line2{ 3.4 };
 \end{lstlisting}
 &
 \begin{lstlisting}[language=C++]
 class Line {
-        float lnth;
+        float length;
 
         // default constructor
         Line() {
                 cout << "default" << endl;
-                lnth = 0.0;
+                length = 0.0;
         }
 
 
-        // constructor with lnth
+        // constructor with length
         Line( float l ) {
                 cout << "length " << length