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

# ifndef STRUCTNAMES
# define STRUCTNAMES

extern /*@only@*/ cstring makeStruct(cstring p_s);
extern /*@only@*/ cstring makeUnion(cstring p_s);
extern /*@only@*/ cstring makeEnum(cstring p_s);
extern /*@only@*/ cstring makeParam (cstring p_s);

extern void setTagNo (unsigned int p_n);
extern bool isFakeTag (cstring p_s);

extern /*@only@*/ cstring fakeTag (void);
extern /*@only@*/ cstring fixTagName (cstring p_s);
extern /*@observer@*/ cstring fixParamName (cstring p_s);

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	# ifndef STRUCTNAMES
	2	# define STRUCTNAMES
	3
	4	extern /@only@/ cstring makeStruct(cstring p_s);
	5	extern /@only@/ cstring makeUnion(cstring p_s);
	6	extern /@only@/ cstring makeEnum(cstring p_s);
	7	extern /@only@/ cstring makeParam (cstring p_s);
	8
	9	extern void setTagNo (unsigned int p_n);
	10	extern bool isFakeTag (cstring p_s);
	11
	12	extern /@only@/ cstring fakeTag (void);
	13	extern /@only@/ cstring fixTagName (cstring p_s);
	14	extern /@observer@/ cstring fixParamName (cstring p_s);
	15
	16	# else
	17	# error "Multiple include"
	18	# endif