EscapeNextChars()

static void System.Text.Json.JsonWriterHelper.EscapeNextChars ( char value, Span< char > destination, ref int written )

inlinestaticprivate

Definition at line 467 of file JsonWriterHelper.cs.

    {
        destination[written++] = '\\';
        switch ((byte)value)
        {
        case 34:
            destination[written++] = 'u';
            destination[written++] = '0';
            destination[written++] = '0';
            destination[written++] = '2';
            destination[written++] = '2';
            break;
        case 10:
            destination[written++] = 'n';
            break;
        case 13:
            destination[written++] = 'r';
            break;
        case 9:
            destination[written++] = 't';
            break;
        case 92:
            destination[written++] = '\\';
            break;
        case 8:
            destination[written++] = 'b';
            break;
        case 12:
            destination[written++] = 'f';
            break;
        default:
        {
            destination[written++] = 'u';
            int num = value;
            num.TryFormat(destination.Slice(written), out var charsWritten, "X4");
            written += charsWritten;
            break;
        }
        }
    }

References System.destination, System.Text.Json.Dictionary, and System.value.

Referenced by System.Text.Json.JsonWriterHelper.EscapeString().