1 definition module gastyStart
4 Pieter Koopman, Radboud University, 2016 - 2018
7 A simplified MBT tool based on logical properties
9 Use the iTask environment!
10 Execute with "Basic values only" option
13 import StdEnv, StdGeneric, Data.GenEq
15 test :: p -> [String] | prop p
16 class prop a where holds :: a Prop -> [Prop]
21 instance prop (a->b) | prop b & testArg a
22 class testArg a | gen{|*|}, string{|*|}, gEq{|*|} a
25 derive gen Int, Real, Bool, Char, UNIT, PAIR, EITHER, CONS, OBJECT, RECORD, FIELD
27 generic string a :: a -> String
28 derive string Int, Real, Bool, Char, UNIT, PAIR, EITHER, CONS of gcd, OBJECT, RECORD of grd, FIELD of gfd
30 :: For = E.a b: (For) infix 0 (a -> b) [a] & prop b & string{|*|} a
33 :: Select = E.p: (==>) infixl 0 Bool p & prop p
36 :: Equ = E.a: (=.=) infix 4 a a & testArg a