1 | #pragma once |
---|
2 | |
---|
3 | #include "iostream.hfa" |
---|
4 | |
---|
5 | forall( E ) trait Bounded { |
---|
6 | E lowerBound(); |
---|
7 | E upperBound(); |
---|
8 | }; |
---|
9 | |
---|
10 | forall( E | Bounded( E ) ) trait Serial { |
---|
11 | unsigned fromInstance( E e ); |
---|
12 | E fromInt_unsafe( unsigned i ); |
---|
13 | E succ_unsafe( E e ); |
---|
14 | E pred_unsafe( E e ); |
---|
15 | }; |
---|
16 | |
---|
17 | forall( E | Serial( E ) ) { |
---|
18 | E fromInt( unsigned i ); |
---|
19 | E succ( E e ); |
---|
20 | E pred( E e ); |
---|
21 | int Countof( E e ); |
---|
22 | } |
---|
23 | |
---|
24 | // forall( E | Bounded(E) ) trait SafeSerial { |
---|
25 | // // unsigned fromInstance( E e ); |
---|
26 | // E fromInt_unsafe( unsigned i ); |
---|
27 | // // E succ_unsafe( E e ); |
---|
28 | // //E pred_unsafe( E e ); |
---|
29 | |
---|
30 | // unsigned fromInstance( E e ); |
---|
31 | // E fromInt( unsigned i ); |
---|
32 | // E succ( E e ); |
---|
33 | // E pred( E e ); |
---|
34 | // }; |
---|
35 | |
---|
36 | forall( E ) trait CfaEnum { |
---|
37 | const char * label( E e ); |
---|
38 | unsigned int posn( E e ); |
---|
39 | }; |
---|
40 | |
---|
41 | forall( E, V | CfaEnum( E ) ) trait TypedEnum { |
---|
42 | V value( E e ); |
---|
43 | }; |
---|
44 | |
---|
45 | // I/O |
---|
46 | |
---|
47 | forall( istype & | istream( istype ), E | CfaEnum( E ) | Serial(E) ) |
---|
48 | istype & ?|?( istype &, E & ); |
---|
49 | |
---|
50 | forall( ostype & | ostream( ostype ), E | CfaEnum( E ) ) { |
---|
51 | ostype & ?|?( ostype &, E ); |
---|
52 | OSTYPE_VOID( E ); |
---|
53 | } |
---|
54 | |
---|
55 | static inline |
---|
56 | forall( E | Serial(E) | CfaEnum(E) ) { |
---|
57 | int ?==?( E l, E r ) { return posn( l ) == posn( r ); } // relational operators |
---|
58 | int ?!=?( E l, E r ) { return posn( l ) != posn( r ); } |
---|
59 | int ?<?( E l, E r ) { return posn( l ) < posn( r ); } |
---|
60 | int ?<=?( E l, E r ) { return posn( l ) <= posn( r ); } |
---|
61 | int ?>?( E l, E r ) { return posn( l ) > posn( r ); } |
---|
62 | int ?>=?( E l, E r ) { return posn( l ) >= posn( r ); } |
---|
63 | |
---|
64 | E ++?( E & l ) { // increment operators |
---|
65 | l = succ( l ); |
---|
66 | return l; |
---|
67 | } |
---|
68 | |
---|
69 | E ?+=? ( E & l, one_t ) { |
---|
70 | l = succ(l); |
---|
71 | return l; |
---|
72 | } |
---|
73 | |
---|
74 | E ?++( E & l ) { |
---|
75 | E ret = l; |
---|
76 | l = succ( l ); |
---|
77 | return ret; |
---|
78 | } |
---|
79 | |
---|
80 | E --?( E & l ) { |
---|
81 | l = pred( l ); |
---|
82 | return l; |
---|
83 | } |
---|
84 | |
---|
85 | E ?--( E & l ) { |
---|
86 | E ret = l; |
---|
87 | l = pred( l ); |
---|
88 | return ret; |
---|
89 | } |
---|
90 | } |
---|