Changeset 983f486 for libcfa/src

Timestamp:

May 7, 2024, 10:33:40 PM (18 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

c2a4b62, e542b02

Parents:

9b140bd

Message:

Reformat forall clause in enum.hfa

File:

• libcfa/src/enum.hfa (modified) (2 diffs)

libcfa/src/enum.hfa

@@ -1 +1 @@
 #pragma once
 
-forall(E) trait Bounded {
-    E lowerBound();
-    E upperBound();
-};
+forall(T) { // T is the based type of enum(T)
+    forall(E) trait Bounded {
+        E lowerBound();
+        E upperBound();
+    };
 
-forall(E, T| Bounded(E)) trait Serial {
-    unsigned fromInstance(E e);
-    E fromInt(unsigned i);
-    E succ(E e);
-    E pred(E e);
-};
+    forall(E| Bounded(E, T)) trait Serial {
+        unsigned fromInstance(E e);
+        E fromInt(unsigned i);
+        E succ(E e);
+        E pred(E e);
+    };
 
-// Opague Enum + TypedEnum
-forall(E, T | Serial(E, T)) trait CfaEnum { 
-    char * labelE(E e);
-    unsigned int posE(E e);
-};
+    // Opague Enum + TypedEnum
+    forall(E | Serial(E, T)) trait CfaEnum { 
+        char * labelE(E e);
+        unsigned int posE(E e);
+    };
 
-forall(E, T | CfaEnum(E, T)) trait TypedEnum {
-    T valueE(E e);
-};
+    forall(E | CfaEnum(E, T)) trait TypedEnum {
+        T valueE(E e);
+    };
+}
 
 forall(E, T| TypedEnum(E, T)) {
@@ -34 +36 @@
 
     // for testing; To be removed
+    // char * typeEnumString(E e);
     char * typeEnumString(E e);
 }