Changeset 59fb462

Timestamp:

Aug 7, 2024, 12:02:49 AM (3 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

f3abce9

Parents:

43ab5fb

Message:

Add code comment along the example

File:

• doc/theses/jiada_liang_MMath/CFAenum.tex (modified) (1 diff)

doc/theses/jiada_liang_MMath/CFAenum.tex

@@ -236 +236 @@
 However, the position of the underlying representation is the order of the enumerator in the new enumeration.
 \begin{cfa}
-enum() E1 { B };                                                        
-enum() E2 { C, D };                                                     
-enum() E3 { inline E1, inline E2, D };
-enum() E4 { A, inline E3, E };
-\end{cfa}
-In the example above, @B@ has the position 0 in @E1@ and @E3@, but it at the position 0 in @E4@ as taking the 0 there.
-@C@ is at the position 0 in E2, 1 in E3 and 2 in E4. @D@ is at the position 1 in E2, 2 in E3 and 3 in E4. 
+enum() E1 { B };                                                                $\C{// B}$                                              
+enum() E2 { C, D };                                                             $\C{// C D}$
+enum() E3 { inline E1, inline E2, E };                  $\C{// {\color{red}[\(_{E1}\)} B {\color{red}]} {\color{red}[\(_{E2}\)} C, D {\color{red}]} E}$
+enum() E4 { A, inline E3, F};                                   $\C{// A {\color{blue}[\(_{E3}\)} {\color{red}[\(_{E1}\)} B {\color{red}]} {\color{red}[\(_{E2}\)} C, D {\color{red}]} E {\color{blue}]} F }$
+\end{cfa}
+In the example above, @B@ has the position 0 in @E1@ and @E3@, but it at the position 1 in @E4@ as @A@ taking the 0 in @E4@.
+@C@ is at the position 0 in @E2@, 1 in @E3@ and 2 in E4. @D@ is at the position 1 in @E2@, 2 in @E3@ and 3 in @E4@. 
 
 A subtype enumeration can be casted, or implicitly converted into its supertype, with a @safe@ cost. Such conversion is an @enumeration conversion@.