]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000. | |
3 | ** See ../LICENSE for license information. | |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** lltok.h | |
8 | */ | |
9 | ||
10 | # ifndef LLTOK_H | |
11 | # define LLTOK_H | |
12 | ||
13 | typedef struct _lltok | |
14 | { | |
15 | int tok; | |
16 | fileloc loc; | |
17 | } lltok; | |
18 | ||
19 | extern lltok lltok_create (int p_tok, /*@only@*/ fileloc p_loc) /*@modifies nothing@*/ ; | |
20 | extern /*@observer@*/ cstring lltok_unparse (lltok p_tok) /*@*/ ; | |
21 | ||
22 | extern void lltok_release (/*@special@*/ lltok p_t) /*@releases p_t.loc@*/ ; | |
23 | ||
24 | extern /*@dependent@*/ /*@exposed@*/ fileloc lltok_getLoc (lltok p_t) /*@*/ ; | |
25 | extern int lltok_getTok (lltok p_t) /*@*/ ; | |
26 | ||
27 | # define lltok_getTok(t) ((t).tok) | |
28 | # define lltok_getLoc(t) ((t).loc) | |
29 | ||
30 | extern bool lltok_isSemi (lltok p_tok); | |
31 | ||
754746a0 | 32 | /* DRL added 10/23/2000 for boolean stuff */ |
33 | extern bool lltok_isEq_Op (lltok tok); | |
34 | ||
93307a76 | 35 | |
36 | extern bool lltok_isMult (lltok tok); | |
37 | ||
38 | extern bool lltok_isInc_Op (lltok tok); | |
39 | ||
40 | extern bool lltok_isAnd_Op (lltok tok); | |
41 | ||
42 | extern bool lltok_isOr_Op (lltok tok); | |
43 | ||
44 | extern bool lltok_isNot_Op (lltok tok); | |
45 | ||
34f0c5e7 | 46 | /*drl7x added this function 11/20/00 */ |
47 | ||
48 | bool lltok_isLt_Op (lltok tok); | |
49 | ||
50 | bool lltok_isGt_Op (lltok tok); | |
51 | ||
52 | bool lltok_isGe_Op (lltok tok); | |
53 | ||
54 | bool lltok_isLe_Op (lltok tok); | |
55 | ||
56 | /* end drl7x added */ | |
57 | ||
58 | ||
f5ac53de | 59 | /*drl7x added 11 30 2000*/ |
60 | bool lltok_isPlus_Op (lltok tok); | |
61 | ||
62 | bool lltok_isMinus_Op (lltok tok); | |
63 | ||
64 | /*end drl added */ | |
65 | ||
885824d3 | 66 | # else |
67 | # error "Multiple include" | |
68 | # endif | |
754746a0 | 69 |