// 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); }