]>
Commit | Line | Data |
---|---|---|
1 | ||
2 | slovaknames.c: (in function pivoYedno) | |
3 | slovaknames.c:15:11: Left operand of == is abstract type (pivo): p == 1 | |
4 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to | |
5 | allow access to an abstract type. (-abstract will suppress message) | |
6 | ||
7 | Finished LCLint checking --- 1 code error found, as expected | |
8 | ||
9 | Finished LCLint checking --- no code errors found | |
10 | ||
11 | slovaknames.c:5:5: Variable michelobLight name violates Slovak naming | |
12 | convention. Slovak prefix michelob is not the name of a type. | |
13 | Variable name is not consistent with Slovak naming convention. (-slovakvars | |
14 | will suppress message) | |
15 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. | |
16 | Slovak prefix sam is not the name of a type. | |
17 | Function or iterator name is not consistent with Slovak naming convention. | |
18 | (-slovakfcns will suppress message) | |
19 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak | |
20 | naming convention. Accessible types: pivo | |
21 | ||
22 | Finished LCLint checking --- 3 code errors found, as expected | |
23 | ||
24 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. | |
25 | Slovak prefix sam is not the name of a type. | |
26 | Function or iterator name is not consistent with Slovak naming convention. | |
27 | (-slovakfcns will suppress message) | |
28 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak | |
29 | naming convention. Accessible types: pivo | |
30 | ||
31 | Finished LCLint checking --- 2 code errors found, as expected | |
32 | ||
33 | slovaknames.c:4:5: Variable pivoPyet name violates Slovak naming convention. | |
34 | Slovak prefix pivo names an abstract type that is not accessible. | |
35 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. | |
36 | slovaknames.c:5:5: Variable michelobLight name violates Slovak naming | |
37 | convention. Slovak prefix michelob is not the name of a type. | |
38 | slovaknames.c:8:17: Constant pivoDevenast name violates Slovak naming | |
39 | convention. Slovak prefix pivo names an abstract type that is not | |
40 | accessible. | |
41 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. | |
42 | slovaknames.c:11:6: Function pivoYedno name violates Slovak naming convention. | |
43 | Slovak prefix pivo names an abstract type that is not accessible. | |
44 | Use +accessslovak to allow access to type <t> in functions named <t>_<name>. | |
45 | slovaknames.c: (in function pivoYedno) | |
46 | slovaknames.c:15:11: Left operand of == is abstract type (pivo): p == 1 | |
47 | An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to | |
48 | allow access to an abstract type. (-abstract will suppress message) | |
49 | slovaknames.c:19:5: Function samAdams name violates Slovak naming convention. | |
50 | Slovak prefix sam is not the name of a type. | |
51 | slovaknames.c:32:5: Function budweiser name is not consistent with Slovak | |
52 | naming convention. Accessible types: pivo | |
53 | ||
54 | Finished LCLint checking --- 7 code errors found, as expected |