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