Branch data     Line data    Source code

       1                 :            : // Copyright 2011-2025 David Robillard <d@drobilla.net>
       2                 :            : // SPDX-License-Identifier: ISC
       3                 :            : 
       4                 :            : #undef NDEBUG
       5                 :            : 
       6                 :            : #include <exess/exess.h>
       7                 :            : 
       8                 :            : #include <assert.h>
       9                 :            : #include <stdbool.h>
      10                 :            : #include <string.h>
      11                 :            : 
      12                 :            : static void
      13                 :         20 : check_read(const char* const string,
      14                 :            :            const ExessStatus expected_status,
      15                 :            :            const bool        expected_value,
      16                 :            :            const size_t      expected_count)
      17                 :            : {
      18                 :         20 :   bool value = false;
      19                 :            : 
      20                 :         20 :   const ExessResult r = exess_read_boolean(string, &value);
      21         [ -  + ]:         20 :   assert(value == expected_value);
      22         [ -  + ]:         20 :   assert(r.status == expected_status);
      23         [ -  + ]:         20 :   assert(r.count == expected_count);
      24                 :         20 : }
      25                 :            : 
      26                 :            : static void
      27                 :          1 : test_read_boolean(void)
      28                 :            : {
      29                 :            :   // No input
      30                 :          1 :   check_read("", EXESS_EXPECTED_BOOLEAN, false, 0);
      31                 :          1 :   check_read("\t\n\r ", EXESS_EXPECTED_BOOLEAN, false, 4);
      32                 :            : 
      33                 :            :   // Canonical form
      34                 :          1 :   check_read("false", EXESS_SUCCESS, false, 5);
      35                 :          1 :   check_read("true", EXESS_SUCCESS, true, 4);
      36                 :            : 
      37                 :            :   // Non-canonical form
      38                 :          1 :   check_read("0", EXESS_SUCCESS, false, 1);
      39                 :          1 :   check_read("1", EXESS_SUCCESS, true, 1);
      40                 :          1 :   check_read("\t\n\r false ", EXESS_SUCCESS, false, 9);
      41                 :          1 :   check_read("\t\n\r true ", EXESS_SUCCESS, true, 8);
      42                 :          1 :   check_read("\t\n\r 0 ", EXESS_SUCCESS, false, 5);
      43                 :          1 :   check_read("\t\n\r 1 ", EXESS_SUCCESS, true, 5);
      44                 :            : 
      45                 :            :   // Trailing garbage
      46                 :          1 :   check_read("falsely", EXESS_SUCCESS, false, 5);
      47                 :          1 :   check_read("truely", EXESS_SUCCESS, true, 4);
      48                 :          1 :   check_read("0no", EXESS_SUCCESS, false, 1);
      49                 :          1 :   check_read("1yes", EXESS_SUCCESS, true, 1);
      50                 :            : 
      51                 :            :   // Garbage
      52                 :          1 :   check_read("twue", EXESS_EXPECTED_BOOLEAN, false, 0);
      53                 :          1 :   check_read("fawse", EXESS_EXPECTED_BOOLEAN, false, 0);
      54                 :          1 :   check_read("tr", EXESS_EXPECTED_BOOLEAN, false, 0);
      55                 :          1 :   check_read("fa", EXESS_EXPECTED_BOOLEAN, false, 0);
      56                 :          1 :   check_read("yes", EXESS_EXPECTED_BOOLEAN, false, 0);
      57                 :          1 :   check_read("no", EXESS_EXPECTED_BOOLEAN, false, 0);
      58                 :          1 : }
      59                 :            : 
      60                 :            : static void
      61                 :          4 : check_write(const bool        value,
      62                 :            :             const ExessStatus expected_status,
      63                 :            :             const size_t      buf_size,
      64                 :            :             const char* const expected_string)
      65                 :            : {
      66                 :          4 :   char buf[EXESS_MAX_BOOLEAN_LENGTH + 1] = {1, 2, 3, 4, 5, 6};
      67                 :            : 
      68         [ -  + ]:          4 :   assert(buf_size <= sizeof(buf));
      69                 :            : 
      70                 :          4 :   const ExessResult r = exess_write_boolean(value, buf_size, buf);
      71         [ -  + ]:          4 :   assert(r.status == expected_status);
      72         [ +  + ]:          4 :   if (!r.status) {
      73         [ -  + ]:          2 :     assert(!strcmp(buf, expected_string));
      74         [ -  + ]:          2 :     assert(r.count == strlen(buf));
      75         [ -  + ]:          2 :     assert(exess_write_boolean(value, 0, NULL).count == r.count);
      76                 :            :   }
      77                 :          4 : }
      78                 :            : 
      79                 :            : static void
      80                 :          1 : test_write_boolean(void)
      81                 :            : {
      82                 :          1 :   check_write(true, EXESS_SUCCESS, 5, "true");
      83                 :          1 :   check_write(false, EXESS_SUCCESS, 6, "false");
      84                 :            : 
      85                 :          1 :   check_write(true, EXESS_NO_SPACE, 4, "");
      86                 :          1 :   check_write(false, EXESS_NO_SPACE, 5, "");
      87                 :            : 
      88                 :            :   // Check that nothing is written when there isn't enough space
      89                 :          1 :   char              c = 42;
      90                 :          1 :   const ExessResult r = exess_write_boolean(false, 0, &c);
      91         [ -  + ]:          1 :   assert(c == 42);
      92         [ -  + ]:          1 :   assert(r.status == EXESS_NO_SPACE);
      93         [ -  + ]:          1 :   assert(r.count == 5);
      94                 :          1 : }
      95                 :            : 
      96                 :            : int
      97                 :          1 : main(void)
      98                 :            : {
      99                 :          1 :   test_read_boolean();
     100                 :          1 :   test_write_boolean();
     101                 :          1 :   return 0;
     102                 :            : }