src/Headers/lltok.h

   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
  32 # else
  33 # error "Multiple include"
  34 # endif