2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
13 typedef /*@abstract@*/ struct
19 extern lltok lltok_create (int p_tok, /*@only@*/ fileloc p_loc) /*@modifies nothing@*/ ;
20 extern /*@observer@*/ cstring lltok_unparse (lltok p_tok) /*@*/ ;
21 extern void lltok_free (/*@only@*/ lltok p_t) ;
22 extern void lltok_free2 (/*@only@*/ lltok p_t1, /*@only@*/ lltok p_t2) ;
23 extern void lltok_free3 (/*@only@*/ lltok p_t1, /*@only@*/ lltok p_t2, /*@only@*/ lltok p_t3) ;
25 extern /*@dependent@*/ /*@exposed@*/ fileloc lltok_getLoc (lltok p_t) /*@*/ ;
26 extern int lltok_getTok (lltok p_t) /*@*/ ;
28 # define lltok_getTok(t) ((t)->tok)
29 # define lltok_getLoc(t) ((t)->loc)
31 extern bool lltok_isSemi (lltok p_tok);
33 /* DRL added 10/23/2000 for boolean stuff */
34 extern bool lltok_isEqOp (lltok p_tok);
35 extern bool lltok_isNotEqOp (lltok p_tok);
37 extern bool lltok_isMult (lltok p_tok);
39 extern bool lltok_isIncOp (lltok p_tok);
41 extern bool lltok_isAndOp (lltok p_tok);
43 extern bool lltok_isOrOp (lltok p_tok);
45 extern bool lltok_isNotOp (lltok p_tok);
47 /*drl7x added this function 11/20/00 */
49 extern bool lltok_isLt_Op (lltok p_tok);
50 extern bool lltok_isGt_Op (lltok p_tok);
51 extern bool lltok_isGe_Op (lltok p_tok);
52 extern bool lltok_isLe_Op (lltok p_tok);
57 /*drl7x added 11 30 2000*/
58 bool lltok_isPlus_Op (lltok p_tok);
60 bool lltok_isMinus_Op (lltok p_tok);
67 bool lltok_isDecOp (lltok p_tok);
68 bool lltok_isAmpersand_Op (lltok p_tok);
70 extern bool lltok_isExcl_Op (lltok p_tok);
71 extern bool lltok_isTilde_Op (lltok p_tok);
73 extern bool lltok_isEnsures (lltok p_tok);
74 extern bool lltok_isRequires (lltok p_tok);
77 # error "Multiple include"