//PRE:
//POST: si el extra no estaba en el vehiculo, y no es null se añade y devuelve true, en caso contrario devuelve false
public static bool AñadirExtra(MD.Nuevo vehiculo, MD.Extra newExtra)
{
List <MD.Extra> extras = vehiculo.Extras;
if (newExtra == null)
{
return(false);
}
foreach (MD.Extra extra in extras)
{
if (extra.Equals(newExtra))
{
return(false);
}
}
extras.Add(newExtra);
vehiculo.Extras = extras;
return(true);
}
// PRE:
// POS: devuelve en una lista los extras seleccionados.
public List <MD.Extra> getExtras()
{
ListBox.SelectedObjectCollection selectedItems = lbExtras.SelectedItems;
List <MD.Extra> extras = new List <MD.Extra>();
float valor = 10;
for (int i = 0; i < selectedItems.Count; i++)
{
for (int j = 0; j < lbExtras.Items.Count; j++)
{
if (lbExtras.Items[j].ToString().Equals(selectedItems[i].ToString()))
{
MD.Extra extra = new MD.Extra(lbExtras.Items[j].ToString(), j * 2);
extras.Add(extra);
}
}
valor++;
}
return(extras);
}
// PRE: extra != null.
// POS: devuelve un objeto ExtraDato equivalente al objeto de tipo Extra extra.
public static ExtraDato extraAExtraDato(MD.Extra extra)
{
return(new ExtraDato(extra.Nombre, extra.Precio));
}
// PRE: extra != null.
// POS: actualiza los datos de extra dentro de la BD.
public static void Modificar(MD.Extra extra)
{
BD.UPDATEExtra(extraAExtraDato(extra));
}
// PRE: extra != null.
// POS: elimina de la BD extra si éste se encuentra en ella.
public static void Eliminar(MD.Extra extra)
{
BD.DELETEExtra(extraAExtraDato(extra));
}
// PRE: extra != null.
// POS: devuelve un objeto Extra si lo encuentra en la BD.
public static MD.Extra Buscar(MD.Extra extra)
{
return(ExtraDatoAExtra(BD.SELECTExtra(extraAExtraDato(extra))));
}
// PRE: extra != null.
// POS: añade extra a la BD.
public static void Añadir(MD.Extra extra)
{
BD.INSERTExtra(extraAExtraDato(extra));
}
