text-whitespace-chars
(定数)
public constant text-whitespace-chars:
CharClass
={CharClass.from-any "\u0009\u000A\u000B\u000C\u000D\u0020\u3000"}
パッケージ：
CURL.LANGUAGE.SOURCE
テキスト プロシージャ引数の先頭と末尾の空白文字を取り除くために使用される文字のセットを定義します。