protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed)
{
base.setJSON(obj, host, processed);
if (mRelatingContext != host.mIndex)
obj["RelatingContext"] = RelatingContext.getJson(this, processed);
obj["RelatedDefinitions"] = new JArray(mRelatedDefinitions.ConvertAll(x => mDatabase[x].getJson(this, processed)));
}
}