| 885824d3 |
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 |
andersk / splint.git / blame