Changeset c2a4b62

Timestamp:

May 8, 2024, 11:35:15 AM (7 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

0843ba6

Parents:

983f486

Message:

Refactor based type from operator assertion

File:

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

libcfa/src/enum.hfa

@@ -23 +23 @@
         T valueE(E e);
     };
+
+    forall(E | TypedEnum(E, T)) {
+        // comparison
+        int ?==?(E l, E r);
+        int ?!=?(E l, E r);
+        int ?!=?(E l, zero_t);
+        int ?<?(E l, E r);
+        int ?<=?(E l, E r);
+        int ?>?(E l, E r);
+        int ?>=?(E l, E r);
+
+        // for testing; To be removed
+        // char * typeEnumString(E e);
+        char * typeEnumString(E e);
+    }
 }
 
-forall(E, T| TypedEnum(E, T)) {
-    // comparison
-    int ?==?(E l, E r);
-    int ?!=?(E l, E r);
-    int ?!=?(E l, zero_t);
-    int ?<?(E l, E r);
-    int ?<=?(E l, E r);
-    int ?>?(E l, E r);
-    int ?>=?(E l, E r);
-
-    // for testing; To be removed
-    // char * typeEnumString(E e);
-    char * typeEnumString(E e);
-}