protected override void setJSON(JObject obj, BaseClassIfc host, HashSet<int> processed)
{
base.setJSON(obj, host, processed);
if (mPredefinedType != IfcSpaceTypeEnum.NOTDEFINED)
obj["PredefinedType"] = mPredefinedType.ToString();
if (!double.IsNaN(mElevationWithFlooring))
obj["ElevationWithFlooring"] = mElevationWithFlooring;
}
}