]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | # ifndef USYMID_H |
2 | # define USYMID_H | |
3 | ||
b73d1009 | 4 | typedef /*@numabstract@*/ int usymId; |
5 | ||
6 | extern usymId usymId_fromInt (int p_i) /*@*/ ; | |
7 | # define usymId_fromInt(i) ((usymId)(i)) | |
8 | ||
9 | extern int usymId_toInt (usymId p_i) /*@*/ ; | |
10 | # define usymId_toInt(i) ((int)(i)) | |
11 | ||
12 | extern bool usymId_isInvalid (usymId p_u) /*@*/ ; | |
13 | # define usymId_isInvalid(u) ((u) == usymId_invalid) | |
14 | ||
15 | extern bool usymId_isValid (usymId p_u) /*@*/ ; | |
16 | # define usymId_isValid(u) ((u) != usymId_invalid) | |
885824d3 | 17 | |
18 | extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ; | |
19 | # define usymId_equal(u1,u2) ((u1) == (u2)) | |
20 | ||
b73d1009 | 21 | /*@constant usymId usymId_invalid;@*/ |
22 | # define usymId_invalid -17 | |
885824d3 | 23 | |
b73d1009 | 24 | /*@constant usymId usymId_notfound;@*/ |
25 | # define usymId_notfound NOT_FOUND | |
885824d3 | 26 | |
27 | # else | |
28 | # error "Multiple include" | |
29 | # endif |