src/Headers/usymId.h

   1 # ifndef USYMID_H
   2 # define USYMID_H
   3
   4 /*@i32 make them abstract/? */
   5 typedef int usymId;
   6 typedef usymId typeId;
   7
   8 extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ;
   9 # define usymId_equal(u1,u2) ((u1) == (u2))
  10
  11 /*@constant usymId USYMIDINVALID;@*/
  12 # define USYMIDINVALID -17
  13
  14 /*@constant typeId typeId_invalid;@*/
  15 # define typeId_invalid USYMIDINVALID
  16
  17 # else
  18 # error "Multiple include"
  19 # endif