protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed)
{
base.setJSON(obj, host, processed);
obj["PredefinedType"] = mPredefinedType.ToString();
obj["OperationType"] = mOperationType.ToString();
obj["ParameterTakesPrecedence"] = mParameterTakesPrecedence;
setAttribute(obj, "UserDefinedOperationType", UserDefinedOperationType);
}