Branch data Line data Source code
1 : : // Copyright 2011-2026 David Robillard <d@drobilla.net>
2 : : // SPDX-License-Identifier: ISC
3 : :
4 : : #undef NDEBUG
5 : :
6 : : #include "time_test_utils.h"
7 : :
8 : : #include <exess/exess.h>
9 : :
10 : : #include <assert.h>
11 : : #include <stdbool.h>
12 : : #include <stdint.h>
13 : : #include <string.h>
14 : :
15 : : static const ExessMonth nozone = {1, EXESS_TIMEZONE_LOCAL};
16 : : static const ExessMonth utc = {2, EXESS_TIMEZONE_UTC};
17 : : static const ExessMonth zoned = {3, INIT_ZONE(11, 30)};
18 : : static const ExessMonth lowest = {1, INIT_ZONE(-14, 0)};
19 : : static const ExessMonth highest = {12, INIT_ZONE(14, 0)};
20 : : static const ExessMonth garbage1 = {0, INIT_ZONE(11, 30)};
21 : : static const ExessMonth garbage2 = {13, INIT_ZONE(11, 30)};
22 : :
23 : : static void
24 : 20 : check_read(const char* const string,
25 : : const ExessStatus expected_status,
26 : : const uint8_t expected_month,
27 : : const int8_t expected_tz_hour,
28 : : const int8_t expected_tz_minute,
29 : : const bool expected_tz_is_present,
30 : : const size_t expected_count)
31 : : {
32 : 20 : ExessMonth value = {0, EXESS_TIMEZONE_LOCAL};
33 : :
34 : 20 : const ExessResult r = exess_read_month(string, &value);
35 [ - + ]: 20 : assert(r.status == expected_status);
36 [ - + ]: 20 : assert(r.count == expected_count);
37 [ - + ]: 20 : assert(value.month == expected_month);
38 [ + + + + : 20 : assert((!expected_tz_is_present && value.zone == EXESS_TIMEZONE_LOCAL) ||
- + ]
39 : : value.zone == (4 * expected_tz_hour) + (expected_tz_minute / 15));
40 : 20 : }
41 : :
42 : : static void
43 : 1 : test_read_month(void)
44 : : {
45 : : // No input
46 : 1 : check_read("", EXESS_EXPECTED_DASH, 0, 0, 0, false, 0);
47 : 1 : check_read("\t\n\r ", EXESS_EXPECTED_DASH, 0, 0, 0, false, 4);
48 : :
49 : : // Good values
50 : 1 : check_read("--04", EXESS_SUCCESS, 4, 0, 0, false, 4);
51 : 1 : check_read("--04-05:00", EXESS_SUCCESS, 4, -5, 0, true, 10);
52 : 1 : check_read("--04Z", EXESS_SUCCESS, 4, 0, 0, true, 5);
53 : 1 : check_read("--10", EXESS_SUCCESS, 10, 0, 0, false, 4);
54 : 1 : check_read("--10+02:00", EXESS_SUCCESS, 10, 2, 0, true, 10);
55 : 1 : check_read("--10Z", EXESS_SUCCESS, 10, 0, 0, true, 5);
56 : 1 : check_read("--10+00:00", EXESS_SUCCESS, 10, 0, 0, true, 10);
57 : :
58 : : // Non-canonical
59 : 1 : check_read(" --04 ", EXESS_SUCCESS, 4, 0, 0, false, 5);
60 : :
61 : : // Longest possible string
62 : 1 : check_read(
63 : : "--01-14:00", EXESS_SUCCESS, 1, -14, 0, true, EXESS_MAX_MONTH_LENGTH);
64 : :
65 : : // Limits
66 : 1 : check_read("--01", EXESS_SUCCESS, 1, 0, 0, false, 4);
67 : 1 : check_read("--12", EXESS_SUCCESS, 12, 0, 0, false, 4);
68 : :
69 : : // Out of range months
70 : 1 : check_read("--00", EXESS_OUT_OF_RANGE, 0, 0, 0, false, 4);
71 : 1 : check_read("--13", EXESS_OUT_OF_RANGE, 13, 0, 0, false, 4);
72 : :
73 : : // Trailing garbage
74 : 1 : check_read("--04A", EXESS_SUCCESS, 4, 12, 0, false, 4);
75 : :
76 : : // Garbage
77 : 1 : check_read("f", EXESS_EXPECTED_DASH, 0, 0, 0, false, 0);
78 : 1 : check_read("-4", EXESS_EXPECTED_DASH, 0, 0, 0, false, 1);
79 : 1 : check_read("--4", EXESS_EXPECTED_DIGIT, 4, 0, 0, false, 3);
80 : 1 : check_read("/04", EXESS_EXPECTED_DASH, 0, 0, 0, false, 0);
81 : 1 : }
82 : :
83 : : static void
84 : 12 : check_write(const ExessMonth value,
85 : : const ExessStatus expected_status,
86 : : const size_t buf_size,
87 : : const char* const expected_string)
88 : : {
89 : 12 : char buf[EXESS_MAX_MONTH_LENGTH + 1] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11};
90 : :
91 [ - + ]: 12 : assert(buf_size <= sizeof(buf));
92 : :
93 : 12 : const ExessResult r = exess_write_month(value, buf_size, buf);
94 [ - + ]: 12 : assert(r.status == expected_status);
95 [ + + ]: 12 : if (!r.status) {
96 [ - + ]: 5 : assert(!strcmp(buf, expected_string));
97 [ - + ]: 5 : assert(r.count == strlen(buf));
98 [ - + ]: 5 : assert(exess_write_month(value, 0, NULL).count == r.count);
99 : : }
100 : 12 : }
101 : :
102 : : static void
103 : 1 : test_write_month(void)
104 : : {
105 : 1 : check_write(nozone, EXESS_SUCCESS, 5, "--01");
106 : 1 : check_write(utc, EXESS_SUCCESS, 6, "--02Z");
107 : 1 : check_write(zoned, EXESS_SUCCESS, 11, "--03+11:30");
108 : 1 : check_write(lowest, EXESS_SUCCESS, 11, "--01-14:00");
109 : 1 : check_write(highest, EXESS_SUCCESS, 11, "--12+14:00");
110 : :
111 : 1 : check_write(garbage1, EXESS_BAD_VALUE, 11, "");
112 : 1 : check_write(garbage2, EXESS_BAD_VALUE, 11, "");
113 : :
114 : 1 : check_write(nozone, EXESS_NO_SPACE, 4, "");
115 : 1 : check_write(utc, EXESS_NO_SPACE, 5, "");
116 : 1 : check_write(zoned, EXESS_NO_SPACE, 10, "");
117 : 1 : check_write(lowest, EXESS_NO_SPACE, 10, "");
118 : 1 : check_write(highest, EXESS_NO_SPACE, 10, "");
119 : :
120 : : // Check that nothing is written when there isn't enough space
121 : 1 : char c = 42;
122 : 1 : const ExessResult r = exess_write_month(nozone, 0, &c);
123 [ - + ]: 1 : assert(c == 42);
124 [ - + ]: 1 : assert(r.status == EXESS_NO_SPACE);
125 [ - + ]: 1 : assert(r.count == 4);
126 : 1 : }
127 : :
128 : : int
129 : 1 : main(void)
130 : : {
131 : 1 : test_read_month();
132 : 1 : test_write_month();
133 : :
134 : 1 : return 0;
135 : : }
|