Last change
on this file since 03ac869 was
03ac869,
checked in by JiadaL <j82liang@…>, 5 months ago
|
Add GCC visibility push(default); Fix trait satisfaction problem
|
-
Property mode set to
100644
|
File size:
755 bytes
|
Line | |
---|
1 | #pragma once |
---|
2 | |
---|
3 | forall(T) { // T is the based type of enum(T) |
---|
4 | forall(E) trait Bounded { |
---|
5 | E lowerBound(); |
---|
6 | E upperBound(); |
---|
7 | }; |
---|
8 | |
---|
9 | forall(E| Bounded(T, E)) trait Serial { |
---|
10 | unsigned fromInstance(E e); |
---|
11 | E fromInt(unsigned i); |
---|
12 | E succ(E e); |
---|
13 | E pred(E e); |
---|
14 | }; |
---|
15 | |
---|
16 | // Opague Enum + TypedEnum |
---|
17 | forall(E | Serial(T, E)) trait CfaEnum { |
---|
18 | char * labelE(E e); |
---|
19 | unsigned int posE(E e); |
---|
20 | }; |
---|
21 | |
---|
22 | forall(E| CfaEnum(T, E)) trait TypedEnum { |
---|
23 | T valueE(E e); |
---|
24 | }; |
---|
25 | } |
---|
26 | |
---|
27 | |
---|
28 | forall(T, E | TypedEnum(T, E)) { |
---|
29 | // comparison |
---|
30 | int ?==?(E l, E r); |
---|
31 | int ?!=?(E l, E r); |
---|
32 | int ?!=?(E l, zero_t); |
---|
33 | int ?<?(E l, E r); |
---|
34 | int ?<=?(E l, E r); |
---|
35 | int ?>?(E l, E r); |
---|
36 | int ?>=?(E l, E r); |
---|
37 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.