Changeset c298079 for doc

Timestamp:

Oct 16, 2023, 1:16:42 PM (8 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

6bd9f9e

Parents:

bab2917 (diff), 61e5d99 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (8 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 : Sun Sep 17 09:10:12 2023
-%% Update Count     : 5883
+%% Last Modified On : Sun Oct 15 23:09:58 2023
+%% Update Count     : 5926
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -119 +119 @@
 
 \title{\vspace*{-0.5in}
-\CC/\uC to \CFA Cheat Sheet}
+\uC to \CFA Cheat Sheet}
 %\author{Peter A. Buhr}
 \date{}
@@ -195 +195 @@
 \end{cfa}
 \noindent
-In subsequent code examples, the left example is \CC/\uC and the right example is \CFA.
+In subsequent code examples, the left example is \uC and the right example is \CFA.
+
+
+\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}
 
 
@@ -203 +228 @@
 \begin{tabular}{l|l}
 \begin{uC++}
-for ( ;; ) { ... } / while ( true ) { ... }
-for ( int i = 0; i < 10; i += 1 ) { ... }
-for ( int i = 5; i < 15; i += 2 ) { ... }
+for ( @;;@ ) { ... }  /  while ( @true@ ) { ... }
+for ( int i = 0; i < @10@; i += 1 ) { ... }
+for ( int i = @5@; i < @15@; i += @2@ ) { ... }
+for ( int i = -1; i <@=@ 10; i += 3 ) { ... }
+for ( int i = 10; i > 0; i @-@= 1 ) { ... }
+\end{uC++}
+&
+\begin{cfa}
+for () { ... }  /  while () { ... }
+for ( @10@ ) { ... }  /  for ( i; @10@ ) { ... }
+for ( i; @5@ ~ @15@ ~ @2@ ) { ... }
+for ( i; -1 ~@=@ 10 ~ 3 ) { ... }
+for ( i; 0 @-@~ 10 ) { ... }
+\end{cfa}
+\\
+\hline
+\begin{uC++}
 int i = 0
 for ( i = 0; i < 10; i += 1 ) { ... }
-if ( i == 10 ) { ... }
-\end{uC++}
-&
-\begin{cfa}
-for () { ... } / while () { ... }
-for ( 10 ) { ... } / for ( i; 10 ) { ... }
-for ( i; 5~15~2 ) { ... }
+@if ( i == 10 )@ { ... }
+\end{uC++}
+&
+\begin{cfa}
 
 for ( i; 10 ) { ... }
-else { ... } // i == 10
-\end{cfa}
-\end{tabular}
-\end{cquote}
-
-
-\section{Exceptions}
+@else@ { ... } // i == 10
+\end{cfa}
+\\
+\hline
+\begin{uC++}
+L1: for ( ;; ) {
+        L2: for ( ;; ) {
+                ... @break L1@; ... @break L2@; ...
+        }
+}
+\end{uC++}
+&
+\begin{cfa}
+L1: for () {
+        L2: for () {
+                ... @break L1@; ... @break L2@; ...
+        }
+}
+\end{cfa}
+\end{tabular}
+\end{cquote}
+
+
+\section{Exception}
 
 Currently, \CFA uses macros @ExceptionDecl@ and @ExceptionInst@ to declare and instantiate an exception.
@@ -230 +283 @@
 \begin{uC++}
 
-struct E {              // local or global scope
+@_Exception@ E {        // local or global scope
         ... // exception fields
 };
 try {
         ...
-        if ( ... ) _Resume E( /* initialization */ );
-        if ( ... ) _Throw E( /* initialization */ );
-        ...
-} _CatchResume( E & ) { // should be reference
+        if ( ... ) @_Resume@ E( /* initialization */ );
+        if ( ... ) @_Throw@ E( /* initialization */ );
+                ...
+} @_CatchResume@( E & ) { // should be reference
         ...
 } catch( E & ) {
@@ -252 +305 @@
 try {
         ...
-        if ( ... ) throwResume @ExceptionInst@( E, /* intialization */ );
-        if ( ... ) throw @ExceptionInst@( E, /* intialization */ );
+        if ( ... ) @throwResume@ @ExceptionInst@( E, /* intialization */ );
+        if ( ... ) @throw@ @ExceptionInst@( E, /* intialization */ );
         ...
-} catchResume( E * ) { // must be pointer
+} @catchResume@( E * ) { // must be pointer
         ...
 } catch( E * ) {
@@ -265 +318 @@
 
 
-\section{Stream I/O}
-
-\CFA output streams automatically separate values and insert a newline at the end of the print.
+\section{Non-local Exception}
+
+\begin{cquote}
+\begin{tabular}{l|ll}
+\begin{uC++}
+
+
+void main() {
+        try {
+                _Enable {
+                        ... suspend(); ...
+                }
+        } @_CatchResume@( E & ) { // reference
+                ...
+        } catch( E & ) {
+                ...
+        }
+}
+\end{uC++}
+&
+\begin{cfa}
+#define resumePoll( coroutine ) resume( coroutine ); checked_poll()
+#define suspendPoll suspend; checked_poll()
+void main() {
+        try {
+                enable_ehm();
+                ... suspendPoll ...
+                disable_ehm();
+        } @catchResume@( E * ) { // pointer
+                ...
+        } catch( E & ) {
+                ...
+        }
+}
+\end{cfa}
+\end{tabular}
+\end{cquote}
+
+
+\section{Constructor / Destructor}
 
 \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
+struct S {
+        ... // fields
+        @S@(...) { ... }
+        @~S@(...) { ... }
+};
+\end{uC++}
+&
+\begin{cfa}
+struct S {
+        ... // fields
+};
+@?{}@( @S & s,@ ...) { ... }
+@^?{}@( @S & s@ ) { ... }
 \end{cfa}
 \end{tabular}
@@ -332 +422 @@
 
 
-\section{Constructor / Destructor}
-
-\begin{cquote}
-\begin{tabular}{l|l}
-\begin{uC++}
-struct S {
-        ... // fields
-        @S@(...) { ... }
-        @~S@(...) { ... }
-};
-\end{uC++}
-&
-\begin{cfa}
-struct S {
-        ... // fields
-};
-@?{}@( @S & s,@ ...) { ... }
-@^?{}@( @S & s@ ) { ... }
-\end{cfa}
-\end{tabular}
-\end{cquote}
-
-
 \section{\texorpdfstring{Structures (object-oriented \protect\vs routine style)}{Structures (object-oriented vs. routine style)}}