// PRE: extra != null.
// POS: devuelve un objeto Extra equivalente a partir de un objeto ExtraDato.
public static MD.Extra ExtraDatoAExtra(ExtraDato extraDato)
{
return(new MD.Extra(extraDato.Nombre, extraDato.Precio));
}
// PRE: e != null;
// POS: actualiza el objeto e en la "tabla" extras.
public static void UPDATEExtra(ExtraDato e)
{
BD.DELETEExtra(e);
BD.INSERTExtra(e);
}
// PRE: e != null.
// POS: devuelve un objeto de tipo ExtraDato obtenido de la "tabla" extras a partir del parámetro e.
public static ExtraDato SELECTExtra(ExtraDato e)
{
return BD.Extras[e.Nombre];
}
// PRE: e != null.
// POS: elimina de la "tabla" extras e, si e se encuentra en ella.
public static void DELETEExtra(ExtraDato e)
{
BD.Extras.Remove(e);
}
// PRE: e != null.
// POS: inserta e en la "tabla" extras.
public static void INSERTExtra(ExtraDato e)
{
BD.Extras.Add(e);
}
