Changeset 692afbb


Ignore:
Timestamp:
Mar 14, 2018, 6:36:44 PM (6 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc
Children:
13f5a70
Parents:
7c2a7b6
Message:

update description of fallthrough

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/papers/general/Paper.tex

    r7c2a7b6 r692afbb  
    174174\author[1]{Robert Schluntz}
    175175\author[1]{Peter A. Buhr*}
     176\authormark{Aaron Moss \textsc{et al}}
    176177
    177178\address[1]{\orgdiv{David R. Cheriton School of Computer Science}, \orgname{University of Waterloo}, \orgaddress{\state{Ontario}, \country{Canada}}}
     
    221222Love it or hate it, C is extremely popular, highly used, and one of the few systems languages.
    222223In many cases, \CC is often used solely as a better C.
    223 Nonetheless, C, first standardized over thirty years ago, lacks many features that make programming in more modern languages safer and more productive.
     224Nevertheless, C, first standardized over thirty years ago, lacks many features that make programming in more modern languages safer and more productive.
    224225
    225226\CFA (pronounced ``C-for-all'', and written \CFA or Cforall) is an evolutionary extension of the C programming language that aims to add modern language features to C while maintaining both source compatibility with C and a familiar programming model for programmers.
     
    10281029\lstMakeShortInline@%
    10291030\end{cquote}
    1030 for a contiguous list:\footnote{gcc has the same mechanism but awkward syntax, \lstinline@2 ...42@, because a space is required after a number, otherwise the period is a decimal point.}
     1031for a contiguous list:\footnote{gcc has the same mechanism but awkward syntax, \lstinline@2 ...42@, as a space is required after a number, otherwise the first period is a decimal point.}
    10311032\begin{cquote}
    10321033\lstDeleteShortInline@%
     
    11251126
    11261127Finally, Figure~\ref{f:FallthroughStatement} shows @fallthrough@ may appear in contexts other than terminating a @case@ clause, and have an explicit transfer label allowing separate cases but common final-code for a set of cases.
    1127 The target label must be below the @fallthrough@, \ie @fallthrough@ cannot form a loop, and the label may not be nested in a control structure, \ie it must be at the same level as the @case@ clauses;
    1128 the target label may be case @default@.
     1128The target label must be below the @fallthrough@ and may not be nested in a control structure, \ie @fallthrough@ cannot form a loop, and the target label must be at the same or higher level as the containing @case@ clause and located at the same level as a @case@ clause;
     1129the target label may be case @default@, but only associated with the current @switch@/@choose@ statement.
    11291130
    11301131\begin{figure}
     
    11611162\label{f:FallthroughStatement}
    11621163\end{figure}
    1163 
    1164 Collectively, these control-structure enhancements reduce programmer burden and increase readability and safety.
    11651164
    11661165
     
    15321531}
    15331532\end{cfa}
     1533
     1534Collectively, these control-structure enhancements reduce programmer burden and increase readability and safety.
    15341535
    15351536
Note: See TracChangeset for help on using the changeset viewer.