/// <summary>
/// Returns the description of the supplied error code.
/// </summary>
/// <param name="error">Error code.</param>
/// <returns>String representing the given error code.</returns>
static public string ErrorString(ErrorCode error)
{
string name = error.ToString();
string description = error.GetAttributeOfType <DescriptionAttribute>().Description;
return(name + ": " + description);
}