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); }