protected override void setJSON(JObject obj, BaseClassIfc host, SetJsonOptions options) { base.setJSON(obj, host, options); if (options.Version > ReleaseVersion.IFC2x3) { setAttribute(obj, "Name", Name); } obj["ProfileDefinition"] = ProfileDefinition.getJson(this, options); }
protected override void setJSON(JObject obj, BaseClassIfc host, HashSet <int> processed) { base.setJSON(obj, host, processed); if (mDatabase.Release == ReleaseVersion.IFC2x3 && mName != "$") { obj["ProfileName"] = Name; } obj["ProfileDefinition"] = ProfileDefinition.getJson(this, processed); }