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);
}
