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