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("");
}
}
public static bool ModificarTipoCliente(MD.Cliente cliente, Categoria categoria)
// PRE:
// POS: devuelve TRUE si se ha modificado la categoria de cliente,
//FALSE si la categoria que se intenta poner es la misma que la que tiene o si cliente o categoria son nulos o no existen.
{
if (cliente != null && PersistenciaCliente.Existe(cliente.DNI))
{
MD.Cliente c = new MD.Cliente(cliente.Nombre, cliente.DNI, cliente.Telefono, categoria);
PersistenciaCliente.Modificar(cliente);
return(true);
}
else
{
return(false);
}
}
///<summary>
///Devuelve true si el cliente existe , falso en caso contrario.
///</summary>
public Boolean existeCliente(String dni)
{
return(PersistenciaCliente.Existe(dni));
}
// PRE:
// POS: devuelve TRUE si cliente existe, FALSE en caso contrario.
public static bool ExisteCliente(String DNI)
{
return(PersistenciaCliente.Existe(DNI));
}
