aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rwxr-xr-xtests/expressionParser_test.ml83
-rwxr-xr-xtests/expression_test.ml113
-rwxr-xr-xtests/sheet_test.ml136
-rwxr-xr-xtests/test.ml10
-rwxr-xr-xtests/tools_test.ml220
-rwxr-xr-xtests/unicode_test.ml39
6 files changed, 601 insertions, 0 deletions
diff --git a/tests/expressionParser_test.ml b/tests/expressionParser_test.ml
new file mode 100755
index 0000000..7c16233
--- /dev/null
+++ b/tests/expressionParser_test.ml
@@ -0,0 +1,83 @@
+open OUnit2
+
+let u = UTF8.from_utf8string
+
+let _msg ~(expected:Expression.t) ~(result:Expression.t) =
+ Printf.sprintf "Expected %s but got %s"
+ (UTF8.encode @@ Expression.show @@ Expression.load_expr expected)
+ (UTF8.encode @@ Expression.show @@ Expression.load_expr result)
+
+let load_expr str =
+ Expression.Formula (
+ Expression.Expression(
+ ExpressionParser.value ExpressionLexer.read
+ @@ Lexing.from_string str )
+ )
+
+
+let test_num ctx = begin
+
+ let expected = Expression.Formula (
+ Expression.Expression (
+ ScTypes.Value (
+ ScTypes.Num (
+ Num.num_of_int 1, Some (u"1"))))) in
+ let result = load_expr "=1" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_call ctx = begin
+
+ let expected = Expression.Formula (
+ Expression.Expression (
+ ScTypes.Call (
+ u"sum", []))) in
+ let result = load_expr "=sum()" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_call2 ctx = begin
+
+ (* The expression "foo2(" has to be parsed as a function call, and not as a
+ reference to cell "FOO2", followed by another expression. *)
+
+ let expected = Expression.Formula (
+ Expression.Expression (
+ ScTypes.Call (
+ u"foo2", [ScTypes.Value (ScTypes.Num (Num.num_of_int 4, Some (u"4")))]))) in
+ let result = load_expr "=foo2(4)" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_ref ctx = begin
+
+ let expected = Expression.Formula (
+ Expression.Expression (
+ ScTypes.Ref(
+ ScTypes.Cell ((1, 3), (false, false))))) in
+ let result = load_expr "=A3" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let tests = "expression_parser_test">::: [
+ "test_num" >:: test_num;
+ "test_call" >:: test_call;
+ "test_call2" >:: test_call2;
+ "test_ref" >:: test_ref;
+]
diff --git a/tests/expression_test.ml b/tests/expression_test.ml
new file mode 100755
index 0000000..3674b9a
--- /dev/null
+++ b/tests/expression_test.ml
@@ -0,0 +1,113 @@
+open OUnit2
+module T = Tools
+
+let u = UTF8.from_utf8string
+
+let _msg ~expected ~result =
+
+ let get_type = function
+ | Expression.Basic ScTypes.Num _ -> "N"
+ | Expression.Basic ScTypes.Str _ -> "S"
+ | Expression.Basic ScTypes.Date _ -> "D"
+ | Expression.Basic ScTypes.Undefined -> "U"
+ | Expression.Basic ScTypes.Bool _ -> "B"
+ | Expression.Basic ScTypes.List _ -> "L"
+ | Expression.Formula _ -> "F" in
+
+ Printf.sprintf "Expected %s:%s but got %s:%s"
+ (UTF8.encode @@ Expression.show expected)
+ (get_type expected)
+ (UTF8.encode @@ Expression.show result)
+ (get_type result)
+
+let assert_equal expected result =
+ OUnit2.assert_equal
+ ~cmp:(Expression.(=))
+ ~msg:(_msg ~expected ~result)
+ expected result
+
+
+let test_str ctx = begin
+ let result = Expression.load @@ u"cafe" in
+ let expected = Expression.load_expr @@ Expression.Basic (
+ ScTypes.Str (u"cafe")) in
+ assert_equal expected result
+end
+
+(** If the string start with space, it should be interpreted as a litteral *)
+let test_str_space ctx = begin
+ let result = Expression.load @@ u" =cafe" in
+ let expected = Expression.load_expr @@ Expression.Basic (
+ ScTypes.Str (u" =cafe")) in
+ assert_equal expected result
+end
+
+let test_formula_str ctx = begin
+ let result = Expression.load @@ u"=\"cafe\"" in
+ let expected = Expression.load_expr @@ Expression.Formula (
+ Expression.Expression (
+ ScTypes.Value (
+ ScTypes.Str (u"cafe")))) in
+ assert_equal expected result
+end
+
+let test_num ctx = begin
+ let result = Expression.load @@ u"123" in
+ let expected = Expression.load_expr @@ Expression.Basic (
+ ScTypes.Num (Num.num_of_int 123, None)) in
+ assert_equal expected result
+end
+
+let test_float ctx = begin
+ let result = Expression.load @@ u"12.45" in
+ let expected = Expression.load_expr @@ Expression.Basic (
+ ScTypes.Num (
+ T.Num.of_float_string "12.45", None)) in
+ assert_equal expected result
+end
+
+let test_relative ctx = begin
+ let result = Expression.load @@ u"-123" in
+ let expected = Expression.load_expr @@ Expression.Basic (
+ ScTypes.Num (Num.num_of_int (-123), None)) in
+ assert_equal expected result
+end
+
+let test_date ctx = begin
+ let result = Expression.load @@ u"1900/01/01"
+ and expected = Expression.load_expr @@ Expression.Basic (
+ ScTypes.Date (Tools.Date.get_julian_day 1900 01 01)) in
+ assert_equal expected result
+end
+
+let test_sources ctx = begin
+ let result = Expression.load @@ u"=A1"
+ |> Expression.collect_sources in
+
+ let expected = Cell.Set.singleton (1, 1) in
+
+ let msg = Printf.sprintf "Expected %s but got %s"
+ (UTF8.encode @@ Tools.String.print_buffer Cell.Set.printb expected)
+ (UTF8.encode @@ Tools.String.print_buffer Cell.Set.printb result) in
+
+ OUnit2.assert_equal ~msg expected result
+
+end
+
+let tests = "expression_test">::: [
+ (* Test litteral input *)
+ "test_str" >:: test_str;
+ "test_str_space" >:: test_str_space;
+
+ "test_formula_str" >:: test_formula_str;
+
+ (* Test numeric input *)
+ "test_num" >:: test_num;
+ "test_float" >:: test_float;
+ "test_relative" >:: test_relative;
+
+ "test_date" >:: test_date;
+
+ "test_sources" >:: test_sources;
+
+]
diff --git a/tests/sheet_test.ml b/tests/sheet_test.ml
new file mode 100755
index 0000000..f63d76f
--- /dev/null
+++ b/tests/sheet_test.ml
@@ -0,0 +1,136 @@
+open OUnit2
+
+let u = UTF8.from_utf8string
+
+let _msg ~expected ~result =
+ Printf.sprintf "Expected %s but got %s"
+ (UTF8.encode @@ ScTypes.Result.show expected)
+ (UTF8.encode @@ ScTypes.Result.show result)
+
+(** Test a simple references between two cells *)
+let test_create_ref_1 ctx = begin
+
+ let s = Sheet.Raw.create
+ |> Sheet.Raw.add (3,3) @@ Expression.load @@ u"=-1"
+ |> snd |> Sheet.Raw.add (0,0) @@ Expression.load @@ u"=C3"
+ |> snd in
+ let result = (Sheet.Raw.get_value (0, 0) s) in
+ let expected = (ScTypes.Result (ScTypes.Num (Num.num_of_int (-1), Some (u"-1")))) in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_create_ref_2 ctx = begin
+
+ let s = Sheet.Raw.create
+ |> Sheet.Raw.add (2,2) @@ Expression.load @@ u"=C3"
+ |> snd |> Sheet.Raw.add (3,3) @@ Expression.load @@ u"=A1"
+ |> snd |> Sheet.Raw.add (1,1) @@ Expression.load @@ u"123"
+ |> snd in
+
+
+ let result = (Sheet.Raw.get_value (2, 2) s) in
+ let expected = ScTypes.Result (ScTypes.Num (Num.num_of_int 123, Some (u"123"))) in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_create_direct_cycle ctx = begin
+
+ let s = Sheet.Raw.create
+ |> Sheet.Raw.add (2,2) @@ Expression.load @@ u"=B2"
+ |> snd in
+ let result = (Sheet.Raw.get_value (2, 2) s) in
+ let expected = ScTypes.Error Sheet.Raw.Cycle in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_create_indirect_cycle ctx = begin
+
+ let s = Sheet.Raw.create
+ |> Sheet.Raw.add (2,2) @@ Expression.load @@ u"=A1"
+ |> snd |> Sheet.Raw.add (1,1) @@ Expression.load @@ u"=B2"
+ |> snd |> Sheet.Raw.add (0,0) @@ Expression.load @@ u"=A1"
+ |> snd in
+ let result = (Sheet.Raw.get_value (0, 0) s) in
+ let expected = ScTypes.Result ScTypes.Undefined in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_delete ctx = begin
+
+ let s = Sheet.Raw.create
+ |> Sheet.Raw.add (2,2) @@ Expression.load @@ u"=C3"
+ |> snd |> Sheet.Raw.add (3,3) @@ Expression.load @@ u"=A1"
+ |> snd |> Sheet.Raw.remove (2,2)
+ |> snd |> Sheet.Raw.remove (3,3)
+ |> snd in
+ let result = (Sheet.Raw.get_value (3, 3) s) in
+ let expected = ScTypes.Result ScTypes.Undefined in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_update_succs1 ctx = begin
+
+ let result = Sheet.Raw.create
+ |> Sheet.Raw.add (1,1) @@ Expression.load @@ u" =1"
+ |> snd |> Sheet.Raw.add (2,2) @@ Expression.load @@ u"=A2"
+ |> snd |> Sheet.Raw.add (1,2) @@ Expression.load @@ u"=A1/1"
+ |> snd |> Sheet.Raw.add (1,1) @@ Expression.load @@ u"=2"
+ |> fst in
+
+ (* All the cells are updated by the change *)
+ let expected = Cell.Set.of_list [(1,1); (1, 2); (2,2)] in
+
+ let msg = Printf.sprintf "Expected %s but got %s"
+ (UTF8.encode @@ Tools.String.print_buffer Cell.Set.printb expected)
+ (UTF8.encode @@ Tools.String.print_buffer Cell.Set.printb result) in
+
+ assert_equal ~msg
+ expected
+ result
+end
+
+let test_update_succs2 ctx = begin
+
+ let result = Sheet.Raw.create
+ |> Sheet.Raw.add (1,1) @@ Expression.load @@ u"=1"
+ |> snd |> Sheet.Raw.add (2,2) @@ Expression.load @@ u"=A2"
+ |> snd |> Sheet.Raw.add (1,2) @@ Expression.load @@ u"=A1/0"
+ |> snd |> Sheet.Raw.add (1,1) @@ Expression.load @@ u"=2"
+ |> fst in
+ (* Only (1, 1) is updated ; (1, 2) does not change, neither (2, 2) *)
+ let expected = Cell.Set.of_list [(1,1)] in
+
+ assert_equal
+ expected
+ result
+end
+
+let tests = "sheet_test">::: [
+ "test_ref2" >:: test_create_ref_2;
+ "test_ref1" >:: test_create_ref_1;
+ "test_cycle1" >:: test_create_direct_cycle;
+ "test_cycle2" >:: test_create_indirect_cycle;
+ "test_delete" >:: test_delete;
+ "test_update_succs1" >:: test_update_succs1;
+ "test_update_succs2" >:: test_update_succs2;
+ ]
diff --git a/tests/test.ml b/tests/test.ml
new file mode 100755
index 0000000..1bfd6c1
--- /dev/null
+++ b/tests/test.ml
@@ -0,0 +1,10 @@
+let () =
+ let tests = OUnit2.test_list [
+ Tools_test.tests;
+ ExpressionParser_test.tests;
+ Expression_test.tests;
+ Sheet_test.tests;
+ ]
+ in OUnit2.run_test_tt_main tests
+
+
diff --git a/tests/tools_test.ml b/tests/tools_test.ml
new file mode 100755
index 0000000..9afc611
--- /dev/null
+++ b/tests/tools_test.ml
@@ -0,0 +1,220 @@
+open OUnit2
+
+module TestString = struct
+
+ let _msg ~expected ~result =
+ Printf.sprintf "Expected %s but got %s"
+ expected
+ result
+
+ let test_string_of_ints ctx = begin
+
+ let result = Tools.String.string_of_ints 127 in
+ let expected = "\127" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+ end
+
+ let test_string_of_ints_512 ctx = begin
+
+ let result = Tools.String.string_of_ints 512 in
+ let expected = "\002\000" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+ end
+
+ let test_split ctx = begin
+ let result = Tools.String.split ~by:' ' "abc 123 456"
+ and expected = ("abc", "123 456") in
+ assert_equal expected result
+ end
+
+ let test_filter_float src expected ctx = begin
+
+ let result = Tools.String.filter_float src in
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+
+ end
+
+ let tests = "string_test">::: [
+
+ "test_string_of_ints" >:: test_string_of_ints;
+ "test_string_of_ints_512" >:: test_string_of_ints_512;
+ "test_string_split" >:: test_split;
+
+ "filter_float" >:: test_filter_float "12." "12";
+ "filter_float2" >:: test_filter_float "12.5" "12.5";
+ "filter_float_empty" >:: test_filter_float "" "";
+ "filter_float_no_dot" >:: test_filter_float "123" "123";
+ ]
+end
+
+module TestDate = struct
+
+ let _msg ~expected ~result =
+ Printf.sprintf "Expected %s but got %s"
+ (Num.string_of_num expected)
+ (Num.string_of_num result)
+
+ let test_get_julian_day ctx = begin
+
+ let result = Tools.Date.get_julian_day 2016 01 01
+ and expected = (Num.num_of_int 2457389) in
+
+ (* Check that the num is round *)
+ assert_equal true (Num.is_integer_num result);
+
+ assert_equal
+ ~cmp:Num.(=/)
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+ end
+
+ let test_from_julian_day ctx = begin
+
+ let _msg (y1, m1, d1) (y2, m2, d2) =
+ Printf.sprintf "Expected %d-%d-%d but got %d-%d-%d"
+ y1 m1 d1
+ y2 m2 d2
+ in
+
+ let result = Tools.Date.date_from_julian_day @@ Num.num_of_int 2415753
+ and expected = (1902, 01, 03) in
+
+ assert_equal
+ ~msg:(_msg expected result)
+ expected
+ result;
+
+ end
+
+ let test_parse_time ctx = begin
+ let result = Tools.Date.from_string "1902-01-03T12:34:56"
+ and expected = (Num.num_of_string "13045069031/5400") in
+ (* =2415753.52425925925925925925 *)
+ assert_equal
+ ~cmp:Num.(=/)
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+ end
+
+ let test_time_from_julian_day ctx = begin
+
+ let _msg (h1, m1, s1) (h2, m2, s2) =
+ Printf.sprintf "Expected %f:%f:%f but got %f:%f:%f"
+ h1 m1 s1
+ h2 m2 s2
+ in
+
+ let result = Tools.Date.time_from_julian_day @@ Tools.Date.from_string "1902-01-03T12:34:56"
+ |> Tools.Tuple3.map (Num.float_of_num)
+ and expected = (12., 34., 56.) in
+
+ assert_equal
+ ~msg:(_msg expected result)
+ expected
+ result
+ end
+
+ let test_time_add_hour ctx = begin
+
+
+ let (result:string) = Tools.Date.from_string "1902-01-03T12:34:56"
+ |> Num.(add_num ((num_of_int 1) // (num_of_int 2)) )
+ |> Tools.Date.to_string in
+
+ let expected = "1902-01-04T00:34:56" in
+
+ let msg = Printf.sprintf "Expected %s but got %s" expected result in
+
+ assert_equal
+ ~msg
+ expected
+ result
+ end
+
+ let test_time_add_hour2 ctx = begin
+
+
+ let (result:string) = Tools.Date.from_string "1902-01-03T12:34:56"
+ |> Num.(add_num ((num_of_int 3) // (num_of_int 4)) )
+ |> Tools.Date.to_string in
+
+ let expected = "1902-01-04T00:34:56" in
+
+ let msg = Printf.sprintf "Expected %s but got %s" expected result in
+
+ assert_equal
+ ~msg
+ expected
+ result
+ end
+
+end
+
+(*
+module TestLocale = struct
+
+ let test_empty_string_length ctx = begin
+
+ Tools.Locale.set Tools.Locale.LC_CTYPE "en_US.UTF-8";
+ let result = Tools.Locale.length "" in
+ let expected = 0 in
+ Tools.Locale.set Tools.Locale.LC_CTYPE "C";
+
+ assert_equal expected result
+ end
+
+ let test_one_byte_length ctx = begin
+
+ Tools.Locale.set Tools.Locale.LC_CTYPE "en_US.UTF-8";
+ let result = Tools.Locale.length "A" in
+ let expected = 1 in
+ Tools.Locale.set Tools.Locale.LC_CTYPE "C";
+
+ assert_equal expected result
+ end
+
+ (** Encode an two-bytes UTF-8 string and check that the length is only one
+ character*)
+ let test_two_byte_length ctx = begin
+
+ Tools.Locale.set Tools.Locale.LC_CTYPE "en_US.UTF-8";
+ let result = Tools.Locale.length "\xc3\x80" in
+ let expected = 1 in
+ Tools.Locale.set Tools.Locale.LC_CTYPE "C";
+
+ assert_equal expected result
+ end
+
+end
+*)
+
+let tests = "tools_test">::: [
+
+ TestString.tests;
+
+ "test_get_julian_day" >:: TestDate.test_get_julian_day;
+ "test_from_julian_day" >:: TestDate.test_from_julian_day;
+ "test_parse_time" >:: TestDate.test_parse_time;
+ "test_time_from_julian_day" >:: TestDate.test_time_from_julian_day;
+ "test_time_add_hour" >:: TestDate.test_time_add_hour;
+
+(*
+ (** Locale test *)
+ "test_locale_length0" >:: TestLocale.test_empty_string_length;
+ "test_locale_length1" >:: TestLocale.test_one_byte_length;
+ "test_locale_length2" >:: TestLocale.test_two_byte_length;
+*)
+ ]
diff --git a/tests/unicode_test.ml b/tests/unicode_test.ml
new file mode 100755
index 0000000..8c58dc8
--- /dev/null
+++ b/tests/unicode_test.ml
@@ -0,0 +1,39 @@
+open OUnit2
+
+let _msg ~expected ~result =
+ Printf.sprintf "Expected %s but got %s"
+ (String.escaped expected)
+ (String.escaped result)
+
+let test_decode env = begin
+ let result = Unicode.decode ~encoding:`ISO_8859_1 "caf\xE9"
+ |> Unicode.to_utf8
+ and expected = "café" in
+
+ assert_equal
+ ~msg:(_msg ~expected ~result)
+ expected
+ result
+end
+
+let test_tolist env = begin
+
+
+ let result = Unicode.decode ~encoding:`UTF_8 "café"
+ |> Unicode.to_list in
+
+ let expected = ['c'; 'a'; 'f'; '\xE9']
+ |> List.map Uchar.of_char in
+
+ assert_equal
+ expected
+ result
+
+end
+
+
+let tests = "unicode_test">::: [
+ "test_decode" >:: test_decode;
+ "test_tolist" >:: test_tolist
+
+]
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-25 07:09:11 +0000