week2/mart/StdTTest.icl

   1 module StdTTest
   2
   3 /*      Test module StdTTest
   4         Voor werken met Gast:
   5                 (*) gebruik Environment 'Gast'
   6                 (*) zet Project Options op 'Basic Values Only'
   7 */
   8
   9 import StdT
  10 import StdEnv
  11 import gast
  12
  13 Start
  14                         = testn 1000
  15                                 (\ i ->
  16                                     gelijkheid_is_symmetrisch       i /\
  17                                     ordening_is_monotoon            i /\
  18                                     negatieve_tijd_bestaat_niet     i /\
  19                                     omzetten_naar_Int_is_consistent i /\
  20                                     parse_print_is_consistent       i /\
  21                                     True
  22                                 )
  23
  24 t :: Int -> T
  25 t x = fromInt x
  26
  27 gelijkheid_is_symmetrisch                       :: Int -> Property
  28 gelijkheid_is_symmetrisch i                     = name "gelijkheid_is_symmetrisch"
  29                                                                                (t i == t i)
  30
  31 ordening_is_monotoon                            :: Int -> Property
  32 ordening_is_monotoon i                          = name "ordening_is_monotoon"
  33                                                                                ((i <= i+1) ==> t i <= t (i+1))
  34
  35 negatieve_tijd_bestaat_niet                     :: Int -> Property
  36 negatieve_tijd_bestaat_niet i           = name "negatieve_tijd_bestaat_niet"
  37                                                                                ((i + 1 >= i) ==> t i - t (i+1) == zero)
  38
  39 omzetten_naar_Int_is_consistent         :: Int -> Property
  40 omzetten_naar_Int_is_consistent i       = name "omzetten_naar_Int_is_consistent"
  41                                                                                ((abs i >= 0) ==> toInt (t (abs i)) == abs i)
  42
  43 parse_print_is_consistent                       :: Int -> Property
  44 parse_print_is_consistent i                     = name "parse_print_is_consistent"
  45                                                                                (fromString (toString (t i)) == t i)