protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed) { base.setJSON(obj, host, processed); obj["CountValue"] = CountValue; base.setAttribute(obj, "Formula", Formula); }