Index: doc/LaTeXmacros/lstlang.sty =================================================================== --- doc/LaTeXmacros/lstlang.sty (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/LaTeXmacros/lstlang.sty (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -8,6 +8,6 @@ %% Created On : Sat May 13 16:34:42 2017 %% Last Modified By : Peter A. Buhr -%% Last Modified On : Wed Jul 24 07:40:11 2024 -%% Update Count : 45 +%% Last Modified On : Fri Jan 17 14:29:52 2025 +%% Update Count : 46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -117,5 +117,5 @@ __auto_type, basetypeof, _Bool, bool, catch, catchResume, choose, coerce, cofor, corun, countof, _Complex, __complex, __complex__, __const, __const__, continue, coroutine, _Decimal32, _Decimal64, _Decimal128, disable, dtype, enable, exception, __extension__, - fallthrough, fallthru, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64, + fallthrough, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64, _Float64x, _Float128, _Float128x, forall, fortran, ftype, generator, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, int128, __int128, __int128_t, __label__, monitor, mutex, _Noreturn, __builtin_offsetof, one_t, or, Index: doc/papers/OOPSLA17/generic_types.tex =================================================================== --- doc/papers/OOPSLA17/generic_types.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/papers/OOPSLA17/generic_types.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -66,5 +66,5 @@ morekeywords={_Alignas,_Alignof,__alignof,__alignof__,asm,__asm,__asm__,_At,_Atomic,__attribute,__attribute__,auto, _Bool,catch,catchResume,choose,_Complex,__complex,__complex__,__const,__const__,disable,dtype,enable,__extension__, - fallthrough,fallthru,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,one_t,otype,restrict,_Static_assert, + fallthrough,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,one_t,otype,restrict,_Static_assert, _Thread_local,throw,throwResume,trait,try,ttype,typeof,__typeof,__typeof__,zero_t}, }% Index: doc/papers/concurrency/Paper.tex =================================================================== --- doc/papers/concurrency/Paper.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/papers/concurrency/Paper.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -162,5 +162,5 @@ _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__, auto, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__, - coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally, + coroutine, disable, dtype, enable, exception, __extension__, fallthrough, finally, __float80, float80, __float128, float128, forall, ftype, generator, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or, Index: doc/papers/general/Paper.tex =================================================================== --- doc/papers/general/Paper.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/papers/general/Paper.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -143,5 +143,5 @@ _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__, auto, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__, - coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally, + coroutine, disable, dtype, enable, exception, __extension__, fallthrough, finally, __float80, float80, __float128, float128, forall, ftype, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or, Index: doc/papers/llheap/Paper.tex =================================================================== --- doc/papers/llheap/Paper.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/papers/llheap/Paper.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -108,5 +108,5 @@ _Alignas, _Alignof, __alignof, __alignof__, and, asm, __asm, __asm__, _Atomic, __attribute, __attribute__, __auto_type, basetypeof, _Bool, catch, catchResume, choose, coerce, _Complex, __complex, __complex__, __const, __const__, - coroutine, _Decimal32, _Decimal64, _Decimal128, disable, enable, exception, __extension__, fallthrough, fallthru, finally, fixup, + coroutine, _Decimal32, _Decimal64, _Decimal128, disable, enable, exception, __extension__, fallthrough, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64, _Float64x, _Float128, _Float128x, forall, fortran, generator, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, int128, __int128, __int128_t, Index: doc/refrat/keywords.tex =================================================================== --- doc/refrat/keywords.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/refrat/keywords.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -11,6 +11,6 @@ %% Created On : Sun Aug 6 08:17:27 2017 %% Last Modified By : Peter A. Buhr -%% Last Modified On : Fri Apr 6 15:16:11 2018 -%% Update Count : 7 +%% Last Modified On : Fri Jan 17 14:45:13 2025 +%% Update Count : 8 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{tabular}{@{}llllll@{}} @@ -28,5 +28,4 @@ ©exception© \\ ©fallthrough© \\ -©fallthru© \\ \end{tabular} & Index: doc/refrat/refrat.tex =================================================================== --- doc/refrat/refrat.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/refrat/refrat.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -11,6 +11,6 @@ %% Created On : Wed Apr 6 14:52:25 2016 %% Last Modified By : Peter A. Buhr -%% Last Modified On : Mon Oct 5 09:02:53 2020 -%% Update Count : 110 +%% Last Modified On : Fri Jan 17 14:45:04 2025 +%% Update Count : 111 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -3348,5 +3348,5 @@ The ©choose© statement is the same as the ©switch© statement except control transfers to the end of the ©choose© statement at a ©case© or ©default© labeled statement. -The ©fallthru© statement is used to fall through to the next ©case© or ©default© labeled statement. +The ©fallthrough© statement is used to fall through to the next ©case© or ©default© labeled statement. The following have identical meaning: \begin{flushleft} @@ -3366,6 +3366,6 @@ case 1: ... ; // exit case 2: ... ; // exit - case 3: ... ; fallthru; - case 4: ... ; fallthru; + case 3: ... ; fallthrough; + case 4: ... ; fallthrough; default: ... ; // exit } Index: doc/theses/aaron_moss_PhD/phd/cfa-macros.tex =================================================================== --- doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -27,5 +27,5 @@ _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__, auto, bool, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__, - coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally, + coroutine, disable, dtype, enable, exception, __extension__, fallthrough, finally, __float80, float80, __float128, float128, forall, ftype, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or, Index: doc/theses/andrew_beach_MMath/cfalab.sty =================================================================== --- doc/theses/andrew_beach_MMath/cfalab.sty (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/theses/andrew_beach_MMath/cfalab.sty (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -76,5 +76,5 @@ choose, _Complex, __complex, __complex__, __const, __const__, coroutine, disable, dtype, enable, exception, __extension__, - fallthrough, fallthru, finally, __float80, float80, __float128, + fallthrough, finally, __float80, float80, __float128, float128, forall, ftype, generator, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, __int128, int128, __label__, Index: doc/theses/andrew_beach_MMath/features.tex =================================================================== --- doc/theses/andrew_beach_MMath/features.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/theses/andrew_beach_MMath/features.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -822,5 +822,5 @@ control flow. Because of this requirement, local control flow out of the finally block -is forbidden. The compiler precludes any @break@, @continue@, @fallthru@ or +is forbidden. The compiler precludes any @break@, @continue@, @fallthrough@ or @return@ that causes control to leave the finally block. Other ways to leave the finally block, such as a @longjmp@ or termination are much harder to check, Index: doc/uC++toCFA/uC++toCFA.tex =================================================================== --- doc/uC++toCFA/uC++toCFA.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/uC++toCFA/uC++toCFA.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -11,6 +11,6 @@ %% Created On : Wed Apr 6 14:53:29 2016 %% Last Modified By : Peter A. Buhr -%% Last Modified On : Thu Jan 16 11:49:47 2025 -%% Update Count : 6281 +%% Last Modified On : Fri Jan 17 07:39:09 2025 +%% Update Count : 6284 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -588,37 +588,4 @@ -\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}} @@ -634,5 +601,4 @@ BEGIN osacquire( cout ) << "C" << endl; END BEGIN osacquire( cout ) << "D" << endl; END - BEGIN osacquire( cout ) << "E" << endl; END @COEND@ @COFOR@( i, 1, 10, @@ -651,5 +617,4 @@ corun { mutex( sout ) sout | "C"; } corun { mutex( sout ) sout | "D"; } - corun { mutex( sout ) sout | "E"; } } @cofor@( i; 10 ) { @@ -735,4 +700,37 @@ } \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} Index: doc/user/user.tex =================================================================== --- doc/user/user.tex (revision 3b21c9689f76fa7dd6b57be3084a8e37ab0d7809) +++ doc/user/user.tex (revision d96f7c4f1e2b7dfb521e83969e9704b7e12505da) @@ -11,6 +11,6 @@ %% Created On : Wed Apr 6 14:53:29 2016 %% Last Modified By : Peter A. Buhr -%% Last Modified On : Sat Dec 7 16:53:37 2024 -%% Update Count : 6970 +%% Last Modified On : Fri Jan 17 14:20:39 2025 +%% Update Count : 6971 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -893,5 +893,5 @@ still works. Nevertheless, reversing the default action would have a non-trivial effect on case actions that compound, such as the above example of processing shell arguments. -Therefore, to preserve backwards compatibility, it is necessary to introduce a new kind of ©switch© statement, called \Indexc{choose}, with no implicit fall-through semantics and an explicit fall-through if the last statement of a case-clause ends with the new keyword \Indexc{fallthrough}/\-\Indexc{fallthru}, \eg: +Therefore, to preserve backwards compatibility, it is necessary to introduce a new kind of ©switch© statement, called \Indexc{choose}, with no implicit fall-through semantics and an explicit fall-through if the last statement of a case-clause ends with the new keyword \Indexc{fallthrough}, \eg: \begin{cfa} ®choose® ( i ) { @@ -901,5 +901,5 @@ case 5: ... - ®fallthru®; §\C{// explicit fall through}§ + ®fallthrough®; §\C{// explicit fall through}§ case 7: ... @@ -911,5 +911,5 @@ Like the ©switch© statement, the ©choose© statement retains the fall-through semantics for a list of ©case© clauses. An implicit ©break© is applied only at the end of the \emph{statements} following a ©case© clause. -An explicit ©fallthru© is retained because it is a C-idiom most C programmers expect, and its absence might discourage programmers from using the ©choose© statement. +An explicit ©fallthrough© is retained because it is a C-idiom most C programmers expect, and its absence might discourage programmers from using the ©choose© statement. As well, allowing an explicit ©break© from the ©choose© is a carry over from the ©switch© statement, and expected by C programmers. \item @@ -950,5 +950,5 @@ case 3: if ( ... ) { - ... ®fallthru;® // goto case 4 + ... ®fallthrough;® // goto case 4 } else { ... @@ -985,5 +985,5 @@ for ( ... ) { // multi-level transfer - ... ®fallthru common;® + ... ®fallthrough common;® } ... @@ -8053,5 +8053,5 @@ \begin{cquote} \Indexc{basetypeof}, \Indexc{choose}, \Indexc{coroutine}, \Indexc{disable}, -\Indexc{enable}, \Indexc{exception}, \Indexc{fallthrough}, \Indexc{fallthru}, +\Indexc{enable}, \Indexc{exception}, \Indexc{fallthrough}, \Indexc{fallthrough}, \Indexc{finally}, \Indexc{fixup}, \Indexc{forall},\Indexc{generator}, \Indexc{int128}, \Indexc{monitor}, \Indexc{mutex}, \Indexc{one_t}, @@ -8079,5 +8079,5 @@ \Indexc{exception} \\ \Indexc{fallthrough} \\ -\Indexc{fallthru} \\ +\Indexc{fallthrough} \\ \end{tabular} &