- Timestamp:
- Aug 7, 2024, 6:17:52 PM (4 months ago)
- Branches:
- master
- Children:
- b0069a30
- Parents:
- 90e7a2f
- Location:
- doc/theses/jiada_liang_MMath
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/jiada_liang_MMath/CFAenum.tex
r90e7a2f r9d3a4cc 1 \chapter{\ CFAEnumeration}1 \chapter{\texorpdfstring{\CFA}{Cforall} Enumeration} 2 2 3 3 \CFA extends C-Style enumeration by adding a number of new features that bring enumerations inline with other modern programming languages. -
doc/theses/jiada_liang_MMath/Cenum.tex
r90e7a2f r9d3a4cc 1 \chapter{C Enumeration in \ CFA}1 \chapter{C Enumeration in \texorpdfstring{\CFA}{Cforall}} 2 2 3 3 \CFA supports legacy C enumeration using the same syntax for backwards compatibility. -
doc/theses/jiada_liang_MMath/background.tex
r90e7a2f r9d3a4cc 28 28 29 29 30 \subsection{C \ lstinline{const}}30 \subsection{C \texorpdfstring{\lstinline{const}}{const}} 31 31 \label{s:Cconst} 32 32 … … 233 233 234 234 235 \section{\ CFA}235 \section{\texorpdfstring{\CFA}{Cforall}} 236 236 237 237 \CFA in \emph{not} an object-oriented programming-language, \ie functions cannot be nested in aggregate types, and hence, there is no \newterm{receiver} notation for calling functions, \eg @obj.method(...)@, where the first argument proceeds the call and becomes an implicit first (\lstinline[language=C++]{this}) parameter. -
doc/theses/jiada_liang_MMath/relatedwork.tex
r90e7a2f r9d3a4cc 448 448 449 449 450 \section{C\ raisebox{-0.7ex}{\LARGE$^\sharp$}\xspace} % latex bug: cannot use \relsize{2} so use \LARGE450 \section{C\texorpdfstring{\raisebox{-0.7ex}{\LARGE$^\sharp$}\xspace}{Csharp}} % latex bug: cannot use \relsize{2} so use \LARGE 451 451 \label{s:Csharp} 452 452 -
doc/theses/jiada_liang_MMath/trait.tex
r90e7a2f r9d3a4cc 24 24 25 25 26 \section{Traits \ lstinline{CfaEnum} and \lstinline{TypedEnum}}26 \section{Traits \texorpdfstring{\lstinline{CfaEnum}{CfaEnum}} and \texorpdfstring{\lstinline{TypedEnum}}{TypedEnum}} 27 27 28 28 Traits @CfaEnum@ and @TypedEnum@ define the enumeration attributes: @label@, @posn@, @value@, and @Countof@.
Note: See TracChangeset
for help on using the changeset viewer.