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