public static Luat SaveLuat(Luat luat)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
db.Luats.Add(luat);
db.SaveChanges();
return(luat);
}
}
//lưu sự kiện vào database
public static bool SaveSuKien(SuKien sukien)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
//tìm xem có tồn tại sk này chưa
SuKien sk = db.SuKiens.SingleOrDefault(n => n.Name == sukien.Name);
//nếu tồn tại trả về null
if (sk != null)
{
return(false);
}
db.SuKiens.Add(sukien);
db.SaveChanges();
return(true);
}
}
//xóa luật có độ ưu tiên thấp hơn dựa cùng vế trái
public static List <Luat> DeleteLuatByLuat(string vetrai)
{
using (TuVanLaptopEntities db = new TuVanLaptopEntities())
{
Luat luat = Luat.getLuatByVeTrai(vetrai);
if (luat != null)
{
//xóa luật có độ ưu tiên thấp hơn luat này
List <Luat> luatList = db.Luats.Where(x => x.DoTinCay < luat.DoTinCay).ToList();
db.Luats.RemoveRange(luatList);
db.SaveChanges();
return(luatList);
}
return(null);
}
}