test/czechnames.c

   1 # include "bool.h"
   2 # include "pivo.h"
   3
   4 int pivo_pyet;
   5 int michelob_light; /* bad */
   6 pivo budlight;
   7
   8 /*@constant int pivo_devenast;@*/
   9 # define pivo_devenast 12
  10
  11 bool pivo_yedno (pivo p)
  12 {
  13   /* pivo is accessible if +accessczech */
  14
  15   return (p == 1);
  16 }
  17
  18 /* okay, since no types are accessible */
  19 int samAdams (int x)
  20 {
  21   return x;
  22 }
  23
  24 /*@access pivo@*/
  25
  26 int budweiser (int x) /* definitely an error! */
  27 {
  28   return x;
  29 }
  30
  31 pivo pivo_budvar (int x) /* that's better! */
  32 {
  33   return x;
  34 }
  35
  36
  37
  38