1 files changed, 129 insertions, 0 deletions
diff --git a/subprojects/exess/test/test_int.c b/subprojects/exess/test/test_int.c
new file mode 100644
index 00000000..d3e43f7c
--- /dev/null
+++ b/subprojects/exess/test/test_int.c
@@ -0,0 +1,129 @@
+/*
+  Copyright 2011-2021 David Robillard <d@drobilla.net>
+
+  Permission to use, copy, modify, and/or distribute this software for any
+  purpose with or without fee is hereby granted, provided that the above
+  copyright notice and this permission notice appear in all copies.
+
+  THIS SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
+
+#undef NDEBUG
+
+#include "int_test_data.h"
+#include "num_test_utils.h"
+
+#include "exess/exess.h"
+
+#include <assert.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+static void
+check_read(const char* const string,
+           const ExessStatus expected_status,
+           const int32_t     expected_value,
+           const size_t      expected_count)
+{
+  int32_t           value = 0;
+  const ExessResult r     = exess_read_int(&value, string);
+
+  assert(r.status == expected_status);
+  assert(r.count == expected_count);
+  assert(value == expected_value);
+}
+
+static void
+test_read_int(void)
+{
+  // Limits
+  check_read("-2147483648", EXESS_SUCCESS, INT32_MIN, EXESS_MAX_INT_LENGTH);
+  check_read("2147483647", EXESS_SUCCESS, INT32_MAX, 10);
+
+  // Out of range
+  check_read("-2147483649", EXESS_OUT_OF_RANGE, 0, 11);
+  check_read("2147483648", EXESS_OUT_OF_RANGE, 0, 10);
+  check_read("10000000000", EXESS_OUT_OF_RANGE, 0, 11);
+
+  // Garbage
+  check_read("+", EXESS_EXPECTED_DIGIT, 0, 1);
+}
+
+static void
+check_write(const int32_t     value,
+            const ExessStatus expected_status,
+            const size_t      buf_size,
+            const char* const expected_string)
+{
+  char buf[EXESS_MAX_INT_LENGTH + 1] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};
+
+  assert(buf_size <= sizeof(buf));
+
+  const ExessResult r = exess_write_int(value, buf_size, buf);
+  assert(!strcmp(buf, expected_string));
+  assert(r.status == expected_status);
+  assert(r.count == strlen(buf));
+  assert(r.status || exess_write_int(value, 0, NULL).count == r.count);
+}
+
+static void
+test_write_int(void)
+{
+  check_write(INT32_MIN, EXESS_SUCCESS, 12, "-2147483648");
+  check_write(INT32_MAX, EXESS_SUCCESS, 11, "2147483647");
+}
+
+static void
+test_round_trip(const ExessNumTestOptions opts)
+{
+  int32_t parsed_value               = 0;
+  char buf[EXESS_MAX_INT_LENGTH + 1] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};
+
+  if (opts.exhaustive) {
+    fprintf(stderr, "Testing xsd:int exhaustively\n");
+
+    for (int64_t i = INT32_MIN; i <= INT32_MAX; ++i) {
+      assert(!exess_write_int((int32_t)i, sizeof(buf), buf).status);
+      assert(!exess_read_int(&parsed_value, buf).status);
+      assert(parsed_value == i);
+
+      print_num_test_progress((uint64_t)(i - (int64_t)INT32_MIN), UINT32_MAX);
+    }
+  } else {
+    fprintf(stderr, "Testing xsd:int randomly with seed %u\n", opts.seed);
+    uint32_t rep = opts.seed;
+    for (uint64_t i = 0; i < opts.n_tests; ++i) {
+      rep = lcg32(rep);
+
+      const int32_t value = (int32_t)rep;
+
+      assert(!exess_write_int(value, sizeof(buf), buf).status);
+      assert(!exess_read_int(&parsed_value, buf).status);
+      assert(parsed_value == value);
+
+      print_num_test_progress(i, opts.n_tests);
+    }
+  }
+}
+
+int
+main(int argc, char** argv)
+{
+  const ExessNumTestOptions opts = parse_num_test_options(argc, argv);
+  if (opts.error) {
+    return 1;
+  }
+
+  test_read_int();
+  test_write_int();
+  test_round_trip(opts);
+
+  return 0;
+}