private void btLuu_Click(object sender, EventArgs e) { if (lbDanhSach.SelectedItem == null) { MessageBox.Show("Bạn phải chọn Mệnh đề cần sửa trong Danh sách"); return; } if (String.IsNullOrEmpty(tbTen.Text.Trim())) { MessageBox.Show("Bạn phải nhập tên mệnh đề!"); tbTen.Focus(); return; } CMenhDe cMenhDe = new CMenhDe(); MMenhDe menhDe = cMenhDe.GetByID(lbDanhSach.SelectedValue.ToString()); menhDe.Name = tbTen.Text.Trim(); if (!cMenhDe.ExistExceptID(menhDe.Name, menhDe.ID.ToString())) { cMenhDe.Update(menhDe); } else { MessageBox.Show("Tên mệnh đề bạn đã sửa trùng với tên của mệnh đề khác trong CSDL! Hãy chọn tên khác"); tbTen.Focus(); return; } tbTen.Text = ""; tbTen.Focus(); LoadMenhDe(); }
private void btThemMoi_Click(object sender, EventArgs e) { // Kiem soat nhap du lieu if (String.IsNullOrEmpty(tbTenLuat.Text)) { tbTenLuat.Focus(); MessageBox.Show("Bạn phải nhập tên Luật"); return; } if (String.IsNullOrEmpty(tbMoTaLuat.Text)) { tbMoTaLuat.Focus(); MessageBox.Show("Bạn phải nhập thông tin mô tả Luật"); return; } if (clbVeTrai.SelectedItems.Count == 0) { MessageBox.Show("Bạn phải chọn mệnh đề vế trái"); clbVeTrai.Focus(); return; } // Cap nhat vao CSDL CLuat cl = new CLuat(); List <MMenhDe> veTrai = new List <MMenhDe>(); CMenhDe cmd = new CMenhDe(); int index = 0; for (int i = 0; i < clbVeTrai.Items.Count; i++) { if (clbVeTrai.GetItemChecked(index)) { String id = IDList[i]; MMenhDe m = cmd.GetByID(id); if (m != null) { veTrai.Add(m); } } index++; } int dem = cl.Insert(tbTenLuat.Text, tbMoTaLuat.Text, int.Parse(cbbVePhai.SelectedValue.ToString()), veTrai); if (dem == 1) { // Load lại du lieu tren giao dien DocLuat(); tbTenLuat.Text = ""; tbMoTaLuat.Text = ""; cbbVePhai.SelectedIndex = 0; for (int i = 0; i < clbVeTrai.Items.Count; i++) { clbVeTrai.SetItemChecked(i, false); } } else { MessageBox.Show("Lỗi ..."); } }
private void btSuyLuan_Click(object sender, EventArgs e) { // Kiem tra xem nguoi dung da chon cac menh de hay chua, toi thieu 1 menh de if (clbMenhDe.CheckedItems.Count == 0) { MessageBox.Show("Bạn phải chọn tối thiểu 1 mệnh đề!"); clbMenhDe.Focus(); return; } // Doc danh sach luat CLuat cl = new CLuat(); List <MLuat> tapLuat = cl.SelectAllList(); // Doc tap su kien da biet List <MMenhDe> tapSKDB = new List <MMenhDe>(); CMenhDe cmd = new CMenhDe(); for (int i = 0; i < clbMenhDe.Items.Count; i++) { if (clbMenhDe.GetItemChecked(i)) { MMenhDe m = cmd.GetByID(dsMenhDe[i]); tapSKDB.Add(m); } } // Dung mo to suy dien de suy luan Motor mt = new Motor(); mt.TLuat = tapLuat; mt.TSKDB = tapSKDB; List <MMenhDe> dsKetQua = mt.Search(); List <MLuat> tapLuat2 = cl.SelectAllList(); // Dien giai ket qua if (dsKetQua != null && dsKetQua.Count > 0) { tbKetQua.Text = "Kết quả thu được:\r\n"; foreach (MMenhDe md in dsKetQua) { tbKetQua.AppendText(md.Name + "\r\n"); int searchIndex = tapLuat2.FindIndex(item => item.RightID == md.ID); tbKetQua.AppendText("\n" + tapLuat2[searchIndex].Description + "\n"); } } else { tbKetQua.Text = "Không tìm được kết quả nào phù hợp"; } }
public MMenhDe Left() { CMenhDe cMenhDe = new CMenhDe(); return(cMenhDe.GetByID(LeftID.ToString())); }
public MMenhDe Right() { CMenhDe cMenhDe = new CMenhDe(); return(cMenhDe.GetByID(RightID.ToString())); }