src/Peach/DF/JsonCodec.php
public function encodeString($str)
    {
        $self        = $this;
        $callback    = function ($num) use ($self) {
            return $self->encodeCodePoint($num);
        };
        $unicodeList = $this->utf8Codec->decode($str);
        return '"' . implode("", array_map($callback, $unicodeList)) . '"';
    }
public function encodeString($str)
    {
        $self        = $this;
        $callback    = function ($num) use ($self) {
            return $self->encodeCodePoint($num);
        };
        $unicodeList = $this->utf8Codec->decode($str);
        return '"' . implode("", array_map($callback, $unicodeList)) . '"';
    }
文字列を JSON 文字列に変換します.

@param  string $str 変換対象の文字列
@return string      JSON 文字列
@ignore