home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / slovaknames.c < prev    next >
Text File  |  2000-06-12  |  588b  |  45 lines
  1. # include "bool.h"
  2. # include "pivo.h"
  3.  
  4. int pivoPyet;
  5. int michelobLight; /* bad */
  6. pivo budlight;
  7.  
  8. /*@constant int pivoDevenast;@*/
  9. # define pivoDevenast 12
  10.  
  11. bool pivoYedno (pivo p)
  12. {
  13.   /* pivo is accessible if +accessczech */
  14.  
  15.   return (p == 1);
  16. }
  17.  
  18. /* no types are accessible (error for +slovakfcns) */
  19. int samAdams (int x)
  20. {
  21.   return x;
  22. }
  23.  
  24. /* no types are accessible (okay for +slovakfcns) */
  25. int samuel_adams (int x)
  26. {
  27.   return x;
  28. }
  29.  
  30. /*@access pivo@*/
  31.  
  32. int budweiser (int x) /* definitely an error! */
  33. {
  34.   return x;
  35. }
  36.  
  37. pivo pivoBudvar (int x) /* that's better! */
  38. {
  39.   return x;
  40. }
  41.   
  42.  
  43.  
  44.  
  45.