Blame gl/tests/test-c-ctype.c

Packit 549fdc
/* Test of character handling in C locale.
Packit 549fdc
   Copyright (C) 2005, 2007-2016 Free Software Foundation, Inc.
Packit 549fdc
Packit 549fdc
   This program is free software: you can redistribute it and/or modify
Packit 549fdc
   it under the terms of the GNU General Public License as published by
Packit 549fdc
   the Free Software Foundation; either version 3 of the License, or
Packit 549fdc
   (at your option) any later version.
Packit 549fdc
Packit 549fdc
   This program is distributed in the hope that it will be useful,
Packit 549fdc
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 549fdc
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
Packit 549fdc
   GNU General Public License for more details.
Packit 549fdc
Packit 549fdc
   You should have received a copy of the GNU General Public License
Packit 549fdc
   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
Packit 549fdc
Packit 549fdc
/* Written by Bruno Haible <bruno@clisp.org>, 2005.  */
Packit 549fdc
Packit 549fdc
#include <config.h>
Packit 549fdc
Packit 549fdc
#include "c-ctype.h"
Packit 549fdc
Packit 549fdc
#include <ctype.h>
Packit 549fdc
#include <limits.h>
Packit 549fdc
#include <locale.h>
Packit 549fdc
Packit 549fdc
#include "macros.h"
Packit 549fdc
Packit 549fdc
static void
Packit 549fdc
test_agree_with_C_locale (void)
Packit 549fdc
{
Packit 549fdc
  int c;
Packit 549fdc
Packit 549fdc
  for (c = 0; c <= UCHAR_MAX; c++)
Packit 549fdc
    {
Packit 549fdc
      ASSERT (c_isascii (c) == (isascii (c) != 0));
Packit 549fdc
      if (c_isascii (c))
Packit 549fdc
        {
Packit 549fdc
          ASSERT (c_isalnum (c) == (isalnum (c) != 0));
Packit 549fdc
          ASSERT (c_isalpha (c) == (isalpha (c) != 0));
Packit 549fdc
          ASSERT (c_isblank (c) == (isblank (c) != 0));
Packit 549fdc
          ASSERT (c_iscntrl (c) == (iscntrl (c) != 0));
Packit 549fdc
          ASSERT (c_isdigit (c) == (isdigit (c) != 0));
Packit 549fdc
          ASSERT (c_islower (c) == (islower (c) != 0));
Packit 549fdc
          ASSERT (c_isgraph (c) == (isgraph (c) != 0));
Packit 549fdc
          ASSERT (c_isprint (c) == (isprint (c) != 0));
Packit 549fdc
          ASSERT (c_ispunct (c) == (ispunct (c) != 0));
Packit 549fdc
          ASSERT (c_isspace (c) == (isspace (c) != 0));
Packit 549fdc
          ASSERT (c_isupper (c) == (isupper (c) != 0));
Packit 549fdc
          ASSERT (c_isxdigit (c) == (isxdigit (c) != 0));
Packit 549fdc
          ASSERT (c_tolower (c) == tolower (c));
Packit 549fdc
          ASSERT (c_toupper (c) == toupper (c));
Packit 549fdc
        }
Packit 549fdc
    }
Packit 549fdc
}
Packit 549fdc
Packit 549fdc
static void
Packit 549fdc
test_all (void)
Packit 549fdc
{
Packit 549fdc
  int c;
Packit 549fdc
  int n_isascii = 0;
Packit 549fdc
Packit 549fdc
  for (c = CHAR_MIN; c <= UCHAR_MAX; c++)
Packit 549fdc
    {
Packit 549fdc
      if (! (0 <= c && c <= CHAR_MAX))
Packit 549fdc
        {
Packit 549fdc
          ASSERT (! c_isascii (c));
Packit 549fdc
          ASSERT (! c_isalnum (c));
Packit 549fdc
          ASSERT (! c_isalpha (c));
Packit 549fdc
          ASSERT (! c_isblank (c));
Packit 549fdc
          ASSERT (! c_iscntrl (c));
Packit 549fdc
          ASSERT (! c_isdigit (c));
Packit 549fdc
          ASSERT (! c_islower (c));
Packit 549fdc
          ASSERT (! c_isgraph (c));
Packit 549fdc
          ASSERT (! c_isprint (c));
Packit 549fdc
          ASSERT (! c_ispunct (c));
Packit 549fdc
          ASSERT (! c_isspace (c));
Packit 549fdc
          ASSERT (! c_isupper (c));
Packit 549fdc
          ASSERT (! c_isxdigit (c));
Packit 549fdc
          ASSERT (c_tolower (c) == c);
Packit 549fdc
          ASSERT (c_toupper (c) == c);
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
      n_isascii += c_isascii (c);
Packit 549fdc
Packit 549fdc
#ifdef C_CTYPE_ASCII
Packit 549fdc
      ASSERT (c_isascii (c) == (0 <= c && c <= 0x7f));
Packit 549fdc
#endif
Packit 549fdc
Packit 549fdc
      ASSERT (c_isascii (c) == (c_isprint (c) || c_iscntrl (c)));
Packit 549fdc
Packit 549fdc
      ASSERT (c_isalnum (c) == (c_isalpha (c) || c_isdigit (c)));
Packit 549fdc
Packit 549fdc
      ASSERT (c_isalpha (c) == (c_islower (c) || c_isupper (c)));
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case '\t': case ' ':
Packit 549fdc
          ASSERT (c_isblank (c) == 1);
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_isblank (c) == 0);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
#ifdef C_CTYPE_ASCII
Packit 549fdc
      ASSERT (c_iscntrl (c) == ((c >= 0 && c < 0x20) || c == 0x7f));
Packit 549fdc
#endif
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case '\a': case '\b': case '\f': case '\n':
Packit 549fdc
        case '\r': case '\t': case '\v':
Packit 549fdc
          ASSERT (c_iscntrl (c));
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
      ASSERT (! (c_iscntrl (c) && c_isprint (c)));
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case '0': case '1': case '2': case '3': case '4': case '5':
Packit 549fdc
        case '6': case '7': case '8': case '9':
Packit 549fdc
          ASSERT (c_isdigit (c) == 1);
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_isdigit (c) == 0);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case 'a': case 'b': case 'c': case 'd': case 'e': case 'f':
Packit 549fdc
        case 'g': case 'h': case 'i': case 'j': case 'k': case 'l':
Packit 549fdc
        case 'm': case 'n': case 'o': case 'p': case 'q': case 'r':
Packit 549fdc
        case 's': case 't': case 'u': case 'v': case 'w': case 'x':
Packit 549fdc
        case 'y': case 'z':
Packit 549fdc
          ASSERT (c_islower (c) == 1);
Packit 549fdc
          ASSERT (c_toupper (c) == c - 'a' + 'A');
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_islower (c) == 0);
Packit 549fdc
          ASSERT (c_toupper (c) == c);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
