[splint.git] / src / Headers / usymId.h

# ifndef USYMID_H
# define USYMID_H

/*@i32 make them abstract/? */
typedef int usymId;
typedef usymId typeId;

extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ;
# define usymId_equal(u1,u2) ((u1) == (u2))

/*@constant usymId USYMIDINVALID;@*/
# define USYMIDINVALID -17

/*@constant typeId typeId_invalid;@*/
# define typeId_invalid USYMIDINVALID

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	# ifndef USYMID_H
	2	# define USYMID_H
	3
28bf4b0b	4	/@i32 make them abstract/? /
885824d3	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