Changeset 525f7ad for libcfa/src

Timestamp:

Jun 19, 2024, 3:20:39 PM (15 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

57e43cd

Parents:

1725989

Message:

1. Add count_e( enum_name ), a pseudo function that return the number of element in an enum; 2. Implementation of enum range loop.

Location:

libcfa/src

Files:

• enum.cfa (modified) (1 diff)
• enum.hfa (modified) (1 diff)

libcfa/src/enum.cfa

@@ -13 +13 @@
     return os | type_name(e) | "." | labelE(e);
 }
+
+forall(ostype & | basic_ostream(ostype), E, V| CfaEnum(E, V)) {
+    int ?==?(E l, E r) { return posE(l) == posE(r); }
+    int ?<=?(E l, E r) { return posE(l) <= posE(r); }
+    int ?>=?(E l, E r) { return posE(l) >= posE(r); }
+    int ?<?(E l, E r) { return posE(l) < posE(r); }
+    int ?>?(E l, E r) { return posE(l) > posE(r); }
+}

libcfa/src/enum.hfa

@@ -38 +38 @@
 //     V valueE(E e);
 // };
+
+forall(ostype & | basic_ostream(ostype), E, V| CfaEnum(E, V)) {
+    int ?==?(E, E);
+    int ?<=?(E, E);
+    int ?>=?(E, E);
+    int ?<?(E, E);
+    int ?>?(E, E);
+
+        // E ++?( E & lhs );
+        // E ?++( E & lhs );
+}