]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | slovaknames.c: (in function pivoYedno) | |
3 | slovaknames.c:15:11: Left operand of == is abstract type (pivo): p == 1 | |
4 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to | |
5 | allow access to an abstract type. (-abstract will suppress message) | |
6 | ||
11db3170 | 7 | Finished checking --- 1 code warning, as expected |
885824d3 | 8 | |
11db3170 | 9 | Finished checking --- no warnings |
885824d3 | 10 | |
11 | slovaknames.c:5:5: Variable michelobLight name violates Slovak naming | |
12 | convention. Slovak prefix michelob is not the name of a type. | |
abb1cb43 | 13 | Variable name is not consistent with Slovak naming convention. (Setting |
14 | either -slovakvars or -namechecks will suppress message) | |
885824d3 | 15 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. |
16 | Slovak prefix sam is not the name of a type. | |
17 | Function or iterator name is not consistent with Slovak naming convention. | |
abb1cb43 | 18 | (Setting either -slovakfcns or -namechecks will suppress message) |
885824d3 | 19 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak |
20 | naming convention. Accessible types: pivo | |
abb1cb43 | 21 | Function or iterator name is not consistent with Slovak naming convention. |
22 | (Setting either -slovakfcns or -namechecks will suppress message) | |
885824d3 | 23 | |
11db3170 | 24 | Finished checking --- 3 code warnings, as expected |
885824d3 | 25 | |
26 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. | |
27 | Slovak prefix sam is not the name of a type. | |
28 | Function or iterator name is not consistent with Slovak naming convention. | |
abb1cb43 | 29 | (Setting either -slovakfcns or -namechecks will suppress message) |
885824d3 | 30 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak |
31 | naming convention. Accessible types: pivo | |
abb1cb43 | 32 | Function or iterator name is not consistent with Slovak naming convention. |
33 | (Setting either -slovakfcns or -namechecks will suppress message) | |
885824d3 | 34 | |
11db3170 | 35 | Finished checking --- 2 code warnings, as expected |
885824d3 | 36 | |
37 | slovaknames.c:4:5: Variable pivoPyet name violates Slovak naming convention. | |
38 | Slovak prefix pivo names an abstract type that is not accessible. | |
39 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. | |
40 | slovaknames.c:5:5: Variable michelobLight name violates Slovak naming | |
41 | convention. Slovak prefix michelob is not the name of a type. | |
abb1cb43 | 42 | Variable name is not consistent with Slovak naming convention. (Setting |
43 | either -slovakvars or -namechecks will suppress message) | |
885824d3 | 44 | slovaknames.c:8:17: Constant pivoDevenast name violates Slovak naming |
45 | convention. Slovak prefix pivo names an abstract type that is not | |
46 | accessible. | |
47 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. | |
48 | slovaknames.c:11:6: Function pivoYedno name violates Slovak naming convention. | |
49 | Slovak prefix pivo names an abstract type that is not accessible. | |
50 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. | |
51 | slovaknames.c: (in function pivoYedno) | |
52 | slovaknames.c:15:11: Left operand of == is abstract type (pivo): p == 1 | |
53 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to | |
54 | allow access to an abstract type. (-abstract will suppress message) | |
55 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. | |
56 | Slovak prefix sam is not the name of a type. | |
57 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak | |
58 | naming convention. Accessible types: pivo | |
59 | ||
11db3170 | 60 | Finished checking --- 7 code warnings, as expected |