2 Finished LCLint checking --- no code errors found
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
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)
13 Finished LCLint checking --- 2 code errors found, as expected
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)
20 Finished LCLint checking --- 1 code error found, as expected
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
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
41 Finished LCLint checking --- 6 code errors found, as expected