Changeset 07e9df1

Timestamp:

May 12, 2024, 8:38:32 PM (6 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

ec20ab9

Parents:

083e637

Message:

formatting

File:

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

libcfa/src/enum.hfa

@@ -1 +1 @@
 #pragma once
 
-forall(E) trait Bounded {
-    E lowerBound();
-    E upperBound();
+forall( E ) trait Bounded {
+        E lowerBound();
+        E upperBound();
 };
 
-forall(E | Bounded(E)) trait Serial {
-    unsigned fromInstance(E e);
-    E fromInt(unsigned i);
-    E succ(E e);
-    E pred(E e);
+forall( E | Bounded( E ) ) trait Serial {
+        unsigned fromInstance( E e );
+        E fromInt( unsigned int posn );
+        E succ( E e );
+        E pred( E e );
 };
 
-forall(E, T) trait TypedEnum {
-    T valueE(E e);
-    char * labelE(E e);
-    unsigned int posE(E e);
+forall( E, T ) trait TypedEnum {
+        T valueE( E e );
+        char * labelE( E e );
+        unsigned int posE( 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);
+forall( E, T | TypedEnum( E, T ) ) {
+        // 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         
 }