Changes in doc/uC++toCFA/uC++toCFA.tex [d96f7c4:e255902b]

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (13 diffs)

doc/uC++toCFA/uC++toCFA.tex

@@ -11 +11 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri Jan 17 07:39:09 2025
-%% Update Count     : 6284
+%% Last Modified On : Fri Nov 15 09:55:34 2024
+%% Update Count     : 6249
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -197 +197 @@
 
 
+\section{Stream I/O}
+
+\CFA output streams automatically separate values and insert a newline at the end of the print.
+\begin{cquote}
+\begin{tabular}{@{}l|l@{}}
+\begin{uC++}
+#include <@iostream@>
+using namespace std;
+int i;   double d;   char c;
+cin >> i >> d >> c;
+cout << i << ' ' << d << ' ' << c | endl;
+\end{uC++}
+&
+\begin{cfa}
+#include <@fstream.hfa@>
+
+int i;   double d;   char c;
+sin | i | d | c;
+sout | i | d | c
+\end{cfa}
+\end{tabular}
+\end{cquote}
+
+
 \section{Looping}
 
@@ -216 +240 @@
 for ( i; 0 @-@~ 10 ) { ... }
 \end{cfa}
-\end{tabular}
-\end{cquote}
-
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
+\\
+\hline
 \begin{uC++}
 int i = 0
@@ -232 +253 @@
 @else@ { ... } // i == 10
 \end{cfa}
-\end{tabular}
-\end{cquote}
-
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
+\\
+\hline
 \begin{uC++}
 @L1:@ for ( ;; ) {
@@ -253 +271 @@
         }
 }
-\end{cfa}
-\end{tabular}
-\end{cquote}
-
-
-\section{Stream I/O}
-
-\CFA output streams automatically separate values and insert a newline at the end of the print.
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
-\begin{uC++}
-#include <@iostream@>
-using namespace std;
-int i;   double d;   char c;
-cin >> i >> d >> c;
-cout << i << ' ' << d << ' ' << c << endl;
-\end{uC++}
-&
-\begin{cfa}
-#include <@fstream.hfa@>
-
-int i;   double d;   char c;
-sin | i | d | c;
-sout | i | d | c
-\end{cfa}
-\end{tabular}
-\end{cquote}
-To disable/enable automatic newline at the end of printing, use @nlOff@/@nlOn@ and @nl@.
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
-\begin{uC++}
-
-for ( int i = 0; i < 5; i += 1 ) cout << i << ' ';
-cout << @endl@;
-
-0 1 2 3 4 
-\end{uC++}
-&
-\begin{cfa}
-sout | @nlOff@; // disable auto nl
-for ( i; 5 ) sout | i;
-sout | @nl@;
-sout | @nlOn@;  // reenable auto nl
-0 1 2 3 4 
-\end{cfa}
-\end{tabular}
-\end{cquote}
-Floating-point numbers without a fraction print with a decimal point, which can be disabled with @nodp@.
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
-\begin{uC++}
-cout << 3.0 << ' ' << showpoint << setprecision(0) << 3.0 << endl;
-3 3.
-\end{uC++}
-&
-\begin{cfa}
-sout | @nodp( 3.0 )@ | 3.0;
-3 3.
 \end{cfa}
 \end{tabular}
@@ -331 +291 @@
         if ( ... ) @_Throw@ E( /* initialization */ );
                 ...
-} @_CatchResume@( E & /* reference */ ) { ... }
-  catch( E & ) { ... }
-  catch( ... /* catch any */ ) { ... }
-  _Finally { ... }
+} @_CatchResume@( E & ) { ... // reference
+} catch( E & ) { ...
+} catch( ... ) { ... // catch any
+} _Finally { ...
+}
 \end{uC++}
 &
@@ -347 +308 @@
         if ( ... ) @throw@ @ExceptionInst@( E, /* intialization */ );
         ...
-} @catchResume@( E @*@ /* pointer */ ) { ... }
-  catch( E * ) { ... }
-  catch( exception_t @*@ /* catch any */ ) { ... }
-  finally { ... }
+} @catchResume@( E * ) { ... // pointer
+} catch( E * ) { ...
+} catch( exception_t * ) { ... // catch any
+} finally { ...
+}
 \end{cfa}
 \end{tabular}
@@ -368 +330 @@
                         ... suspend(); ...
                 }
-        } @_CatchResume@( E & /* reference */ ) { ... }
-          catch( E & ) { ... }
+        } @_CatchResume@( E & ) { // reference
+                ...
+        } catch( E & ) {
+                ...
+        }
 }
 \end{uC++}
@@ -381 +346 @@
                 ... suspendPoll ...
                 disable_ehm();
-        } @catchResume@( E * ) { ... }
-          catch( E & ) { ... }
+        } @catchResume@( E * ) { // pointer
+                ...
+        } catch( E & ) {
+                ...
+        }
 }
 \end{cfa}
@@ -588 +556 @@
 
 
+\section{Thread}
+
+\begin{cquote}
+\begin{tabular}{@{}l|ll@{}}
+\begin{uC++}
+
+@_Task@ T {
+        // private task fields
+        void main() {
+                ... @_Resume E( ... ) _At partner@;
+                ... @uThisTask();@ ...
+        }
+  public:
+};
+\end{uC++}
+&
+\begin{cfa}
+#include <$thread$.hfa>
+@thread@ T {
+        // private task fields
+
+};
+void main( @T & t@ ) {
+        ... @resumeAt( partner, ExceptionInst( E, ... )@ );
+        ... @active_thread();@ ...
+}
+\end{cfa}
+\\
+\multicolumn{2}{@{}l@{}}{\lstinline{T t; // start thread in main routine}}
+\end{tabular}
+\end{cquote}
+
+
 \section{\lstinline{COBEGIN}/\lstinline{COFOR}}
 
@@ -601 +602 @@
                 BEGIN osacquire( cout ) << "C" << endl; END
                 BEGIN osacquire( cout ) << "D" << endl; END
+                BEGIN osacquire( cout ) << "E" << endl; END
         @COEND@
         @COFOR@( i, 1, 10,
@@ -617 +619 @@
                 corun { mutex( sout ) sout | "C"; }
                 corun { mutex( sout ) sout | "D"; }
+                corun { mutex( sout ) sout | "E"; }
         }
         @cofor@( i; 10 ) {
@@ -700 +703 @@
 }
 \end{cfa}
-\end{tabular}
-\end{cquote}
-
-
-\section{Thread}
-
-\begin{cquote}
-\begin{tabular}{@{}l|ll@{}}
-\begin{uC++}
-
-@_Task@ T {
-        // private task fields
-        void main() {
-                ... @_Resume E( ... ) _At partner@;
-                ... @uThisTask();@ ...
-        }
-  public:
-};
-\end{uC++}
-&
-\begin{cfa}
-#include <$thread$.hfa>
-@thread@ T {
-        // private task fields
-
-};
-void main( @T & t@ ) {
-        ... @resumeAt( partner, ExceptionInst( E, ... )@ );
-        ... @active_thread();@ ...
-}
-\end{cfa}
-\\
-\multicolumn{2}{@{}l@{}}{\lstinline{T t; // start thread in main routine}}
 \end{tabular}
 \end{cquote}