/// <summary>
/// Istanzia un nuovo oggetto della classe ResourceSearchProgressEventArgs con i parametri specificati.
/// </summary>
/// <param name="state">lo stato attuale riguardante la ricerca della risorsa</param>
/// <param name="error">l'eventuale errore verificatosi durante la comunicazione col servizio</param>
/// <param name="result">gli eventuali risultati finora trovati dal servizio attivo sul nodo di ricerca</param>
/// <remarks>
/// Se non si è verificato alcun errore durante la comunicazione col servizio, il parametro corrispondente
/// va impostato a null. In modo analogo, se i risultati di ricerca non sono disponibili a causa di un errore
/// o perché l'operazione è stata annullata o non sono stati trovati risultati, il parametro corrispondente
/// dovrà essere impostato a null o con una lista vuota.
/// </remarks>
public ResourceSearchProgressEventArgs(ResourceSearchState state, Exception error, List<Uri> result)
{
State = state;
Error = error;
Result = result;
}
/// <summary>
/// Restituisce la descrizione in formato stringa dello stato specificato.
/// </summary>
/// <param name="state">lo stato di cui si richiede la descrizione</param>
/// <returns>la descrizione in formato stringa dello stato specificato</returns>
public static string GetStateDescription(ResourceSearchState state)
{
string description;
if (m_InternalTable_1.TryGetValue(state, out description))
return description;
return string.Empty;
}