Merge branch 'master' of https://github.com/dopefishh/tt2015

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

diff --git a/a3/code/Gast/stdProperty.dcl b/a3/code/Gast/stdProperty.dcl
deleted file mode 100644 (file)
index 194a84f..0000000
--- a/a3/code/Gast/stdProperty.dcl
+++ /dev/null
@@ -1,50 +0,0 @@
-definition module stdProperty\r
-\r
-/*\r
-       GAST: A Generic Automatic Software Test-system\r
-       \r
-       stdProperty: opertors on logical properties\r
-\r
-       Pieter Koopman, 2004\r
-       Radboud Universty, Nijmegen\r
-       The Netherlands\r
-       pieter@cs.ru.nl\r
-*/\r
-\r
-import genLibTest\r
-import testable\r
-\r
-class (\/) infixr 2 a b        :: !a b -> Property     //      Conditional or  of arg1 and arg2\r
-class (/\) infixr 3    a b :: !a b -> Property //      Conditional and of arg1 and arg2\r
-\r
-instance /\ Bool     Bool\r
-instance /\ Property Bool\r
-instance /\ Bool     Property\r
-instance /\ Property Property\r
-\r
-instance \/ Bool     Bool\r
-instance \/ Property Bool\r
-instance \/ Bool     Property\r
-instance \/ Property Property\r
-\r
-class (==>) infixr 1 b :: b p -> Property | Testable p\r
-\r
-instance ==> Bool\r
-instance ==> Property\r
-\r
-(<==>) infix 4 :: !a !b -> Property    | Testable a & Testable b               //      True if properties are equivalent\r
-\r
-ExistsIn :: (x->p) [x] -> Property | Testable p & TestArg x            // type is too restricive\r
-Exists :: (x->p) -> Property | Testable p & TestArg x\r
-ForAll :: !(x->p) -> Property | Testable p & TestArg x\r
-\r
-ForEach :: ![x] !(x->p) -> Property | Testable p & TestArg x\r
-(For) infixl 0 :: !(x->p) ![x] -> Property | Testable p & TestArg x\r
-(ForAndGen) infixl 0 :: !(x->p) ![x] -> Property | Testable p & TestArg x\r
-\r
-classify :: !Bool l !p -> Property | Testable p & genShow{|*|} l\r
-label ::  !l !p -> Property | Testable p & genShow{|*|} l\r
-name :: !n !p -> Property | Testable p & genShow{|*|} n\r
-\r
-instance ~ Bool\r
-instance ~ Property\r