Changeset 1697c40 for doc/theses/jiada_liang_MMath/CFAenum.tex

Timestamp:

Aug 4, 2024, 11:47:20 AM (42 hours ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

065de93

Parents:

b797fe36

Message:

merge local changes

File:

• doc/theses/jiada_liang_MMath/CFAenum.tex (modified) (2 diffs)

doc/theses/jiada_liang_MMath/CFAenum.tex

@@ -202 +202 @@
 
 \CFA Plan-9 inheritance may be used with \CFA enumerations, where Plan-9 inheritance is containment inheritance with implicit unscoping (like a nested unnamed @struct@/@union@ in C).
+Containment is norminative: an enumeration inherits all enumerators from another enumeration by declaring an @inline statement@ in its enumerator lists.
+\begin{cfa}
+enum( char * ) Names { /* as above */ };
+enum( char * ) Names2 { @inline Names@, Jack = "JACK", Jill = "JILL" };
+enum( char * ) Names3 { @inline Names2@, Sue = "SUE", Tom = "TOM" };
+\end{cfa}
+In the preceding example, @Names2@ is defined with five enumerators, three of which are from @Name@ through containment, and two are self-declared.
+@Names3@ inherits all five members from @Names2@ and declare two additional enumerators.
+
+Enumeration inheritance forms a subset relationship. Specifically, the inheritance relationship for the example above is:
+\begin{cfa}
+Names $\(\subset\)$ Names2 $\(\subset\)$ Names3 $\C{// enum type of Names}$
+\end{cfa}
+
 Inheritance can be nested, and a \CFA enumeration can inline enumerators from more than one \CFA enumeration, forming a tree-like hierarchy.
 However, the uniqueness of enumeration name applies to enumerators, including those from supertypes, meaning an enumeration cannot name enumerator with the same label as its subtype's members, or inherits 
@@ -207 +221 @@
 common supertype (the diamond problem), since such would unavoidably introduce duplicate enumerator labels. 
 
-\begin{cfa}
-enum( char * ) Names { /* as above */ };
-enum( char * ) Names2 { @inline Names@, Jack = "JACK", Jill = "JILL" };
-enum( char * ) Names3 { @inline Names2@, Sue = "SUE", Tom = "TOM" };
-\end{cfa}
 
 % Enumeration @Name2@ inherits all the enumerators and their values from enumeration @Names@ by containment, and a @Names@ enumeration is a @subtype@ of enumeration @Name2@.
 % Note, that enumerators must be unique in inheritance but enumerator values may be repeated.
 
-@Names2@ is defined with five enumerators, three of which are from @Name@ through containment, and two are self-declared.
-@Names3@ inherits all five members from @Names2@ and declare two additional enumerators.
+
 
 % The enumeration type for the inheriting type must be the same as the inherited type;
 % hence the enumeration type may be omitted for the inheriting enumeration and it is inferred from the inherited enumeration, as for @Name3@.
 % When inheriting from integral types, automatic numbering may be used, so the inheritance placement left to right is important.
-Specifically, the inheritance relationship for @Names@ is:
-\begin{cfa}
-Names $\(\subset\)$ Names2 $\(\subset\)$ Names3 $\C{// enum type of Names}$
-\end{cfa}
+
 
 % The enumeration base for the subtype must be the same as the super type.