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 /* DRL added 10/23/2000 for boolean stuff */
  33 extern bool lltok_isEq_Op (lltok tok);
  34
  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
  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
  59 # else
  60 # error "Multiple include"
  61 # endif
  62