public static string GetInfoCliente(string dni)
// PRE:
// POS: devuelve una cadena que contiene la información relativa al dni del cliente introducido.
//Devuelve cadena vacía si no hay ningún cliente agregado con ese dni.
{
if (dni != null && PersistenciaCliente.Existe(dni))
{
MD.Cliente c = PersistenciaCliente.Buscar(dni);
return(c.ToString());
}
else
{
return("");
}
}
