Changeset 5aeb1a9

Timestamp:

Jul 24, 2024, 7:11:56 PM (4 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

38e20a80

Parents:

a03ed29 (diff), 878b1385 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Files:

• doc/theses/jiada_liang_MMath/CFAenum.tex (modified) (1 diff)
• tests/enum_tests/.expect/input.txt (modified) (1 diff)
• tests/enum_tests/input.cfa (modified) (2 diffs)

doc/theses/jiada_liang_MMath/CFAenum.tex

@@ -395 +395 @@
 
 
+\section{Enumeration I/O}
+
+As seen in multiple examples, enumerations can be printed and the default property printed is the enumerator's label, which is similar in other programming languages.
+However, very few programming languages provide a mechanism to read in enumerator values.
+Even the @boolean@ type in many languages does not have a mechanism for input using the enumerators @true@ or @false@.
+\VRef[Figure]{f:EnumerationI/O} show \CFA enumeration input based on the enumerator labels.
+When the enumerator labels are packed together in the input stream, the input algorithm scans for the longest matching string.
+For basic types in \CFA, the constants use to initialize a variable in a program are available to initialize a variable using input, where strings constants can be quoted or unquoted.
+
+\begin{figure}
+\begin{cquote}
+\setlength{\tabcolsep}{15pt}
+\begin{tabular}{@{}ll@{}}
+\begin{cfa}
+int main() {
+        enum(int ) E { BBB = 3, AAA, AA, AB, B };
+        E e;
+
+        for () {
+                try {
+                        @sin | e@;
+                } catch( missing_data * ) {
+                        sout | "missing data";
+                        continue; // try again
+                }
+          if ( eof( sin ) ) break;
+                sout | e | "= " | value( e );
+        }
+}
+\end{cfa}
+&
+\begin{cfa}
+$\rm input$
+BBBABAAAAB
+BBB AAA AA AB B
+
+$\rm output$
+BBB = 3
+AB = 6
+AAA = 4
+AB = 6
+BBB = 3
+AAA = 4
+AA = 5
+AB = 6
+B = 7
+
+\end{cfa}
+\end{tabular}
+\end{cquote}
+\caption{Enumeration I/O}
+\label{f:EnumerationI/O}
+\end{figure}
+
+
+
 \section{Planet Example}
 

tests/enum_tests/.expect/input.txt

@@ -1 @@
-"BBB"
-"AB"
-"AAA"
-"AB"
-"BBB"
-"AAA"
-"AB"
-"AA"
-"B"
-"BBB"
-"AAA"
-"AA"
-"AB"
-"B"
-"BBB"
-"AAA"
-"AA"
-"AB"
-"B"
-"AAA"
-"B"
-"CB"
-"AC"
-"CB"
-"AC"
-"BBB"
-"AAA"
-"AA"
+BBB = 3
+AB = 6
+AAA = 4
+AB = 6
+BBB = 3
+AAA = 4
+AB = 6
+AA = 5
+B = 7
+BBB = 3
+AAA = 4
+AA = 5
+AB = 6
+B = 7
+BBB = 3
+AAA = 4
+AA = 5
+AB = 6
+B = 7
+AAA = 4
+B = 7
+CB = 8
+AC = 9
+CB = 8
+AC = 9
+BBB = 3
+AAA = 4
+AA = 5
 missing data
-"AAA"
-"B"
-"CB"
-"AC"
-"CB"
-"AC"
-"BBB"
-"AAA"
-"AA"
+AAA = 4
+B = 7
+CB = 8
+AC = 9
+CB = 8
+AC = 9
+BBB = 3
+AAA = 4
+AA = 5
 missing data

tests/enum_tests/input.cfa

@@ -3 +3 @@
 
 int main() {
-        enum(int) E { BBB, AAA, AA, AB, B, CB, AC };
+        enum(int ) E { BBB = 3, AAA, AA, AB, B, CB, AC };
         E e;
 
@@ -14 +14 @@
                 } // try
           if ( eof( sin ) ) break;
-                sout | "\"" | e | "\"";
+                sout | e | "= " | value( e );
         } // for
 }