]>
Commit | Line | Data |
---|---|---|
098b64c2 | 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. | |
6 | Variable name is not consistent with Czech naming convention. (-czechvars | |
7 | will suppress message) | |
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. | |
11 | (-czechfcns will suppress message) | |
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. | |
18 | (-czechfcns will suppress message) | |
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. | |
27 | czechnames.c:8:17: Constant pivo_devenast name violates Czech naming | |
28 | convention. Czech prefix pivo names an abstract type that is not | |
29 | accessible. | |
30 | Use +accessczech to allow access to type <t> in functions named <t>_<name>. | |
31 | czechnames.c:11:6: Function pivo_yedno name violates Czech naming convention. | |
32 | Czech prefix pivo names an abstract type that is not accessible. | |
33 | Use +accessczech to allow access to type <t> in functions named <t>_<name>. | |
34 | czechnames.c: (in function pivo_yedno) | |
35 | czechnames.c:15:11: Left operand of == is abstract type (pivo): p == 1 | |
36 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to | |
37 | allow access to an abstract type. (-abstract will suppress message) | |
38 | czechnames.c:26:5: Function budweiser name is not consistent with Czech naming | |
39 | convention. Accessible types: pivo | |
40 | ||
41 | Finished LCLint checking --- 6 code errors found, as expected |