Exemple #1
0
 /// <summary>
 /// PRE: La clase que se pasa como parametro debe de estar incializada y debe existir
 /// POST: Actualiza el vehiculo con los datos del vehiculo que se pasa por parametro
 /// </summary>
 /// <param name="v"></param>
 private static void UpdateVehiculo(VehiculoDatos v)
 {
     BD.DeleteVehiculo(v);
     BD.InsertVehiculo(v);
 }
Exemple #2
0
 /// <summary>
 /// PRE: La clase que se pasa como parametro debe de estar incializada, el vehiculo que se le pasa debe de existir
 /// POST: Devuelve el vehiculo
 /// </summary>
 /// <param name="v"></param>
 /// <returns></returns>
 public static VehiculoDatos SelectVehiculo(VehiculoDatos v)
 {
     return(BD.Vehiculos[v.Identificador]);
 }
Exemple #3
0
 /// <summary>
 /// PRE: La clase que se pasa como parametro debe de estar incializada
 /// POST: Añade el vehiculo
 /// </summary>
 /// <param name="v"></param>
 private static void InsertVehiculo(VehiculoDatos v)
 {
     BD.Vehiculos.Add(v);
 }
Exemple #4
0
 /// <summary>
 /// PRE: La clase que se pasa como parametro debe de estar incializada y debe existir
 /// POST: Elimina el vehiculo
 /// </summary>
 /// <param name="v"></param>
 private static void DeleteVehiculo(VehiculoDatos v)
 {
     BD.Vehiculos.Remove(v.Identificador);
 }
Exemple #5
0
 /// <summary>
 /// PRE: La clase que se pasa como parametro debe de estar incializada
 /// POST: Devuelve true si el vehiculo se encuentra en nuestra coleccion y falso en caso contrario
 /// </summary>
 /// <param name="v"></param>
 /// <returns></returns>
 private static bool ExistsVehiculo(VehiculoDatos v)
 {
     return(BD.Vehiculos.Contains(v.Identificador));
 }