public string Parse(string input, int?randomSeed = null)
{
if (randomSeed.HasValue)
{
JSONObjectExtensions.SeedRandom(randomSeed.Value);
}
var output = ParseInner(input);
// Since we kept escape characters in the string, replace single escape characters
output = non_escaped_backslash_regex.Replace(output, "");
// Now replace all double-escapes with single ones.
output = output.Replace(@"\\", @"\");
// Clear any top-level saved actions.
SaveData.Clear();
return(output);
}
public void SeedRandom(int seed)
{
JSONObjectExtensions.SeedRandom(seed);
}
