test/czechnames.out

   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 bool.h:22: Function bool_initMod name violates Czech naming convention. Type
  23               bool is not accessible.
  24   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  25 bool.h:25: Function bool_unparse name violates Czech naming convention. Type
  26               bool is not accessible.
  27   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  28 bool.h:28: Function bool_not name violates Czech naming convention. Type bool
  29               is not accessible.
  30   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  31 bool.h:31: Function bool_equal name violates Czech naming convention. Type bool
  32               is not accessible.
  33   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  34 czechnames.c:4:5: Variable pivo_pyet name violates Czech naming convention.
  35     Czech prefix pivo names an abstract type that is not accessible.
  36   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  37 czechnames.c:5:5: Variable michelob_light name violates Czech naming
  38     convention.  Czech prefix michelob is not the name of a type.
  39 czechnames.c:8:17: Constant pivo_devenast name violates Czech naming
  40     convention. Czech prefix pivo names an abstract type that is not
  41     accessible.
  42   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  43 czechnames.c:11:6: Function pivo_yedno name violates Czech naming convention.
  44     Czech prefix pivo names an abstract type that is not accessible.
  45   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  46 czechnames.c: (in function pivo_yedno)
  47 czechnames.c:15:11: Left operand of == is abstract type (pivo): p == 1
  48   An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
  49   allow access to an abstract type. (-abstract will suppress message)
  50 czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
  51                       convention.  Accessible types: pivo
  52
  53 Finished LCLint checking --- 10 code errors found, expected 6