/// <summary>
 /// Updates a ENUM to match the given <paramref name="specification"/>.
 /// <param name="@enum">A ENUM.</param>
 /// <param name="specification">A new specification for the given ENUM.</param>
 /// <returns>The updated ENUM. Depending on the implementation, this might be the same updated instance or a new instance!</returns>
 /// </summary>
 public IEnum UpdateEnum(IEnum @enum, EnumSpec specification)
 {
     return(new UpccEnum(UmlPackage.UpdateEnumeration(((UpccEnum)@enum).UmlEnumeration, EnumSpecConverter.Convert(specification))));
 }