From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- 1415/files/practicum/TestSimpleFileIO.icl | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 1415/files/practicum/TestSimpleFileIO.icl (limited to '1415/files/practicum/TestSimpleFileIO.icl') diff --git a/1415/files/practicum/TestSimpleFileIO.icl b/1415/files/practicum/TestSimpleFileIO.icl new file mode 100644 index 0000000..539e155 --- /dev/null +++ b/1415/files/practicum/TestSimpleFileIO.icl @@ -0,0 +1,31 @@ +module TestSimpleFileIO + +import SimpleFileIO, StdEnv + +bestand n :== "TestSimpleFileIO" +++ toString n +++ ".icl" + +Start :: *World -> (String,*World) + +/* Test onderdeel 1: */ +Start world + = case readFile (bestand "") world of + (Just inhoud,world) + = case writeFile (bestand 1) inhoud world of + (True,world) = ("Bestand '" +++ bestand 1 +++ "' geschreven.\n", world) + (_, world) = ("Bestand '" +++ bestand 1 +++ "'niet geschreven.\n",world) + (nothing, world) = ("Kon '" +++ bestand "" +++ "' niet lezen.\n",world) + +/* Test onderdeel 2: */ +Start world + = case readLines (bestand 1) world of + (Just regels,world) + = case writeLines (bestand 2) (reverse regels) world of + (True, world) = ("Bestand '" +++ bestand 2 +++ "' geschreven.\n", world) + (False,world) = ("Bestand '" +++ bestand 2 +++ "' niet geschreven.\n",world) + (nothing,world) = ("Kon '" +++ bestand 1 +++ "' niet lezen.\n",world) + +/* Test onderdeel 3: */ +Start world + = case mapFile (bestand 2) (bestand 3) (map toUpper) world of + (False,world) = ("Kon '" +++ bestand 2 +++ "' niet lezen of '" +++ bestand 3 +++ "' niet schrijven.\n",world) + (_, world) = ("Bestand '" +++ bestand 3 +++ "' geschreven.\n",world) -- cgit v1.2.3