2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
20 /* in forwardTypes.h: abst_typedef struct _mttok *mttok; */
22 extern mttok mttok_create (int p_tok,
23 /*@only@*/ cstring p_text,
24 /*@only@*/ fileloc p_loc) /*@modifies nothing@*/ ;
25 extern /*@only@*/ cstring mttok_unparse (mttok p_tok) /*@*/ ;
27 extern void mttok_free (/*@only@*/ mttok p_t) ;
29 extern int mttok_getTok (mttok p_t) /*@*/ ;
30 # define mttok_getTok(t) ((t)->tok)
32 extern /*@dependent@*/ /*@exposed@*/ fileloc mttok_getLoc (mttok p_t) /*@*/ ;
33 # define mttok_getLoc(t) ((t)->loc)
35 extern /*@only@*/ fileloc mttok_stealLoc (mttok p_t) /*@modifies p_t@*/ ;
37 extern /*@only@*/ cstring mttok_getText (mttok p_t) /*@*/ ;
38 # define mttok_getText(t) (cstring_copy ((t)->text))
40 extern /*@observer@*/ cstring mttok_observeText (mttok p_t) /*@*/ ;
41 # define mttok_observeText(t) ((t)->text)
43 extern bool mttok_isIdentifier (mttok p_t) /*@*/ ;
44 extern bool mttok_isError (mttok p_t) /*@*/ ;
47 # error "Multiple include"