a3/code/Gast/gen.dcl

   1 definition module gen
   2
   3 /*
   4         GAST: A Generic Automatic Software Test-system
   5
   6         gen: generic generation of values of a type
   7
   8         Pieter Koopman, 2004
   9         Radboud Universty, Nijmegen
  10         The Netherlands
  11         pieter@cs.ru.nl
  12 */
  13
  14 import StdGeneric
  15
  16 randomize :: [a] [Int] Int ([Int] -> [a]) -> [a]
  17
  18 generic ggen a :: Int [Int] -> [a]
  19
  20 derive ggen Int, Bool, Real, Char, UNIT, PAIR, EITHER, CONS, OBJECT, FIELD, (,), (,,), (,,,), [], String
  21
  22 maxint  :: Int
  23 minint  :: Int
  24 StrLen  :== 80