diff options
| author | Camil Staps | 2016-02-02 19:24:50 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-02-02 19:24:50 +0100 |
| commit | a7d7542dc646a5fd124ef71e71ce260889f1701b (patch) | |
| tree | 04ed89503bbb3cc9933273a1326a53ca724c3492 /files/practicum/MatchStringsTest.icl | |
| parent | week6 camil: working positioning of lines by putting empties at left and righ... (diff) | |
Diffstat (limited to 'files/practicum/MatchStringsTest.icl')
| -rw-r--r-- | files/practicum/MatchStringsTest.icl | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/files/practicum/MatchStringsTest.icl b/files/practicum/MatchStringsTest.icl deleted file mode 100644 index 35c2d27..0000000 --- a/files/practicum/MatchStringsTest.icl +++ /dev/null @@ -1,80 +0,0 @@ -module MatchStringsTest
-
-/* Test module MatchStrings
- Voor werken met Gast:
- (*) gebruik Environment 'Gast'
- (*) zet Project Options op 'Basic Values Only'
-*/
-
-import StdEnv
-import MatchStrings
-import gast
-
-Start
- = testn 1000
- (\s t ->
- eigenschap_waar_voor_gelijke_argumenten is_gelijk s /\
- eigenschap_onwaar_voor_groter_argument is_gelijk s /\
- eigenschap_onwaar_voor_groter_argument is_deelstring s /\
- eigenschap_waar_voor_gelijke_argumenten is_deelstring s /\
- eigenschap_waar_voor_gelijk_begin is_deelstring s t /\
- eigenschap_waar_voor_gelijk_midden is_deelstring s t /\
- eigenschap_waar_voor_gelijk_eind is_deelstring s t /\
- eigenschap_onwaar_voor_groter_argument is_deel s /\
- eigenschap_waar_voor_gelijke_argumenten is_deel s /\
- eigenschap_waar_voor_gelijk_begin is_deel s t /\
- eigenschap_waar_voor_gelijk_midden is_deel s t /\
- eigenschap_waar_voor_gelijk_eind is_deel s t /\
- eigenschap_waar_voor_uitbreiding is_deel s t /\
- kleenes_matcht_altijd s /\
- dots_matcht_zelfde_lengte s /\
- True
- )
-
-eigenschap_onwaar_voor_groter_argument :: (String String -> Bool) String -> Property
-eigenschap_onwaar_voor_groter_argument f a
- = name "eigenschap_onwaar_voor_groter_argument" (not (f (a +++ ".") a))
-
-eigenschap_waar_voor_gelijke_argumenten :: (String String -> Bool) String -> Property
-eigenschap_waar_voor_gelijke_argumenten f a
- = name "eigenschap_waar_voor_gelijke_argumenten" (f a a)
-
-eigenschap_waar_voor_gelijk_begin :: (String String -> Bool) String String -> Property
-eigenschap_waar_voor_gelijk_begin f a b
- = name "eigenschap_waar_voor_gelijk_begin" (f a (a +++ b))
-
-eigenschap_waar_voor_gelijk_midden :: (String String -> Bool) String String -> Property
-eigenschap_waar_voor_gelijk_midden f a b
- = name "eigenschap_waar_voor_gelijk_midden" (f a (b +++ a +++ b))
-
-eigenschap_waar_voor_gelijk_eind :: (String String -> Bool) String String -> Property
-eigenschap_waar_voor_gelijk_eind f a b
- = name "eigenschap_waar_voor_gelijk_eind" (f a (b +++ a))
-
-eigenschap_waar_voor_uitbreiding :: (String String -> Bool) String String -> Property
-eigenschap_waar_voor_uitbreiding f a extra
- = name "eigenschap_waar_voor_uitbreiding"
- ((extra <> "") ==> f a (breid_string_uit extra a))
-
-breid_string_uit :: String String -> String
-breid_string_uit extra string
- = toString (flatten [[c:cs] \\ c <-: string])
-where
- cs = fromString extra
-
-kleenes_matcht_altijd :: String -> Property
-kleenes_matcht_altijd s
- = name "kleenes_matcht_altijd"
- (ForEach [{# '*' \\ _ <- [1..n]} \\ n <- [1..10]] (flip is_match s))
-
-dots_matcht_zelfde_lengte :: String -> Property
-dots_matcht_zelfde_lengte s
- = name "dots_matcht_zelfde_lengte"
- (is_match dots s
- &&
- not (is_match ("."+++dots) s)
- &&
- not (is_match dots (s+++"."))
- )
-where
- dots = {# '.' \\ _ <-: s}
|