]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | Finished LCLint checking --- no code errors found | |
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. | |
abb1cb43 | 6 | Variable name is not consistent with Czech naming convention. (Setting either |
7 | -czechvars or -namechecks will suppress message) | |
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. | |
abb1cb43 | 11 | (Setting either -czechfcns or -namechecks will suppress message) |
885824d3 | 12 | |
13 | Finished LCLint checking --- 2 code errors found, as expected | |
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. | |
abb1cb43 | 18 | (Setting either -czechfcns or -namechecks will suppress message) |
885824d3 | 19 | |
20 | Finished LCLint checking --- 1 code error found, as expected | |
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. | |
abb1cb43 | 27 | Variable name is not consistent with Czech naming convention. (Setting either |
28 | -czechvars or -namechecks will suppress message) | |
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 | |
39 | allow access to an abstract type. (-abstract will suppress message) | |
40 | czechnames.c:26:5: Function budweiser name is not consistent with Czech naming | |
41 | convention. Accessible types: pivo | |
42 | ||
43 | Finished LCLint checking --- 6 code errors found, as expected |