Permalink
Fetching contributors…
Cannot retrieve contributors at this time
388 lines (336 sloc) 15.5 KB
(* Auxiliary functions for test cases *)
infix 1 seq
fun e1 seq e2 = e2;
fun check b = if b then "OK" else "WRONG";
fun check' f = (if f () then "OK" else "WRONG") handle _ => "EXN";
fun range (from, to) p =
let open Int
in
(from > to) orelse (p from) andalso (range (from+1, to) p)
end;
fun checkrange bounds = check o range bounds;
fun tst0 s s' = print (s ^ " \t" ^ s' ^ "<br>");
fun tst s b = tst0 s (check b);
fun tst' s f = tst0 s (check' f);
fun tstrange s bounds = (tst s) o range bounds
(* test/array.sml -- some test cases for Array
PS 1994-12-10, 1995-06-14, 1995-11-07 *)
val _ = print "<h2>File: array.sml: Testing Array...</h2>"
local
open Array
infix 9 sub
val array0 : int array = fromList []
in
val a = fromList [1,11,21,31,41,51,61];
val b = fromList [441,551,661];
val c = fromList [1,11,21,31,41,51,61];
val test1 = tst' "test1" (fn () => a<>c);
val test2 =
tst' "test2" (fn () =>
array(0, 11) <> array0
andalso array(0,()) <> tabulate(0, fn _ => ())
andalso tabulate(0, fn _ => ()) <> fromList []
andalso fromList [] <> fromList []
andalso array(0, ()) <> array(0, ())
andalso tabulate(0, fn _ => ()) <> tabulate(0, fn _ => ()));
val d = tabulate(100, fn i => i mod 7 * 10 + 1);
val test3 =
tst' "test3" (fn () => d sub 27 = 61);
val test4a = tst0 "test4a"
((tabulate(maxLen+1, fn i => i) seq "WRONG")
handle Size => "OK" | _ => "WRONG");
val test4b = tst0 "test4b"
((tabulate(~1, fn i => i) seq "WRONG")
handle Size => "OK" | _ => "WRONG");
val test4c =
tst' "test4c" (fn () => length (tabulate(0, fn i => i div 0)) = 0);
val test5a =
tst' "test5a" (fn () => length (fromList []) = 0 andalso length a = 7);
val test5b =
tst' "test5b" (fn () => length array0 = 0);
val test6a = tst0 "test6a" ((c sub ~1 seq "WRONG") handle Subscript => "OK" | _ => "WRONG");
val test6b = tst0 "test6b" ((c sub 7 seq "WRONG") handle Subscript => "OK" | _ => "WRONG");
val test6c = tst' "test6c" (fn () => c sub 0 = 1);
val e = array(203, 0);
val _ = (copy{src=d, dst=e, di=0};
copy{src=b, dst=e, di=length d};
copy{src=d, dst=e, di=length d + length b});
fun a2v a = vector a
val ev = Vector.concat [a2v d, a2v b, a2v d]; (* length e = 203 *)
val test7 = tst' "test7" (fn () => length e = 203);
val test8a = tst0 "test8a" ((update(e, ~1, 99) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test8b = tst0 "test8b" ((update(e, length e, 99) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
(*
val f = extract (e, 100, SOME 3);
val test9 = tst' "test9" (fn () => f = a2v b);
val test9a =
tst' "test9a" (fn () => ev = extract(e, 0, SOME (length e))
andalso ev = extract(e, 0, NONE));
val test9b =
tst' "test9b" (fn () => Vector.fromList [] = extract(e, 100, SOME 0));
val test9c = (extract(e, ~1, SOME (length e)) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG"
val test9d = (extract(e, length e+1, SOME 0) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG"
val test9e = (extract(e, 0, SOME (length e+1)) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG"
val test9f = (extract(e, 20, SOME ~1) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG"
val test9g = (extract(e, ~1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG"
val test9h = (extract(e, length e+1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG"
val test9i =
tst' "test9i" (fn () => a2v (fromList []) = extract(e, length e, SOME 0)
andalso a2v (fromList []) = extract(e, length e, NONE));
val test9j =
tst' "test9j" (fn () => extract(e, 3, SOME(length e - 3)) = extract(e, 3, NONE));
val _ = copy{src=e, si=0, dst=e, di=0, len=NONE};
val g = array(203, 9999999);
val _ = copy{src=e, si=0, dst=g, di=0, len=NONE};
val test10a = tst' "test10a" (fn () => ev = extract(e, 0, SOME (length e))
andalso ev = extract(e, 0, NONE));
val test10b = tst' "test10b" (fn () => ev = extract(g, 0, SOME (length g))
andalso ev = extract(g, 0, NONE));
val _ = copy{src=g, si=203, dst=g, di=0, len=SOME 0};
val test10c = tst' "test10c" (fn () => ev = extract(g, 0, SOME (length g)));
val _ = copy{src=g, si=0, dst=g, di=203, len=SOME 0};
val test10d = tst' "test10d" (fn () => ev = extract(g, 0, SOME (length g)));
val _ = copy{src=g, si=0, dst=g, di=1, len=SOME (length g-1)};
val test10e = tst' "test10e" (fn () => a2v b = extract(g, 101, SOME 3));
val _ = copy{src=g, si=1, dst=g, di=0, len=SOME (length g-1)};
val test10f = tst' "test10f" (fn () => a2v b = extract(g, 100, SOME 3));
val _ = copy{src=g, si=202, dst=g, di=202, len=SOME 1};
val test10g =
tst' "test10g" (fn () => g sub 202 = 10 * (202-1-103) mod 7 + 1);
val test10h =
tst' "test10h" (fn () => (copy{src=array0, si=0, dst=array0, di=0, len=SOME 0};
array0 <> array(0, 999999)));
*)
val test10i =
tst' "test10i" (fn () => (copy{src=array0, dst=array0, di=0};
array0 <> array(0, 999999)));
(*
val test11a = tst0 "test11a" ((copy{src=g, si= ~1, dst=g, di=0, len=NONE}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11b = tst0 "test11b" ((copy{src=g, dst=g, di= ~1}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11c = tst0 "test11c" ((copy{src=g, si=1, dst=g, di=0, len=NONE}; "OK")
handle _ => "WRONG")
val test11d = tst0 "test11d" ((copy{src=g, dst=g, di=1}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11e = tst0 "test11e" ((copy{src=g, si=203, dst=g, di=0, len=NONE}; "OK")
handle _ => "WRONG")
val test11f = tst0 "test11f" ((copy{src=g, si= ~1, dst=g, di=0, len=SOME (length g)}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11g = tst0 "test11g" ((copy{src=g, si=0, dst=g, di= ~1, len=SOME (length g)}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11h = tst0 "test11h" ((copy{src=g, si=1, dst=g, di=0, len=SOME (length g)}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11i = tst0 "test11i" ((copy{src=g, si=0, dst=g, di=1, len=SOME (length g)}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11j = tst0 "test11j" ((copy{src=g, si=0, dst=g, di=0, len=SOME (length g+1)}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
val test11k = tst0 "test11k" ((copy{src=g, si=203, dst=g, di=0, len=SOME 1}; "WRONG")
handle Subscript => "OK" | _ => "WRONG")
*)
local
val v = ref 0
fun setv c = v := c;
fun addv c = v := c + !v;
fun setvi (i, c) = v := c + i;
fun addvi (i, c) = v := c + i + !v;
fun cons (x,r) = x :: r
fun consi (i,x,r) = (i,x) :: r
val inplist = [7,9,13];
val inp = fromList inplist
val pni = fromList (rev inplist)
fun copyinp a =
copy{src=inp, dst=a, di=0}
in
val array0 = fromList [] : int array;
val test12a =
tst' "test12a" (fn _ =>
foldl cons [1,2] array0 = [1,2]
andalso foldl cons [1,2] inp = [13,9,7,1,2]
andalso (foldl (fn (x, _) => setv x) () inp; !v = 13));
val test12b =
tst' "test12b" (fn _ =>
foldr cons [1,2] array0 = [1,2]
andalso foldr cons [1,2] inp = [7,9,13,1,2]
andalso (foldr (fn (x, _) => setv x) () inp; !v = 7));
(*
val test12c =
tst' "test12c" (fn _ =>
find (fn _ => true) array0 = NONE
andalso find (fn _ => false) inp = NONE
andalso find (fn x => x=7) inp = SOME 7
andalso find (fn x => x=9) inp = SOME 9
andalso (setv 0; find (fn x => (addv x; x=9)) inp; !v = 7+9));
*)
val test12d =
tst' "test12d" (fn _ =>
(setv 117; app setv array0; !v = 117)
andalso (setv 0; app addv inp; !v = 7+9+13)
andalso (app setv inp; !v = 13));
val test12e =
let val a = array(length inp, inp sub 0)
in
tst' "test12e" (fn _ =>
(modify (~ : int -> int) array0; true)
andalso (copyinp a; modify ~ a; foldr (op::) [] a = map ~ inplist)
andalso (setv 117; modify (fn x => (setv x; 37)) a; !v = ~13))
end
val test13a =
tst' "test13a" (fn _ =>
foldli consi [] (array0) = []
andalso foldri consi [] (array0) = []
andalso foldli consi [] (inp) = [(2,13),(1,9),(0,7)]
andalso foldri consi [] (inp) = [(0,7),(1,9),(2,13)])
(*
val test13b =
tst' "test13b" (fn _ =>
foldli consi [] (array0, 0, SOME 0) = []
andalso foldri consi [] (array0, 0, SOME 0) = []
andalso foldli consi [] (inp, 0, SOME 0) = []
andalso foldri consi [] (inp, 0, SOME 0) = []
andalso foldli consi [] (inp, 3, SOME 0) = []
andalso foldri consi [] (inp, 3, SOME 0) = []
andalso foldli consi [] (inp, 0, SOME 3) = [(2,13),(1,9),(0,7)]
andalso foldri consi [] (inp, 0, SOME 3) = [(0,7),(1,9),(2,13)]
andalso foldli consi [] (inp, 0, SOME 2) = [(1,9),(0,7)]
andalso foldri consi [] (inp, 0, SOME 2) = [(0,7),(1,9)]
andalso foldli consi [] (inp, 1, SOME 2) = [(2,13),(1,9)]
andalso foldri consi [] (inp, 1, SOME 2) = [(1,9),(2,13)]
andalso foldli consi [] (inp, 2, SOME 1) = [(2,13)]
andalso foldri consi [] (inp, 2, SOME 1) = [(2,13)]);
val test13c = tst0 "test13c" ((foldli consi [] (inp, ~1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13d = tst0 "test13d" ((foldli consi [] (inp, 4, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13e = tst0 "test13e" ((foldli consi [] (inp, ~1, SOME 2) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13f = tst0 "test13f" ((foldli consi [] (inp, 4, SOME 0) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13g = tst0 "test13g" ((foldli consi [] (inp, 0, SOME 4) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13h = tst0 "test13h" ((foldli consi [] (inp, 2, SOME ~1) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13i = tst0 "test13i" ((foldri consi [] (inp, ~1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13j = tst0 "test13j" ((foldri consi [] (inp, 4, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13k = tst0 "test13k" ((foldri consi [] (inp, ~1, SOME 2) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13l = tst0 "test13l" ((foldri consi [] (inp, 4, SOME 0) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13m = tst0 "test13m" ((foldri consi [] (inp, 0, SOME 4) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test13n = tst0 "test13n" ((foldri consi [] (inp, 2, SOME ~1) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
*)
(*
val test14a =
tst' "test14a" (fn _ =>
findi (fn _ => true) (array0, 0, NONE) = NONE
andalso findi (fn _ => false) (inp, 0, NONE) = NONE
andalso findi (fn (i, x) => x=9 orelse 117 div (2-i) = 0) (inp, 0, NONE)
= SOME (1,9));
val test14b =
tst' "test14b" (fn _ =>
findi (fn _ => true) (array0, 0, SOME 0) = NONE
andalso findi (fn _ => false) (inp, 0, NONE) = NONE
andalso findi (fn (i, x) => x=9 orelse 117 div (2-i) = 0) (inp, 0, NONE)
= SOME (1,9));
val test14c = (findi (fn _ => true) (inp, ~1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG";
val test14d = (findi (fn _ => true) (inp, 4, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG";
val test14e = (findi (fn _ => true) (inp, ~1, SOME 2) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG";
val test14f = (findi (fn _ => true) (inp, 4, SOME 0) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG";
val test14g = (findi (fn _ => true) (inp, 0, SOME 4) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG";
val test14h = (findi (fn _ => true) (inp, 2, SOME ~1) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG";
*)
val test15a =
tst' "test15a" (fn _ =>
(setvi (0,117); appi setvi (array0); !v = 117)
andalso (setvi (0,0); appi addvi (inp); !v = 0+7+1+9+2+13)
andalso (appi setvi (inp); !v = 2+13));
(*
val test15b =
tst' "test15b" (fn _ =>
(setvi (0,117); appi setvi (array0, 0, SOME 0); !v = 117)
andalso (setvi (0,0); appi addvi (inp, 0, SOME 0); !v = 0)
andalso (setvi (0,0); appi addvi (inp, 3, SOME 0); !v = 0)
andalso (setvi (0,0); appi addvi (inp, 0, SOME 2); !v = 0+7+1+9)
andalso (setvi (0,0); appi addvi (inp, 1, SOME 2); !v = 1+9+2+13)
andalso (setvi (0,0); appi addvi (inp, 0, SOME 3); !v = 0+7+1+9+2+13)
andalso (appi setvi (inp, 1, SOME 2); !v = 2+13)
andalso (appi setvi (inp, 0, SOME 2); !v = 1+9)
andalso (appi setvi (inp, 0, SOME 1); !v = 0+7)
andalso (appi setvi (inp, 0, SOME 3); !v = 2+13));
val test15c = tst0 "test15c" ((appi setvi (inp, ~1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test15d = tst0 "test15d" ((appi setvi (inp, 4, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test15e = tst0 "test15e" ((appi setvi (inp, ~1, SOME 2) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test15f = tst0 "test15f" ((appi setvi (inp, 4, SOME 0) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test15g = tst0 "test15g" ((appi setvi (inp, 0, SOME 4) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test15h = tst0 "test15h" ((appi setvi (inp, 2, SOME ~1) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test16a =
let val a = array(length inp, inp sub 0)
in
tst' "test16a" (fn _ =>
(modifyi (op +) (array0, 0, NONE); true)
andalso (modifyi (op +) (array0, 0, SOME 0); true)
andalso (copyinp a; modifyi (op -) (a, 0, SOME 0);
foldr (op::) [] a = [7,9,13])
andalso (copyinp a; modifyi (op -) (a, 3, SOME 0);
foldr (op::) [] a = [7,9,13])
andalso (copyinp a; modifyi (op -) (a, 0, NONE);
foldr (op::) [] a = [~7,~8,~11])
andalso (copyinp a; modifyi (op -) (a, 0, SOME 3);
foldr (op::) [] a = [~7,~8,~11])
andalso (copyinp a; modifyi (op -) (a, 0, SOME 2);
foldr (op::) [] a = [~7,~8,13])
andalso (copyinp a; modifyi (op -) (a, 1, SOME 2);
foldr (op::) [] a = [7,~8,~11])
andalso (copyinp a; setv 117;
modifyi (fn x => (setvi x; 37)) (a, 0, NONE); !v = 2+13)
andalso (copyinp a; setv 117;
modifyi (fn x => (setvi x; 37)) (a, 0, SOME 3); !v = 2+13)
andalso (copyinp a; setv 117;
modifyi (fn x => (setvi x; 37)) (a, 1, SOME 2); !v = 2+13)
andalso (copyinp a; setv 117;
modifyi (fn x => (setvi x; 37)) (a, 0, SOME 2); !v = 1+9)
andalso (copyinp a; setv 117;
modifyi (fn x => (setvi x; 37)) (a, 0, SOME 0); !v = 117)
andalso (copyinp a; setv 117;
modifyi (fn x => (setvi x; 37)) (a, 3, SOME 0); !v = 117))
end
val test16b = tst0 "test16b" ((modifyi (op+) (inp, ~1, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test16c = tst0 "test16c" ((modifyi (op+) (inp, 4, NONE) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test16d = tst0 "test16d" ((modifyi (op+) (inp, ~1, SOME 2) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test16e = tst0 "test16e" ((modifyi (op+) (inp, 4, SOME 0) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test16f = tst0 "test16f" ((modifyi (op+) (inp, 0, SOME 4) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
val test16g = tst0 "test16g" ((modifyi (op+) (inp, 2, SOME ~1) seq "WRONG")
handle Subscript => "OK" | _ => "WRONG");
*)
end
val _ = print "<br>Test ended"
end