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