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