src/Headers/typeId.h

   1 # ifndef TYPEID_H
   2 # define TYPEID_H
   3
   4 typedef /*@numabstract@*/ usymId typeId;
   5 /*@access usymId@*/
   6
   7 extern bool typeId_isInvalid (typeId p_u) /*@*/ ;
   8 # define typeId_isInvalid(u) ((u) == typeId_invalid)
   9
  10 extern bool typeId_isValid (typeId p_u) /*@*/ ;
  11 # define typeId_isValid(u)   ((u) != typeId_invalid)
  12
  13 extern bool typeId_equal (typeId p_u1, typeId p_u2) /*@*/ ;
  14 # define typeId_equal(u1,u2) ((u1) == (u2))
  15
  16 extern typeId typeId_fromInt (int p_i) /*@*/ ;
  17 # define typeId_fromInt(i)   ((typeId) (i))
  18
  19 extern typeId typeId_fromUsymId (usymId p_u) /*@*/ ;
  20 # define typeId_fromUsymId(u) ((typeId) (u))
  21
  22 extern usymId typeId_toUsymId (typeId p_u) /*@*/ ;
  23 # define typeId_toUsymId(u) ((usymId) (u))
  24
  25 extern int typeId_compare (/*@sef@*/ typeId p_x, /*@sef@*/ typeId p_y) /*@*/ ;
  26 # define typeId_compare(x,y) (int_compare(x, y))
  27
  28 /*@constant typeId typeId_invalid;@*/
  29 # define typeId_invalid usymId_invalid
  30
  31 /*@noaccess usymId@*/
  32
  33 # else
  34 # error "Multiple include"
  35 # endif