]>
Commit | Line | Data |
---|---|---|
b73d1009 | 1 | # ifndef TYPEID_H |
2 | # define TYPEID_H | |
3 | ||
4 | typedef /*@numabstract@*/ usymId typeId; | |
5 | /*@access usymId@*/ | |
6 | ||
7 | extern bool typeId_isInvalid (typeId p_u) /*@*/ ; | |
8 | # define typeId_isInvalid(u) ((u) == typeId_invalid) | |
9 | ||
10 | extern bool typeId_isValid (typeId p_u) /*@*/ ; | |
11 | # define typeId_isValid(u) ((u) != typeId_invalid) | |
12 | ||
13 | extern bool typeId_equal (typeId p_u1, typeId p_u2) /*@*/ ; | |
14 | # define typeId_equal(u1,u2) ((u1) == (u2)) | |
15 | ||
16 | extern typeId typeId_fromInt (int p_i) /*@*/ ; | |
17 | # define typeId_fromInt(i) ((typeId) (i)) | |
18 | ||
19 | extern typeId typeId_fromUsymId (usymId p_u) /*@*/ ; | |
20 | # define typeId_fromUsymId(u) ((typeId) (u)) | |
21 | ||
22 | extern usymId typeId_toUsymId (typeId p_u) /*@*/ ; | |
23 | # define typeId_toUsymId(u) ((usymId) (u)) | |
24 | ||
25 | extern int typeId_compare (/*@sef@*/ typeId p_x, /*@sef@*/ typeId p_y) /*@*/ ; | |
26 | # define typeId_compare(x,y) (int_compare(x, y)) | |
27 | ||
28 | /*@constant typeId typeId_invalid;@*/ | |
29 | # define typeId_invalid usymId_invalid | |
30 | ||
31 | /*@noaccess usymId@*/ | |
32 | ||
33 | # else | |
34 | # error "Multiple include" | |
35 | # endif |