Changeset 85855b0 for libcfa/src/enum.hfa

Timestamp:

Jun 10, 2024, 2:43:13 AM (4 weeks ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

42cdd07d

Parents:

d68de59

Message:

1. Implement enum cast; 2. Change valueE so that opague enum returns quasi_void; 3. change enum hiding interpretation and pass visiting scheme

File:

• libcfa/src/enum.hfa (modified) (1 diff)

libcfa/src/enum.hfa

@@ -1 +1 @@
 #pragma once
 
-forall(T) { // T is the based type of enum(T)
-    forall(E) trait Bounded {
-        E lowerBound();
-        E upperBound();
-    };
+#include "iostream.hfa"
 
-    forall(E| Bounded(T, E)) trait Serial {
-        unsigned fromInstance(E e);
-        E fromInt(unsigned i);
-        E succ(E e);
-        E pred(E e);
-    };
+forall(E) trait Bounded {
+    E lowerBound();
+    E upperBound();
+};
 
-    // Opague Enum + TypedEnum
-    forall(E | Serial(T, E)) trait CfaEnum { 
-        char * labelE(E e);
-        unsigned int posE(E e);
-    };
+forall(E | Bounded(E)) trait Serial {
+    unsigned fromInstance(E e);
+    E fromInt(unsigned i);
+    E succ(E e);
+    E pred(E e);
+};
 
-    forall(E| CfaEnum(T, E)) trait TypedEnum {
-        T valueE(E e);
-    };
+// Design one
+forall(E, V | Serial(E)) trait CfaEnum {
+    char* labelE(E e);
+    unsigned int posE(E e);
+    V valueE(E e);
+    char* type_name(E e);
+};
 
-        forall(E | TypedEnum(T, E)) {
-                // comparison
-                int ?==?(E l, E r);                                                             // true if l and r are same enumerators
-                int ?!=?(E l, E r);                                                             // true if l and r are different enumerators
-                int ?!=?(E l, zero_t);                                                  // true if l is not the first enumerator
-                int ?<?(E l, E r);                                                              // true if l is an enuemerator before r
-                int ?<=?(E l, E r);                                                             // true if l before or the same as r
-                int ?>?(E l, E r);                                                              // true if l is an enuemrator after r
-                int ?>=?(E l, E r);                                                             // true if l after or the same as r
-        }
-}
+forall(ostype & | basic_ostream(ostype), E, V| CfaEnum(E, V))
+ostype & ?|?(ostype&, E);
+
+forall(ostype & | basic_ostream(ostype), E| CfaEnum(E, quasi_void))
+ostype & ?|?(ostype&, E);
+
+// Design two <- should go for this if we have change the cost model
+// forall(E | Serial(E)) trait CfaEnum {
+//     char* labelE(E e);
+//     unsigned int posE(E e);
+// };
+
+// forall(E, V| CfaEnum(E)) trait TypedEnum {
+//     V valueE(E e);
+// };