/* Test of c32islower() function.
   Copyright (C) 2020-2021 Free Software Foundation, Inc.

   This program is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <https://www.gnu.org/licenses/>.  */

#include <config.h>

#include <uchar.h>

#include "signature.h"
SIGNATURE_CHECK (c32islower, int, (wint_t));

#include <locale.h>
#include <stdlib.h>
#include <string.h>
#include <wchar.h>

#include "macros.h"

/* Returns the value of c32islower for the multibyte character s[0..n-1].  */
static int
for_character (const char *s, size_t n)
{
  mbstate_t state;
  char32_t wc;
  size_t ret;

  memset (&state, '\0', sizeof (mbstate_t));
  wc = (char32_t) 0xBADFACE;
  ret = mbrtoc32 (&wc, s, n, &state);
  ASSERT (ret == n);

  return c32islower (wc);
}

int
main (int argc, char *argv[])
{
  int is;
  char buf[4];

  /* configure should already have checked that the locale is supported.  */
  if (setlocale (LC_ALL, "") == NULL)
    return 1;

  /* Test WEOF.  */
  is = c32islower (WEOF);
  ASSERT (is == 0);

  /* Test single-byte characters.
     POSIX specifies in
       <https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap07.html>
     that
       - in all locales, the lowercase characters include the a ... z
         characters,
       - in the "POSIX" locale (which is usually the same as the "C" locale),
         the lowercase characters include only the ASCII a ... z characters.
   */
  {
    int c;

    for (c = 0; c < 0x100; c++)
      switch (c)
        {
        case '\t': case '\v': case '\f':
        case ' ': case '!': case '"': case '#': case '%':
        case '&': case '\'': case '(': case ')': case '*':
        case '+': case ',': case '-': case '.': case '/':
        case '0': case '1': case '2': case '3': case '4':
        case '5': case '6': case '7': case '8': case '9':
        case ':': case ';': case '<': case '=': case '>':
        case '?':
        case 'A': case 'B': case 'C': case 'D': case 'E':
        case 'F': case 'G': case 'H': case 'I': case 'J':
        case 'K': case 'L': case 'M': case 'N': case 'O':
        case 'P': case 'Q': case 'R': case 'S': case 'T':
        case 'U': case 'V': case 'W': case 'X': case 'Y':
        case 'Z':
        case '[': case '\\': case ']': case '^': case '_':
        case 'a': case 'b': case 'c': case 'd': case 'e':
        case 'f': case 'g': case 'h': case 'i': case 'j':
        case 'k': case 'l': case 'm': case 'n': case 'o':
        case 'p': case 'q': case 'r': case 's': case 't':
        case 'u': case 'v': case 'w': case 'x': case 'y':
        case 'z': case '{': case '|': case '}': case '~':
          /* c is in the ISO C "basic character set".  */
          buf[0] = (unsigned char) c;
          is = for_character (buf, 1);
          switch (c)
            {
            case 'a': case 'b': case 'c': case 'd': case 'e':
            case 'f': case 'g': case 'h': case 'i': case 'j':
            case 'k': case 'l': case 'm': case 'n': case 'o':
            case 'p': case 'q': case 'r': case 's': case 't':
            case 'u': case 'v': case 'w': case 'x': case 'y':
            case 'z':
              ASSERT (is != 0);
              break;
            default:
              ASSERT (is == 0);
              break;
            }
          break;
        }
  }

  if (argc > 1)
    switch (argv[1][0])
      {
      case '0':
        /* C locale; tested above.  */
        return 0;

      case '1':
        /* Locale encoding is ISO-8859-1 or ISO-8859-15.  */
        {
          /* U+00B2 SUPERSCRIPT TWO */
          is = for_character ("\262", 1);
          ASSERT (is == 0);
        #if !(defined __GLIBC__ || defined __sun || defined __CYGWIN__ || (defined _WIN32 && !defined __CYGWIN__))
          /* U+00B5 MICRO SIGN */
          is = for_character ("\265", 1);
          ASSERT (is == 0);
        #endif
          /* U+00C9 LATIN CAPITAL LETTER E WITH ACUTE */
          is = for_character ("\311", 1);
          ASSERT (is == 0);
        #if !defined __CYGWIN__
          /* U+00DF LATIN SMALL LETTER SHARP S */
          is = for_character ("\337", 1);
          ASSERT (is != 0);
        #endif
          /* U+00E9 LATIN SMALL LETTER E WITH ACUTE */
          is = for_character ("\351", 1);
          ASSERT (is != 0);
          /* U+00FF LATIN SMALL LETTER Y WITH DIAERESIS */
          is = for_character ("\377", 1);
          ASSERT (is != 0);
        }
        return 0;

      case '2':
        /* Locale encoding is EUC-JP.  */
        {
          /* U+00C9 LATIN CAPITAL LETTER E WITH ACUTE */
          is = for_character ("\217\252\261", 3);
          ASSERT (is == 0);
        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__ || defined __CYGWIN__)
          /* U+00DF LATIN SMALL LETTER SHARP S */
          is = for_character ("\217\251\316", 3);
          ASSERT (is != 0);
        #endif
        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__)
          /* U+00E9 LATIN SMALL LETTER E WITH ACUTE */
          is = for_character ("\217\253\261", 3);
          ASSERT (is != 0);
          /* U+00FF LATIN SMALL LETTER Y WITH DIAERESIS */
          is = for_character ("\217\253\363", 3);
          ASSERT (is != 0);
        #endif
          /* U+0141 LATIN CAPITAL LETTER L WITH STROKE */
          is = for_character ("\217\251\250", 3);
          ASSERT (is == 0);
        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__)
          /* U+0142 LATIN SMALL LETTER L WITH STROKE */
          is = for_character ("\217\251\310", 3);
          ASSERT (is != 0);
        #endif
          /* U+0429 CYRILLIC CAPITAL LETTER SHCHA */
          is = for_character ("\247\273", 2);
          ASSERT (is == 0);
        #if !(defined __FreeBSD__ || defined __DragonFly__)
          /* U+0449 CYRILLIC SMALL LETTER SHCHA */
          is = for_character ("\247\353", 2);
          ASSERT (is != 0);
        #endif
          /* U+3073 HIRAGANA LETTER BI */
          is = for_character ("\244\323", 2);
          ASSERT (is == 0);
        #if !defined __DragonFly__
          /* U+FF47 FULLWIDTH LATIN SMALL LETTER G */
          is = for_character ("\243\347", 2);
          ASSERT (is != 0);
        #endif
        }
        return 0;

      case '3':
        /* Locale encoding is UTF-8.  */
        {
          /* U+00B2 SUPERSCRIPT TWO */
          is = for_character ("\302\262", 2);
          ASSERT (is == 0);
        #if !(defined __GLIBC__ || (defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__ || defined _AIX || defined __sun || defined __CYGWIN__ || (defined _WIN32 && !defined __CYGWIN__))
          /* U+00B5 MICRO SIGN */
          is = for_character ("\302\265", 2);
          ASSERT (is == 0);
        #endif
          /* U+00C9 LATIN CAPITAL LETTER E WITH ACUTE */
          is = for_character ("\303\211", 2);
          ASSERT (is == 0);
        #if !defined __CYGWIN__
          /* U+00DF LATIN SMALL LETTER SHARP S */
          is = for_character ("\303\237", 2);
          ASSERT (is != 0);
        #endif
          /* U+00E9 LATIN SMALL LETTER E WITH ACUTE */
          is = for_character ("\303\251", 2);
          ASSERT (is != 0);
          /* U+00FF LATIN SMALL LETTER Y WITH DIAERESIS */
          is = for_character ("\303\277", 2);
          ASSERT (is != 0);
          /* U+0141 LATIN CAPITAL LETTER L WITH STROKE */
          is = for_character ("\305\201", 2);
          ASSERT (is == 0);
          /* U+0142 LATIN SMALL LETTER L WITH STROKE */
          is = for_character ("\305\202", 2);
          ASSERT (is != 0);
          /* U+0429 CYRILLIC CAPITAL LETTER SHCHA */
          is = for_character ("\320\251", 2);
          ASSERT (is == 0);
          /* U+0449 CYRILLIC SMALL LETTER SHCHA */
          is = for_character ("\321\211", 2);
          ASSERT (is != 0);
          /* U+05D5 HEBREW LETTER VAV */
          is = for_character ("\327\225", 2);
          ASSERT (is == 0);
          /* U+3073 HIRAGANA LETTER BI */
          is = for_character ("\343\201\263", 3);
          ASSERT (is == 0);
          /* U+3162 HANGUL LETTER YI */
          is = for_character ("\343\205\242", 3);
          ASSERT (is == 0);
          /* U+FF47 FULLWIDTH LATIN SMALL LETTER G */
          is = for_character ("\357\275\207", 3);
          ASSERT (is != 0);
          /* U+FFDB HALFWIDTH HANGUL LETTER YI */
          is = for_character ("\357\277\233", 3);
          ASSERT (is == 0);
          /* U+10419 DESERET CAPITAL LETTER EF */
          is = for_character ("\360\220\220\231", 4);
          ASSERT (is == 0);
        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
          /* U+10441 DESERET SMALL LETTER EF */
          is = for_character ("\360\220\221\201", 4);
          ASSERT (is != 0);
        #endif
          /* U+E0041 TAG LATIN CAPITAL LETTER A */
          is = for_character ("\363\240\201\201", 4);
          ASSERT (is == 0);
          /* U+E0061 TAG LATIN SMALL LETTER A */
          is = for_character ("\363\240\201\241", 4);
          ASSERT (is == 0);
        }
        return 0;

      case '4':
        /* Locale encoding is GB18030.  */
        {
          /* U+00B2 SUPERSCRIPT TWO */
          is = for_character ("\201\060\205\065", 4);
          ASSERT (is == 0);
        #if !(defined __GLIBC__ || (defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __NetBSD__)
          /* U+00B5 MICRO SIGN */
          is = for_character ("\201\060\205\070", 4);
          ASSERT (is == 0);
        #endif
          /* U+00C9 LATIN CAPITAL LETTER E WITH ACUTE */
          is = for_character ("\201\060\207\067", 4);
          ASSERT (is == 0);
        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
          /* U+00DF LATIN SMALL LETTER SHARP S */
          is = for_character ("\201\060\211\070", 4);
          ASSERT (is != 0);
        #endif
        #if !defined __DragonFly__
          /* U+00E9 LATIN SMALL LETTER E WITH ACUTE */
          is = for_character ("\250\246", 2);
          ASSERT (is != 0);
        #endif
        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
          /* U+00FF LATIN SMALL LETTER Y WITH DIAERESIS */
          is = for_character ("\201\060\213\067", 4);
          ASSERT (is != 0);
        #endif
          /* U+0141 LATIN CAPITAL LETTER L WITH STROKE */
          is = for_character ("\201\060\221\071", 4);
          ASSERT (is == 0);
        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
          /* U+0142 LATIN SMALL LETTER L WITH STROKE */
          is = for_character ("\201\060\222\060", 4);
          ASSERT (is != 0);
        #endif
          /* U+0429 CYRILLIC CAPITAL LETTER SHCHA */
          is = for_character ("\247\273", 2);
          ASSERT (is == 0);
        #if !(defined __FreeBSD__ || defined __DragonFly__)
          /* U+0449 CYRILLIC SMALL LETTER SHCHA */
          is = for_character ("\247\353", 2);
          ASSERT (is != 0);
        #endif
          /* U+05D5 HEBREW LETTER VAV */
          is = for_character ("\201\060\371\067", 4);
          ASSERT (is == 0);
          /* U+3073 HIRAGANA LETTER BI */
          is = for_character ("\244\323", 2);
          ASSERT (is == 0);
          /* U+3162 HANGUL LETTER YI */
          is = for_character ("\201\071\256\062", 4);
          ASSERT (is == 0);
        #if !defined __DragonFly__
          /* U+FF47 FULLWIDTH LATIN SMALL LETTER G */
          is = for_character ("\243\347", 2);
          ASSERT (is != 0);
        #endif
          /* U+FFDB HALFWIDTH HANGUL LETTER YI */
          is = for_character ("\204\061\241\071", 4);
          ASSERT (is == 0);
          /* U+10419 DESERET CAPITAL LETTER EF */
          is = for_character ("\220\060\351\071", 4);
          ASSERT (is == 0);
        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__ || defined __sun)
          /* U+10441 DESERET SMALL LETTER EF */
          is = for_character ("\220\060\355\071", 4);
          ASSERT (is != 0);
        #endif
          /* U+E0041 TAG LATIN CAPITAL LETTER A */
          is = for_character ("\323\066\234\063", 4);
          ASSERT (is == 0);
          /* U+E0061 TAG LATIN SMALL LETTER A */
          is = for_character ("\323\066\237\065", 4);
          ASSERT (is == 0);
        }
        return 0;

      }

  return 1;
}