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. (Setting either
7 -czechvars or -namechecks 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 (Setting either -czechfcns or -namechecks 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 (Setting either -czechfcns or -namechecks 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 Variable name is not consistent with Czech naming convention. (Setting either
28 -czechvars or -namechecks will suppress message)
29 czechnames.c:8:17: Constant pivo_devenast name violates Czech naming
30 convention. Czech prefix pivo names an abstract type that is not
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
43 Finished LCLint checking --- 6 code errors found, as expected