]>
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 | |
2e127cb8 | 5 | allow access to an abstract type. (Use -abstract to inhibit warning) |
885824d3 | 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. | |
2e127cb8 | 13 | Variable name is not consistent with Slovak naming convention. (Use either |
14 | -slovakvars or -namechecks to inhibit warning) | |
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. | |
2e127cb8 | 18 | (Use either -slovakfcns or -namechecks to inhibit warning) |
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. |
2e127cb8 | 22 | (Use either -slovakfcns or -namechecks to inhibit warning) |
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. | |
2e127cb8 | 29 | (Use either -slovakfcns or -namechecks to inhibit warning) |
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. |
2e127cb8 | 33 | (Use either -slovakfcns or -namechecks to inhibit warning) |
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. | |
2e127cb8 | 42 | Variable name is not consistent with Slovak naming convention. (Use either |
43 | -slovakvars or -namechecks to inhibit warning) | |
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 | |
2e127cb8 | 54 | allow access to an abstract type. (Use -abstract to inhibit warning) |
885824d3 | 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 |