Changeset b723b63 for doc/uC++toCFA/uC++toCFA.tex

Timestamp:

Sep 20, 2024, 8:56:34 AM (2 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

fca78f1

Parents:

07dbcba

Message:

updated for uC++ to CFA document

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (10 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 Sep 13 07:48:54 2024
-%% Update Count     : 5987
+%% Last Modified On : Wed Sep 18 21:35:47 2024
+%% Update Count     : 5999
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -256 +256 @@
 \hline
 \begin{uC++}
-L1: for ( ;; ) {
-        L2: for ( ;; ) {
-                ... @break L1@; ... @break L2@; ...
-        }
-}
-\end{uC++}
-&
-\begin{cfa}
-L1: for () {
-        L2: for () {
-                ... @break L1@; ... @break L2@; ...
+@L1:@ for ( ;; ) {
+        @L2:@ for ( ;; ) {
+                ... if ( ... ) @break L1@; ...
+                ... if ( ... ) @break L2@; ...
+        }
+}
+\end{uC++}
+&
+\begin{cfa}
+@L1:@ for () {
+        @L2:@ for () {
+                ... if ( ... ) @break L1@; ...
+                ... if ( ... ) @break L2@; ...
         }
 }
@@ -289 +291 @@
         if ( ... ) @_Throw@ E( /* initialization */ );
                 ...
-} @_CatchResume@( E & ) { // should be reference
-        ...
-} catch( E & ) {
-        ...
+} @_CatchResume@( E & ) { ... // reference
+} catch( E & ) { ...
+} catch( ... ) { ... // catch any
+} _Finally { ...
 }
 \end{uC++}
@@ -306 +308 @@
         if ( ... ) @throw@ @ExceptionInst@( E, /* intialization */ );
         ...
-} @catchResume@( E * ) { // must be pointer
-        ...
-} catch( E * ) {
-        ...
+} @catchResume@( E * ) { ... // pointer
+} catch( E * ) { ...
+} catch( exception_t * ) { ... // catch any
+} finally { ...
 }
 \end{cfa}
@@ -362 +364 @@
 struct S {
         ... // fields
-        @S@(...) { ... }
-        @~S@(...) { ... }
+        @S@( ... ) { ... }
+        @~S@( ... ) { ... }
 };
 \end{uC++}
@@ -371 +373 @@
         ... // fields
 };
-@?{}@( @S & s,@ ...) { ... }
+@?{}@( @S & s,@ ... ) { ... }
 @^?{}@( @S & s@ ) { ... }
 \end{cfa}
@@ -432 +434 @@
 
 S s;
-@s.@setter( 3 );  // object-oriented calls
+@s.@setter( 3 );  // object calls
 int k = @s.@getter();
 \end{uC++}
@@ -444 +446 @@
 int getter( @S & s@ ) @with(s)@ { return i; }
 S s;
-setter( @s,@ 3 );  // normal routine calls
+setter( @s,@ 3 );  // normal calls
 int k = getter( @s@ );
 \end{cfa}
@@ -520 +522 @@
 }
 void mem( C & c, ... ) {
-        ... resume(); ...
+        ... resume( c ); ...
 }
 \end{cfa}
@@ -558 +560 @@
         unlock( m );
 }
-@mutex( sout )@ sout | i;  // safe I/O
+@mutex( sout )@ sout | i;  // thread safe I/O
 \end{cfa}
 \end{tabular}