private void btXoa_Click(object sender, EventArgs e) { if (lbDanhSach.SelectedItem == null) { MessageBox.Show("Bạn phải chọn Mệnh đề cần Xóa trong Danh sách"); return; } CMenhDe cMenhDe = new CMenhDe(); if (cMenhDe.CanDelete(lbDanhSach.SelectedValue.ToString())) { cMenhDe.Delete(int.Parse(lbDanhSach.SelectedValue.ToString())); } else { MessageBox.Show("Bạn không thể xóa Mệnh đề này vì có Luật liên quan"); 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 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) { 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(); if (!cMenhDe.Exist(tbTen.Text.Trim())) { cMenhDe.Insert(tbTen.Text.Trim()); } else { MessageBox.Show("Mệnh đề này đã có trong CSDL"); return; } tbTen.Text = ""; tbTen.Focus(); LoadMenhDe(); }
private void LoadMenhDe() { CMenhDe cMenhDe = new CMenhDe(); DataTable tb = cMenhDe.SelectAll(); lbDanhSach.DataSource = tb; lbDanhSach.DisplayMember = "Name"; lbDanhSach.ValueMember = "ID"; }
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"; } }
private void GMain_Load(object sender, EventArgs e) { CMenhDe cmd = new CMenhDe(); List <MMenhDe> ds = cmd.SelectAllList(); if (ds != null && ds.Count > 0) { foreach (MMenhDe m in ds) { clbMenhDe.Items.Add(m.Name); dsMenhDe.Add(m.ID.ToString()); } } }
private void GLuat_Load(object sender, EventArgs e) { // Doc toan bo menh de len: Checklistbox, combobox CMenhDe cm = new CMenhDe(); DataTable tbmd = cm.SelectAll(); if (tbmd != null) { foreach (DataRow r in tbmd.Rows) { clbVeTrai.Items.Add(r["Name"].ToString()); IDList.Add(r["ID"].ToString()); } cbbVePhai.DataSource = tbmd; cbbVePhai.DisplayMember = "Name"; cbbVePhai.ValueMember = "ID"; } // Doc toan bo luat len: Datagridview DocLuat(); }
public MMenhDe Left() { CMenhDe cMenhDe = new CMenhDe(); return(cMenhDe.GetByID(LeftID.ToString())); }
public MMenhDe Right() { CMenhDe cMenhDe = new CMenhDe(); return(cMenhDe.GetByID(RightID.ToString())); }