tests/character.pure.lisp

   1 ;;;; various CHARACTER tests without side effects
   2
   3 ;;;; This software is part of the SBCL system. See the README file for
   4 ;;;; more information.
   5 ;;;;
   6 ;;;; While most of SBCL is derived from the CMU CL system, the test
   7 ;;;; files (like this one) were written from scratch after the fork
   8 ;;;; from CMU CL.
   9 ;;;;
  10 ;;;; This software is in the public domain and is provided with
  11 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
  12 ;;;; more information.
  13
  14 (cl:in-package :cl-user)
  15
  16 ;;; ANSI's specification of #'CHAR-NAME imposes these constraints.
  17 ;;;
  18 ;;; (Obviously, the numeric values in this test implicitly assume
  19 ;;; we're using an ASCII-based character set.)
  20 (dolist (i '(("Newline" 10)
  21              ;; (ANSI also imposes a constraint on the "semi-standard
  22              ;; character" "Linefeed", but in ASCII as interpreted by
  23              ;; Unix it's shadowed by "Newline" and so doesn't exist
  24              ;; as a separate character.)
  25              ("Space" 32)
  26              ("Tab" 9)
  27              ("Page" 12)
  28              ("Rubout" 127)
  29              ("Return" 13)
  30              ("Backspace" 8)))
  31   (destructuring-bind (name code) i
  32     (let ((named-char (name-char name))
  33           (coded-char (code-char code)))
  34       (assert (eql named-char coded-char))
  35       (assert (characterp named-char))
  36       (let ((coded-char-name (char-name coded-char)))
  37         (assert (string= name coded-char-name))))))
  38
  39 ;;; Trivial tests for some unicode names
  40 #+sb-unicode
  41 (dolist (d '(("LATIN_CAPITAL_LETTER_A" 65)
  42              ("LATIN_SMALL_LETTER_A" 97)
  43              ("LATIN_SMALL_LETTER_CLOSED_OPEN_E" 666)
  44              ("DIGRAM_FOR_GREATER_YIN" 9871)))
  45   (destructuring-bind (name code) d
  46     (assert (eql (code-char code) (name-char (string-downcase name))))
  47     (assert (equal name (char-name (code-char code))))))
  48
  49 ;;; bug 230: CHAR= didn't check types of &REST arguments
  50 (dolist (form '((code-char char-code-limit)
  51                 (standard-char-p "a")
  52                 (graphic-char-p "a")
  53                 (alpha-char-p "a")
  54                 (upper-case-p "a")
  55                 (lower-case-p "a")
  56                 (both-case-p "a")
  57                 (digit-char-p "a")
  58                 (alphanumericp "a")
  59                 (char= #\a "a")
  60                 (char/= #\a "a")
  61                 (char< #\a #\b "c")
  62                 (char-equal #\a #\a "b")
  63                 (digit-char -1)
  64                 (digit-char 4 1)
  65                 (digit-char 4 37)))
  66   (assert (raises-error? (apply (car form) (mapcar 'eval (cdr form))) type-error)))
  67
  68 (dotimes (i 256)
  69   (let* ((char (code-char i))
  70          (graphicp (graphic-char-p char))
  71          (name (char-name char)))
  72     (unless graphicp
  73       (assert name))))