File size: 5,987 Bytes
34bec90 dec5552 34bec90 dec5552 34bec90 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 | // Minimal JSON reader/writer (objects -> Dictionary<string, object>, arrays -> List<object>,
// numbers -> double, plus string/bool/null) so the agent has no package dependencies.
using System;
using System.Collections;
using System.Collections.Generic;
using System.Globalization;
using System.Text;
namespace SceneAgent
{
public static class MiniJson
{
public static object Parse(string s)
{
int i = 0;
var v = ReadValue(s, ref i);
return v;
}
/// <summary>Like Parse, but only whitespace may follow the value, so the output check judges a tool call
/// exactly as in training.</summary>
public static object ParseStrict(string s)
{
int i = 0;
var v = ReadValue(s, ref i);
Skip(s, ref i);
if (i != s.Length) throw new FormatException("extra data after the JSON value");
return v;
}
static void Skip(string s, ref int i) { while (i < s.Length && char.IsWhiteSpace(s[i])) i++; }
static object ReadValue(string s, ref int i)
{
Skip(s, ref i);
if (i >= s.Length) throw new FormatException("unexpected end of JSON");
char c = s[i];
if (c == '{')
{
var d = new Dictionary<string, object>(); i++;
Skip(s, ref i);
if (s[i] == '}') { i++; return d; }
while (true)
{
Skip(s, ref i);
string key = ReadString(s, ref i);
Skip(s, ref i);
if (s[i] != ':') throw new FormatException("expected ':'");
i++;
d[key] = ReadValue(s, ref i);
Skip(s, ref i);
if (s[i] == ',') { i++; continue; }
if (s[i] == '}') { i++; return d; }
throw new FormatException("expected ',' or '}'");
}
}
if (c == '[')
{
var l = new List<object>(); i++;
Skip(s, ref i);
if (s[i] == ']') { i++; return l; }
while (true)
{
l.Add(ReadValue(s, ref i));
Skip(s, ref i);
if (s[i] == ',') { i++; continue; }
if (s[i] == ']') { i++; return l; }
throw new FormatException("expected ',' or ']'");
}
}
if (c == '"') return ReadString(s, ref i);
if (s.Substring(i).StartsWith("true")) { i += 4; return true; }
if (s.Substring(i).StartsWith("false")) { i += 5; return false; }
if (s.Substring(i).StartsWith("null")) { i += 4; return null; }
int start = i;
while (i < s.Length && "+-0123456789.eE".IndexOf(s[i]) >= 0) i++;
return double.Parse(s.Substring(start, i - start), CultureInfo.InvariantCulture);
}
static string ReadString(string s, ref int i)
{
if (s[i] != '"') throw new FormatException("expected string");
var sb = new StringBuilder(); i++;
while (s[i] != '"')
{
if (s[i] == '\\')
{
i++;
char e = s[i];
if (e == 'u') { sb.Append((char)Convert.ToInt32(s.Substring(i + 1, 4), 16)); i += 4; }
else sb.Append(e == 'n' ? '\n' : e == 't' ? '\t' : e == 'r' ? '\r' : e == 'b' ? '\b' : e == 'f' ? '\f' : e);
}
else sb.Append(s[i]);
i++;
}
i++;
return sb.ToString();
}
public static string Serialize(object v)
{
var sb = new StringBuilder();
Write(sb, v);
return sb.ToString();
}
static void Write(StringBuilder sb, object v)
{
switch (v)
{
case null: sb.Append("null"); break;
case string s: WriteString(sb, s); break;
case bool b: sb.Append(b ? "true" : "false"); break;
case double d: sb.Append(FormatNumber(d)); break;
case float f: sb.Append(FormatNumber(f)); break;
case int n: sb.Append(n.ToString(CultureInfo.InvariantCulture)); break;
case IDictionary<string, object> d:
sb.Append('{'); bool first = true;
foreach (var kv in d) { if (!first) sb.Append(','); first = false; WriteString(sb, kv.Key); sb.Append(':'); Write(sb, kv.Value); }
sb.Append('}'); break;
case IEnumerable e:
sb.Append('['); bool f1 = true;
foreach (var x in e) { if (!f1) sb.Append(','); f1 = false; Write(sb, x); }
sb.Append(']'); break;
default: WriteString(sb, v.ToString()); break;
}
}
// integral floats print as "2.0", the same shape as the training data
public static string FormatNumber(double d)
{
string s = d.ToString("R", CultureInfo.InvariantCulture);
return s.Contains(".") || s.Contains("E") ? s : s + ".0";
}
static void WriteString(StringBuilder sb, string s)
{
sb.Append('"');
foreach (char c in s)
{
if (c == '"') sb.Append("\\\"");
else if (c == '\\') sb.Append("\\\\");
else if (c == '\n') sb.Append("\\n");
else if (c < ' ') sb.Append("\\u").Append(((int)c).ToString("x4"));
else sb.Append(c);
}
sb.Append('"');
}
}
}
|