test/slovaknames.c

   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