#ifdef C_CTYPE_ASCII
Packit 549fdc
      ASSERT (c_isgraph (c) == ((c >= 0x20 && c < 0x7f) && c != ' '));
Packit 549fdc
Packit 549fdc
      ASSERT (c_isprint (c) == (c >= 0x20 && c < 0x7f));
Packit 549fdc
#endif
Packit 549fdc
Packit 549fdc
      ASSERT (c_isgraph (c) == (c_isalnum (c) || c_ispunct (c)));
Packit 549fdc
Packit 549fdc
      ASSERT (c_isprint (c) == (c_isgraph (c) || c == ' '));
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case '!': case '"': case '#': case '$': case '%': case '&': case '\'':
Packit 549fdc
        case '(': case ')': case '*': case '+': case ',': case '-': case '.':
Packit 549fdc
        case '/': case ':': case ';': case '<': case '=': case '>': case '?':
Packit 549fdc
        case '@': case '[': case'\\': case ']': case '^': case '_': case '`':
Packit 549fdc
        case '{': case '|': case '}': case '~':
Packit 549fdc
          ASSERT (c_ispunct (c) == 1);
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_ispunct (c) == 0);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case ' ': case '\t': case '\n': case '\v': case '\f': case '\r':
Packit 549fdc
          ASSERT (c_isspace (c) == 1);
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_isspace (c) == 0);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case 'A': case 'B': case 'C': case 'D': case 'E': case 'F':
Packit 549fdc
        case 'G': case 'H': case 'I': case 'J': case 'K': case 'L':
Packit 549fdc
        case 'M': case 'N': case 'O': case 'P': case 'Q': case 'R':
Packit 549fdc
        case 'S': case 'T': case 'U': case 'V': case 'W': case 'X':
Packit 549fdc
        case 'Y': case 'Z':
Packit 549fdc
          ASSERT (c_isupper (c) == 1);
Packit 549fdc
          ASSERT (c_tolower (c) == c - 'A' + 'a');
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_isupper (c) == 0);
Packit 549fdc
          ASSERT (c_tolower (c) == c);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
Packit 549fdc
      switch (c)
Packit 549fdc
        {
Packit 549fdc
        case '0': case '1': case '2': case '3': case '4': case '5':
Packit 549fdc
        case '6': case '7': case '8': case '9':
Packit 549fdc
        case 'A': case 'B': case 'C': case 'D': case 'E': case 'F':
Packit 549fdc
        case 'a': case 'b': case 'c': case 'd': case 'e': case 'f':
Packit 549fdc
          ASSERT (c_isxdigit (c) == 1);
Packit 549fdc
          break;
Packit 549fdc
        default:
Packit 549fdc
          ASSERT (c_isxdigit (c) == 0);
Packit 549fdc
          break;
Packit 549fdc
        }
Packit 549fdc
    }
Packit 549fdc
Packit 549fdc
  ASSERT (n_isascii == 128);
Packit 549fdc
}
Packit 549fdc
Packit 549fdc
int
Packit 549fdc
main ()
Packit 549fdc
{
Packit 549fdc
  test_agree_with_C_locale ();
Packit 549fdc
Packit 549fdc
  test_all ();
Packit 549fdc
Packit 549fdc
  setlocale (LC_ALL, "de_DE");
Packit 549fdc
  test_all ();
Packit 549fdc
Packit 549fdc
  setlocale (LC_ALL, "ja_JP.EUC-JP");
Packit 549fdc
  test_all ();
Packit 549fdc
Packit 549fdc
  return 0;
Packit 549fdc
}