reset a3, kut Charlie ;)

[tt2015.git] / a3 / code / Gast / gen.dcl

diff --git a/a3/code/Gast/gen.dcl b/a3/code/Gast/gen.dcl
new file mode 100644 (file)
index 0000000..7261e96
--- /dev/null
+++ b/a3/code/Gast/gen.dcl
@@ -0,0 +1,24 @@
+definition module gen\r
+\r
+/*\r
+       GAST: A Generic Automatic Software Test-system\r
+       \r
+       gen: generic generation of values of a type\r
+\r
+       Pieter Koopman, 2004\r
+       Radboud Universty, Nijmegen\r
+       The Netherlands\r
+       pieter@cs.ru.nl\r
+*/\r
+\r
+import StdGeneric\r
+\r
+randomize :: [a] [Int] Int ([Int] -> [a]) -> [a]\r
+\r
+generic ggen a :: Int [Int] -> [a]\r
+\r
+derive ggen Int, Bool, Real, Char, UNIT, PAIR, EITHER, CONS, OBJECT, FIELD, (,), (,,), (,,,), [], String\r
+\r
+maxint :: Int\r
+minint :: Int\r
+StrLen :== 80\r