]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | # ifndef USYMID_H |
2 | # define USYMID_H | |
3 | ||
28bf4b0b | 4 | /*@i32 make them abstract/? */ |
885824d3 | 5 | typedef int usymId; |
6 | typedef usymId typeId; | |
7 | ||
8 | extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ; | |
9 | # define usymId_equal(u1,u2) ((u1) == (u2)) | |
10 | ||
11 | /*@constant usymId USYMIDINVALID;@*/ | |
12 | # define USYMIDINVALID -17 | |
13 | ||
14 | /*@constant typeId typeId_invalid;@*/ | |
15 | # define typeId_invalid USYMIDINVALID | |
16 | ||
17 | # else | |
18 | # error "Multiple include" | |
19 | # endif |