src/Headers/structNames.h

   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 extern /*@observer@*/ cstring plainTagName (cstring p_s) /*@*/ ;
  16
  17 # else
  18 # error "Multiple include"
  19 # endif