src/Headers/lltok.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   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 /*@abstract@*/ struct
  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 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) ;
  24
  25 extern /*@dependent@*/ /*@exposed@*/ fileloc lltok_getLoc (lltok p_t) /*@*/ ;
  26 extern int lltok_getTok (lltok p_t) /*@*/ ;
  27
  28 # define lltok_getTok(t)  ((t)->tok)
  29 # define lltok_getLoc(t)  ((t)->loc)
  30
  31 extern bool lltok_isSemi (lltok p_tok);
  32
  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);
  36
  37 extern bool lltok_isMult (lltok p_tok);
  38
  39 extern bool lltok_isIncOp (lltok p_tok);
  40
  41 extern bool lltok_isAndOp (lltok p_tok);
  42
  43 extern bool lltok_isOrOp (lltok p_tok);
  44
  45 extern bool lltok_isNotOp (lltok p_tok);
  46
  47 /*drl7x added this function 11/20/00 */
  48
  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);
  53
  54 /* end drl7x added */
  55
  56
  57 /*drl7x added 11 30 2000*/
  58 bool lltok_isPlus_Op (lltok p_tok);
  59
  60 bool lltok_isMinus_Op (lltok p_tok);
  61
  62 /*end drl added */
  63
  64 /*drl
  65   added 1/14/2001
  66 */
  67 bool lltok_isDecOp  (lltok p_tok);
  68 bool lltok_isAmpersand_Op (lltok p_tok);
  69
  70 extern bool lltok_isExcl_Op (lltok p_tok);
  71 extern bool lltok_isTilde_Op (lltok p_tok);
  72
  73 extern bool lltok_isEnsures (lltok p_tok);
  74 extern bool lltok_isRequires (lltok p_tok);
  75
  76 # else
  77 # error "Multiple include"
  78 # endif