]>
Commit | Line | Data |
---|---|---|
885824d3 | 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 |