test/czechnames.out

   1
   2 Cannot find standard library: ansi.lcd
   3      Check LARCH_PATH environment variable.
   4
   5 Finished LCLint checking --- no code errors found
   6
   7 Cannot find standard library: ansi.lcd
   8      Check LARCH_PATH environment variable.
   9 czechnames.c:5:5: Variable michelob_light name violates Czech naming
  10     convention.  Czech prefix michelob is not the name of a type.
  11   Variable name is not consistent with Czech naming convention. (Setting either
  12   -czechvars or -namechecks will suppress message)
  13 czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
  14                       convention.  Accessible types: pivo
  15   Function or iterator name is not consistent with Czech naming convention.
  16   (Setting either -czechfcns or -namechecks will suppress message)
  17
  18 Finished LCLint checking --- 2 code errors found, as expected
  19
  20 Cannot find standard library: ansi.lcd
  21      Check LARCH_PATH environment variable.
  22 czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
  23                       convention.  Accessible types: pivo
  24   Function or iterator name is not consistent with Czech naming convention.
  25   (Setting either -czechfcns or -namechecks will suppress message)
  26
  27 Finished LCLint checking --- 1 code error found, as expected
  28
  29 Cannot find standard library: ansi.lcd
  30      Check LARCH_PATH environment variable.
  31 czechnames.c:4:5: Variable pivo_pyet 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:5:5: Variable michelob_light name violates Czech naming
  35     convention.  Czech prefix michelob is not the name of a type.
  36   Variable name is not consistent with Czech naming convention. (Setting either
  37   -czechvars or -namechecks will suppress message)
  38 czechnames.c:8:17: Constant pivo_devenast name violates Czech naming
  39     convention. Czech prefix pivo names an abstract type that is not
  40     accessible.
  41   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  42 czechnames.c:11:6: Function pivo_yedno name violates Czech naming convention.
  43     Czech prefix pivo names an abstract type that is not accessible.
  44   Use +accessczech to allow access to type <t> in functions named <t>_<name>.
  45 czechnames.c: (in function pivo_yedno)
  46 czechnames.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 czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
  50                       convention.  Accessible types: pivo
  51
  52 Finished LCLint checking --- 6 code errors found, as expected