Changeset d96f7c4 for doc


Ignore:
Timestamp:
Jan 17, 2025, 3:46:34 PM (10 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
df56e25
Parents:
3b340d68
Message:

expunge fallthru keyword and replace its usages with fallthrough

Location:
doc
Files:
12 edited

Legend:

Unmodified
Added
Removed

  • doc/LaTeXmacros/lstlang.sty

    r3b340d68 rd96f7c4  
    88%% Created On       : Sat May 13 16:34:42 2017
    99%% Last Modified By : Peter A. Buhr
    10 %% Last Modified On : Wed Jul 24 07:40:11 2024
    11 %% Update Count     : 45
     10%% Last Modified On : Fri Jan 17 14:29:52 2025
     11%% Update Count     : 46
    1212%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1313
    … …  
    117117                __auto_type, basetypeof, _Bool, bool, catch, catchResume, choose, coerce, cofor, corun, countof, _Complex, __complex, __complex__,
    118118                __const, __const__, continue, coroutine, _Decimal32, _Decimal64, _Decimal128, disable, dtype, enable, exception, __extension__,
    119                 fallthrough, fallthru, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64,
     119                fallthrough, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64,
    120120                _Float64x, _Float128, _Float128x, forall, fortran, ftype, generator, _Generic, _Imaginary, __imag, __imag__, inline,
    121121                __inline, __inline__, int128, __int128, __int128_t, __label__, monitor, mutex, _Noreturn, __builtin_offsetof, one_t, or,

  • doc/papers/OOPSLA17/generic_types.tex

    r3b340d68 rd96f7c4  
    6666        morekeywords={_Alignas,_Alignof,__alignof,__alignof__,asm,__asm,__asm__,_At,_Atomic,__attribute,__attribute__,auto,
    6767                _Bool,catch,catchResume,choose,_Complex,__complex,__complex__,__const,__const__,disable,dtype,enable,__extension__,
    68                 fallthrough,fallthru,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,one_t,otype,restrict,_Static_assert,
     68                fallthrough,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,one_t,otype,restrict,_Static_assert,
    6969                _Thread_local,throw,throwResume,trait,try,ttype,typeof,__typeof,__typeof__,zero_t},
    7070}%

  • doc/papers/concurrency/Paper.tex

    r3b340d68 rd96f7c4  
    162162                _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__,
    163163                auto, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__,
    164                 coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally,
     164                coroutine, disable, dtype, enable, exception, __extension__, fallthrough, finally,
    165165                __float80, float80, __float128, float128, forall, ftype, generator, _Generic, _Imaginary, __imag, __imag__,
    166166                inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or,

  • doc/papers/general/Paper.tex

    r3b340d68 rd96f7c4  
    143143                _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__,
    144144                auto, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__,
    145                 coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally,
     145                coroutine, disable, dtype, enable, exception, __extension__, fallthrough, finally,
    146146                __float80, float80, __float128, float128, forall, ftype, _Generic, _Imaginary, __imag, __imag__,
    147147                inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or,

  • doc/papers/llheap/Paper.tex

    r3b340d68 rd96f7c4  
    108108                _Alignas, _Alignof, __alignof, __alignof__, and, asm, __asm, __asm__, _Atomic, __attribute, __attribute__,
    109109                __auto_type, basetypeof, _Bool, catch, catchResume, choose, coerce, _Complex, __complex, __complex__, __const, __const__,
    110                 coroutine, _Decimal32, _Decimal64, _Decimal128, disable, enable, exception, __extension__, fallthrough, fallthru, finally, fixup,
     110                coroutine, _Decimal32, _Decimal64, _Decimal128, disable, enable, exception, __extension__, fallthrough, finally, fixup,
    111111                __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64, _Float64x, _Float128, _Float128x,
    112112                forall, fortran, generator, _Generic, _Imaginary, __imag, __imag__, inline, __inline, __inline__, int128, __int128, __int128_t,

  • doc/refrat/keywords.tex

    r3b340d68 rd96f7c4  
    1111%% Created On       : Sun Aug  6 08:17:27 2017
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Fri Apr  6 15:16:11 2018
    14 %% Update Count     : 7
     13%% Last Modified On : Fri Jan 17 14:45:13 2025
     14%% Update Count     : 8
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616\begin{tabular}{@{}llllll@{}}
    … …  
    2828©exception©             \\
    2929©fallthrough©   \\
    30 ©fallthru©              \\
    3130\end{tabular}
    3231&

  • doc/refrat/refrat.tex

    r3b340d68 rd96f7c4  
    1111%% Created On       : Wed Apr  6 14:52:25 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Mon Oct  5 09:02:53 2020
    14 %% Update Count     : 110
     13%% Last Modified On : Fri Jan 17 14:45:04 2025
     14%% Update Count     : 111
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    33483348
    33493349The ©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.
    3350 The ©fallthru© statement is used to fall through to the next ©case© or ©default© labeled statement.
     3350The ©fallthrough© statement is used to fall through to the next ©case© or ©default© labeled statement.
    33513351The following have identical meaning:
    33523352\begin{flushleft}
    … …  
    33663366  case 1: ... ; // exit
    33673367  case 2: ... ; // exit
    3368   case 3: ... ; fallthru;
    3369   case 4: ... ; fallthru;
     3368  case 3: ... ; fallthrough;
     3369  case 4: ... ; fallthrough;
    33703370  default: ... ; // exit
    33713371}

  • doc/theses/aaron_moss_PhD/phd/cfa-macros.tex

    r3b340d68 rd96f7c4  
    2727                _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__,
    2828                auto, bool, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__,
    29                 coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally,
     29                coroutine, disable, dtype, enable, exception, __extension__, fallthrough, finally,
    3030                __float80, float80, __float128, float128, forall, ftype, _Generic, _Imaginary, __imag, __imag__,
    3131                inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or,

  • doc/theses/andrew_beach_MMath/cfalab.sty

    r3b340d68 rd96f7c4  
    7676        choose, _Complex, __complex, __complex__, __const, __const__,
    7777        coroutine, disable, dtype, enable, exception, __extension__,
    78         fallthrough, fallthru, finally, __float80, float80, __float128,
     78        fallthrough, finally, __float80, float80, __float128,
    7979        float128, forall, ftype, generator, _Generic, _Imaginary, __imag,
    8080        __imag__, inline, __inline, __inline__, __int128, int128, __label__,

  • doc/theses/andrew_beach_MMath/features.tex

    r3b340d68 rd96f7c4  
    822822control flow.
    823823Because of this requirement, local control flow out of the finally block
    824 is forbidden. The compiler precludes any @break@, @continue@, @fallthru@ or
     824is forbidden. The compiler precludes any @break@, @continue@, @fallthrough@ or
    825825@return@ that causes control to leave the finally block. Other ways to leave
    826826the finally block, such as a @longjmp@ or termination are much harder to check,

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

    r3b340d68 rd96f7c4  
    1111%% Created On       : Wed Apr  6 14:53:29 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Thu Jan 16 11:49:47 2025
    14 %% Update Count     : 6281
     13%% Last Modified On : Fri Jan 17 07:39:09 2025
     14%% Update Count     : 6284
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    588588
    589589
    590 \section{Thread}
    591 
    592 \begin{cquote}
    593 \begin{tabular}{@{}l|ll@{}}
    594 \begin{uC++}
    595 
    596 @_Task@ T {
    597         // private task fields
    598         void main() {
    599                 ... @_Resume E( ... ) _At partner@;
    600                 ... @uThisTask();@ ...
    601         }
    602   public:
    603 };
    604 \end{uC++}
    605 &
    606 \begin{cfa}
    607 #include <$thread$.hfa>
    608 @thread@ T {
    609         // private task fields
    610 
    611 };
    612 void main( @T & t@ ) {
    613         ... @resumeAt( partner, ExceptionInst( E, ... )@ );
    614         ... @active_thread();@ ...
    615 }
    616 \end{cfa}
    617 \\
    618 \multicolumn{2}{@{}l@{}}{\lstinline{T t; // start thread in main routine}}
    619 \end{tabular}
    620 \end{cquote}
    621 
    622 
    623590\section{\lstinline{COBEGIN}/\lstinline{COFOR}}
    624591
    … …  
    634601                BEGIN osacquire( cout ) << "C" << endl; END
    635602                BEGIN osacquire( cout ) << "D" << endl; END
    636                 BEGIN osacquire( cout ) << "E" << endl; END
    637603        @COEND@
    638604        @COFOR@( i, 1, 10,
    … …  
    651617                corun { mutex( sout ) sout | "C"; }
    652618                corun { mutex( sout ) sout | "D"; }
    653                 corun { mutex( sout ) sout | "E"; }
    654619        }
    655620        @cofor@( i; 10 ) {
    … …  
    735700}
    736701\end{cfa}
     702\end{tabular}
     703\end{cquote}
     704
     705
     706\section{Thread}
     707
     708\begin{cquote}
     709\begin{tabular}{@{}l|ll@{}}
     710\begin{uC++}
     711
     712@_Task@ T {
     713        // private task fields
     714        void main() {
     715                ... @_Resume E( ... ) _At partner@;
     716                ... @uThisTask();@ ...
     717        }
     718  public:
     719};
     720\end{uC++}
     721&
     722\begin{cfa}
     723#include <$thread$.hfa>
     724@thread@ T {
     725        // private task fields
     726
     727};
     728void main( @T & t@ ) {
     729        ... @resumeAt( partner, ExceptionInst( E, ... )@ );
     730        ... @active_thread();@ ...
     731}
     732\end{cfa}
     733\\
     734\multicolumn{2}{@{}l@{}}{\lstinline{T t; // start thread in main routine}}
    737735\end{tabular}
    738736\end{cquote}

  • doc/user/user.tex

    r3b340d68 rd96f7c4  
    1111%% Created On       : Wed Apr  6 14:53:29 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Sat Dec  7 16:53:37 2024
    14 %% Update Count     : 6970
     13%% Last Modified On : Fri Jan 17 14:20:39 2025
     14%% Update Count     : 6971
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    893893still works.
    894894Nevertheless, reversing the default action would have a non-trivial effect on case actions that compound, such as the above example of processing shell arguments.
    895 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:
     895Therefore, 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:
    896896\begin{cfa}
    897897®choose® ( i ) {
    … …  
    901901  case 5:
    902902        ...
    903         ®fallthru®; §\C{// explicit fall through}§
     903        ®fallthrough®; §\C{// explicit fall through}§
    904904  case 7:
    905905        ...
    … …  
    911911Like the ©switch© statement, the ©choose© statement retains the fall-through semantics for a list of ©case© clauses.
    912912An implicit ©break© is applied only at the end of the \emph{statements} following a ©case© clause.
    913 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.
     913An 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.
    914914As well, allowing an explicit ©break© from the ©choose© is a carry over from the ©switch© statement, and expected by C programmers.
    915915\item
    … …  
    950950  case 3:
    951951        if ( ... ) {
    952                 ... ®fallthru;® // goto case 4
     952                ... ®fallthrough;® // goto case 4
    953953        } else {
    954954                ...
    … …  
    985985                for ( ... ) {
    986986                        // multi-level transfer
    987                         ... ®fallthru common;®
     987                        ... ®fallthrough common;®
    988988                }
    989989                ...
    … …  
    80538053\begin{cquote}
    80548054\Indexc{basetypeof}, \Indexc{choose}, \Indexc{coroutine}, \Indexc{disable},
    8055 \Indexc{enable}, \Indexc{exception}, \Indexc{fallthrough}, \Indexc{fallthru},
     8055\Indexc{enable}, \Indexc{exception}, \Indexc{fallthrough}, \Indexc{fallthrough},
    80568056\Indexc{finally}, \Indexc{fixup}, \Indexc{forall},\Indexc{generator},
    80578057\Indexc{int128}, \Indexc{monitor}, \Indexc{mutex}, \Indexc{one_t},
    … …  
    80798079\Indexc{exception}              \\
    80808080\Indexc{fallthrough}    \\
    8081 \Indexc{fallthru}               \\
     8081\Indexc{fallthrough}    \\
    80828082\end{tabular}
    80838083&
Note: See TracChangeset for help on using the changeset viewer.