test/slovaknames.expect

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