]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
11db3170 | 2 | Finished checking --- no warnings |
885824d3 | 3 | |
4 | czechnames.c:5:5: Variable michelob_light name violates Czech naming | |
5 | convention. Czech prefix michelob is not the name of a type. | |
2e127cb8 | 6 | Variable name is not consistent with Czech naming convention. (Use either |
7 | -czechvars or -namechecks to inhibit warning) | |
885824d3 | 8 | czechnames.c:26:5: Function budweiser name is not consistent with Czech naming |
9 | convention. Accessible types: pivo | |
10 | Function or iterator name is not consistent with Czech naming convention. | |
2e127cb8 | 11 | (Use either -czechfcns or -namechecks to inhibit warning) |
885824d3 | 12 | |
11db3170 | 13 | Finished checking --- 2 code warnings, as expected |
885824d3 | 14 | |
15 | czechnames.c:26:5: Function budweiser name is not consistent with Czech naming | |
16 | convention. Accessible types: pivo | |
17 | Function or iterator name is not consistent with Czech naming convention. | |
2e127cb8 | 18 | (Use either -czechfcns or -namechecks to inhibit warning) |
885824d3 | 19 | |
11db3170 | 20 | Finished checking --- 1 code warning, as expected |
885824d3 | 21 | |
22 | czechnames.c:4:5: Variable pivo_pyet name violates Czech naming convention. | |
23 | Czech prefix pivo names an abstract type that is not accessible. | |
24 | Use +accessczech to allow access to type <t> in functions named <t>_<name>. | |
25 | czechnames.c:5:5: Variable michelob_light name violates Czech naming | |
26 | convention. Czech prefix michelob is not the name of a type. | |
2e127cb8 | 27 | Variable name is not consistent with Czech naming convention. (Use either |
28 | -czechvars or -namechecks to inhibit warning) | |
885824d3 | 29 | czechnames.c:8:17: Constant pivo_devenast name violates Czech naming |
30 | convention. Czech prefix pivo names an abstract type that is not | |
31 | accessible. | |
32 | Use +accessczech to allow access to type <t> in functions named <t>_<name>. | |
33 | czechnames.c:11:6: Function pivo_yedno name violates Czech naming convention. | |
34 | Czech prefix pivo names an abstract type that is not accessible. | |
35 | Use +accessczech to allow access to type <t> in functions named <t>_<name>. | |
36 | czechnames.c: (in function pivo_yedno) | |
37 | czechnames.c:15:11: Left operand of == is abstract type (pivo): p == 1 | |
38 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to | |
2e127cb8 | 39 | allow access to an abstract type. (Use -abstract to inhibit warning) |
885824d3 | 40 | czechnames.c:26:5: Function budweiser name is not consistent with Czech naming |
41 | convention. Accessible types: pivo | |
42 | ||
11db3170 | 43 | Finished checking --- 6 code warnings, as expected |