a3/code/Gast/genLibTest.dcl

   1 definition module genLibTest
   2
   3 /*
   4         GAST: A Generic Automatic Software Test-system
   5
   6         genLibtest: library for generic testing: showing and comparing values
   7
   8         Pieter Koopman, 2004
   9         Radboud Universty, Nijmegen
  10         The Netherlands
  11         pieter@cs.ru.nl
  12 */
  13
  14 import StdGeneric, GenEq
  15
  16 import StdClass
  17 instance + String
  18
  19 (@) infixl 2 :: (a->b)  a -> b
  20 (@!)infixl 2 :: (a->b) !a -> b
  21
  22 generic genShow a :: String Bool a [String] -> [String]
  23 generic gLess a  :: a a -> Bool
  24
  25 derive genShow  Int, Char, Bool, Real, String, UNIT, PAIR, EITHER, OBJECT, CONS, FIELD, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,), (,,,,,,,,), (,,,,,,,,,), (->), {}, {!}
  26 derive gLess    Int, Char, Bool, Real, String, UNIT, PAIR, EITHER, OBJECT, CONS, FIELD, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,), (,,,,,,,,), (,,,,,,,,,)
  27
  28 show  :: !a -> [String] | genShow{|*|} a
  29 show1 :: !a ->  String  | genShow{|*|} a
  30
  31 (-<-) infix 4 :: !a !a -> Bool | gLess{|*|} a
  32 (->-) infix 4 :: !a !a -> Bool | gLess{|*|} a
  33 (-<=) infix 4 :: !a !a -> Bool | gLess{|*|} a
  34 (=>-) infix 4 :: !a !a -> Bool | gLess{|*|} a
  35