src/Headers/usymId.h

   1 # ifndef USYMID_H
   2 # define USYMID_H
   3
   4 typedef /*@numabstract@*/ int usymId;
   5
   6 extern usymId usymId_fromInt (int p_i) /*@*/ ;
   7 # define usymId_fromInt(i)   ((usymId)(i))
   8
   9 extern int usymId_toInt (usymId p_i) /*@*/ ;
  10 # define usymId_toInt(i)   ((int)(i))
  11
  12 extern bool usymId_isInvalid (usymId p_u) /*@*/ ;
  13 # define usymId_isInvalid(u) ((u) == usymId_invalid)
  14
  15 extern bool usymId_isValid (usymId p_u) /*@*/ ;
  16 # define usymId_isValid(u)   ((u) != usymId_invalid)
  17
  18 extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ;
  19 # define usymId_equal(u1,u2) ((u1) == (u2))
  20
  21 /*@constant usymId usymId_invalid;@*/
  22 # define usymId_invalid -17
  23
  24 /*@constant usymId usymId_notfound;@*/
  25 # define usymId_notfound NOT_FOUND
  26
  27 # else
  28 # error "Multiple include"
  29 # endif