Changeset e229c22 for doc/user

Timestamp:

Jun 4, 2016, 12:34:24 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

57aa6f5, b8387fc

Parents:

31eed869

Message:

change gitignore with respect to latex-generated files, small updates to manuals, replace bibtex link with actual file

Location:

doc/user

Files:

• .gitignore (added)
• 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 : Tue May  3 08:05:33 2016
-%% Update Count     : 246
+%% Last Modified On : Fri Jun  3 09:49:31 2016
+%% Update Count     : 281
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -30 +30 @@
 \usepackage{textcomp}
 \usepackage[latin1]{inputenc}
-\usepackage{upquote}
-\usepackage{fullpage,times}
+\usepackage{fullpage,times,comment}
 \usepackage{epic,eepic}
+\usepackage{upquote}                                                                    % switch curled `' to straight `'
 \usepackage{xspace}
-\usepackage{varioref}
-\usepackage{listings}
-\usepackage{footmisc}
-\usepackage{comment}
-\usepackage{latexsym}                                   % \Box
+\usepackage{varioref}                                                                   % extended references
+\usepackage{listings}                                                                   % format program code
+\usepackage{footmisc}                                                                   % support label/reference in footnote
+\usepackage{latexsym}                                   % \Box glyph
 \usepackage{mathptmx}                                   % better math font with "times"
 \usepackage[pagewise]{lineno}
@@ -113 +112 @@
 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, which directly leads to increased safety and productivity, while maintaining interoperability with existing C programs and achieving C performance.
+\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.
 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.
@@ -244 +243 @@
 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.
+Use the traditional GNU semantics for inline routines in C99 mode, which allows inline routines in header files.
 \end{description}
 The following new \CFA option is available:
@@ -1174 +1173 @@
 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}.
-For the labelled ©break©, it is possible to specify which control structure is the target for exit, as in:
-\begin{quote2}
+\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
 \begin{tabular}{@{}l@{\hspace{30pt}}l@{}}
 \multicolumn{1}{c@{\hspace{30pt}}}{\textbf{\CFA}}       & \multicolumn{1}{c}{\textbf{C}}        \\
@@ -1196 +1200 @@
                         ... goto L1; ...
                         ... goto L2; ...
-                        ... goto L3; // or break
+                        ... goto L3; // or break  
                 } L3: ;
         } L2: ;
@@ -1202 +1206 @@
 \end{lstlisting}
 \end{tabular}
-\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}
+\caption{Labelled Break}
+\label{f:LabelledBreak}
+
+\vspace*{0.25in}
+
 \begin{tabular}{@{}l@{\hspace{30pt}}l@{}}
 \multicolumn{1}{c@{\hspace{30pt}}}{\textbf{\CFA}}       & \multicolumn{1}{c}{\textbf{C}}        \\
@@ -1214 +1219 @@
                         ... continue ®L1®; ...
                         ... continue ®L2®; ...
-                        ... continue ®L3®; ...
+                        ... continue ®L3®; // or continue
 
                 }
@@ -1229 +1234 @@
                         ... goto L1; ...
                         ... goto L2; ...
-                        ... goto L3; ...
+                        ... goto L3; // or continue
                   L3: ;
                 }
@@ -1238 +1243 @@
 \end{lstlisting}
 \end{tabular}
-\end{quote2}
-The inner most loop has three restart points, which cause the next loop iteration to begin, respectively.
+\caption{Labelled Continue}
+\label{f:LabelledContinue}
+\end{figure}
+
 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.
@@ -3329 +3336 @@
 \begin{lstlisting}
 struct Line {
-        float length;
+        float lnth;
 }
 // default constructor
 void ?{}( Line * l ) {
+        l->lnth = 0.0;
         sout | "default" | endl;
-        l.length = 0.0;
 }
 
 
 // constructor with length
-void ?{}( Line * l, float length ) {
-        sout | "length" | length | endl;
-
-        l.length = length;
+void ?{}( Line * l, float lnth ) {
+        l->lnth = lnth;
+        sout | "lnth" | l->lnth | endl;
+
 }
 
 // destructor
-void ^?(Line &l) {
+void ^?() {
         sout | "destroyed" | endl;
-        l.length = 0.0;
+        l.lnth = 0.0;
 }
 
 // usage
 Line line1;
-Line line2{ 3.4 };
+Line line2 = { 3.4 };
 \end{lstlisting}
 &
 \begin{lstlisting}[language=C++]
 class Line {
-        float length;
+        float lnth;
 
         // default constructor
         Line() {
                 cout << "default" << endl;
-                length = 0.0;
+                lnth = 0.0;
         }
 
 
-        // constructor with length
+        // constructor with lnth
         Line( float l ) {
                 cout << "length " << length