Comment made by: m0smith
;;
;; test.check对Unicode的支持
;;
;; Unicode支持分为两部分:基于字符的和基于码点/整数的
;;
;; 范围和选择
;; 范围是一个范围定义的向量
;; 范围定义可以是以下之一
;; 单个字符
;; 范围的起始和结束对(向量)
;;
;; 选择是一个生成器,从范围向量中选择。例如:
;; (choices (link: 1 2 [100 200)))
;; 会返回1、2以及从100到200的数字。在本例中,范围对100和200的成员可以是选择接受的任何内容。
;; 基于字符的Unicode支持与正常的字符和字符串生成器相似
;;
;;
| 标准生成器 | Unicode生成器 | 生成 |
;;
| char | uchar | 从\u0000到\uFFFF的有效Unicode字符(字符)|
| :-- | :-- | :-- |
| char-asciii | uchar-alpha | 字母Unicode字符 |
| | uchar-numeric | 数字Unicode字符 |
| char-alphanumeric | uchar-alphanumeric | 字母和数字Unicode字符 |
| string | ustring | 仅由字符组成的Unicode字符串 |
| string-alphanumeric | ustring-alphanumeric | Unicode的字母数字字符串 |
| | ustring-choices | 在给定范围内的Unicode字符串 |
| namespace | unamespace | 适用于作为Clojure命名空间的Unicode字符串 |
| keyword | ukeyword | 适用于作为Clojure关键字的Unicode字符串 |
| keyword-ns | ukeyword-ns | 可选命名空间的Unicode字符串,适用于作为Clojure关键字 |
| symbol | usymbol | 适用于作为Clojure符号的Unicode字符串 |
| symbol-ns | usymbol-ns | 可选命名空间的Unicode字符串,适用于作为Clojure符号 |
| symbol-ns | usymbol-ns | 可选命名空间的Unicode字符串,适用于作为Clojure符号 |
;; 基于码点或整数的字符
| 标准生成器 | Unicode生成器 | Unicode描述 |
| :-- | :-- | :-- | :-- |
| string | ustring-from-code-point | 生成由任何有效码点组成的Unicode字符串。 |
| :-- |
| char | code-point | 生成一个有效的Unicode码点 |
| :-- |