Changeset e561551 for doc/theses/jiada_liang_MMath/implementation.tex

Timestamp:

Jul 24, 2024, 1:49:16 PM (4 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

a03ed29

Parents:

18d7aaf

Message:

Save current progress for pull

File:

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

doc/theses/jiada_liang_MMath/implementation.tex

@@ -1 +1 @@
 \chapter{Enumeration Implementation}
-
-
-\section{Enumeration Variable}
-
-Although \CFA enumeration captures three different attributes, an enumeration instance does not store all this information.
-The @sizeof@ a \CFA enumeration instance is always 4 bytes, the same size as a C enumeration instance (@sizeof( int )@).
-It comes from the fact that:
-\begin{enumerate}
-\item
-a \CFA enumeration is always statically typed;
-\item
-it is always resolved as one of its attributes regarding real usage.
-\end{enumerate}
-When creating an enumeration instance @colour@ and assigning it with the enumerator @Color.Green@, the compiler allocates an integer variable and stores the position 1.
-The invocations of $positions()$, $value()$, and $label()$ turn into calls to special functions defined in the prelude:
-\begin{cfa}
-position( green );
->>> position( Colour, 1 ) -> int
-value( green );
->>> value( Colour, 1 ) -> T
-label( green );
->>> label( Colour, 1) -> char *
-\end{cfa}
-@T@ represents the type declared in the \CFA enumeration defined and @char *@ in the example.
-These generated functions are $Companion Functions$, they take an $companion$ object and the position as parameters.
-
 
 \section{Enumeration Data}