src/Headers/nameChecks.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 # ifndef NAMECHECKS_H
   8 # define NAMECHECKS_H
   9
  10 extern void checkCppName (uentry p_ue) /*@modifies g_warningstream, p_ue@*/ ;
  11 extern void checkExternalName (uentry p_ue) /*@modifies g_warningstream, p_ue@*/ ;
  12 extern void checkLocalName (uentry p_ue) /*@modifies g_warningstream, p_ue@*/ ;
  13 extern void checkFileScopeName (uentry p_ue) /*@modifies g_warningstream, p_ue@*/ ;
  14 extern void checkPrefix (uentry p_ue) /*@modifies g_warningstream, p_ue@*/ ;
  15 extern void checkAnsiName (uentry p_ue) /*@modifies g_warningstream, p_ue@*/ ;
  16 extern void checkParamNames (uentry p_ue) /*@modifies g_warningstream@*/;
  17 /*@i32! should get error without modifies p_ue@*/
  18
  19 # else
  20 # error "Multiple include"
  21 # endif