private void WriteLiteral (string value)
{
w.Write ('"');
for (int i = 0; i < value.Length; i++) {
switch (value [i]) {
case '"':
w.Write ("\\x{22}");
break;
case '\r':
w.Write ("\\x{13}");
break;
case '\n':
w.Write ("\\x{10}");
break;
case '\t': // It is not required, but would be better.
w.Write ("\\x{9}");
break;
default:
w.Write (value [i]);
break;
}
}
w.Write ('"');
}