예제 #1
0
 public WorklistNode(CallGraphNode fst, CallGraphNode snd)
 {
     if (fst == null || snd == null)
     {
         Log.Out(Log.Urgent, "Constructing worklist node with null members");
     }
     this.fst      = fst;
     this.snd      = snd;
     this.children = new List <WorklistNode>();
     equiv         = EqState.UNK;
 }
예제 #2
0
        private void ButtonOK_Click(object sender, EventArgs e)
        {
            if (!uint.TryParse(Inv.Text, out uint z))
            {
                MessageBox.Show("Инвентарный номер должен состоять только из цифр!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                Inv.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqName.TextLength < 10)
            {
                MessageBox.Show("Длина наименования оборудования должна быть не менее 10 символов!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqName.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqAssign.SelectedIndex == -1)
            {
                MessageBox.Show("Необходимо выбрать назначение оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqAssign.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqType.SelectedIndex == -1)
            {
                MessageBox.Show("Необходимо выбрать тип оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqType.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqPlot.SelectedIndex == -1)
            {
                MessageBox.Show("Необходимо выбрать участок эксплуатации оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqPlot.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqState.SelectedIndex == 0)
            {
                MessageBox.Show("Необходимо выбрать текущее состояние оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqState.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            change_conn_state();

            string CmdText = "UPDATE Eqipmentlist SET EqInv = @EqInv, EqName = @EqName, EqAssign = @EqAssign, EqType = @EqType, EqPlot = @EqPlot,  EqState = @EqState, ArriveDate = @ArriveDate"
                             + "WHERE EqListID = @EqListID";

            OleDbCommand Cmd = new OleDbCommand(CmdText, connection);

            Cmd.Parameters.AddWithValue("EqInv", Inv.Text);
            Cmd.Parameters.AddWithValue("EqName", EqName.Text);
            Cmd.Parameters.AddWithValue("EqAssign", EqAssign.Text);
            Cmd.Parameters.AddWithValue("EqType", EqType.Text);
            Cmd.Parameters.AddWithValue("EqPlot", EqPlot.Text);
            Cmd.Parameters.AddWithValue("EqState", EqState.Text);
            Cmd.Parameters.AddWithValue("EqListID", textBox1.Text);
            Cmd.Parameters.AddWithValue("ArriveDate", ArriveDate.Value);

            Cmd.ExecuteNonQuery();
            change_conn_state();
        }
예제 #3
0
        private void button1_Click(object sender, EventArgs e)
        {
            foreach (DataRow inv in EqInvs.Rows)
            {
                if (Inv.Text == inv[0].ToString())
                {
                    MessageBox.Show("Инвентарный номер должен иметь уникальное значение", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                    Inv.Focus();
                    this.DialogResult = DialogResult.None;
                    return;
                }
            }

            if (EqName.TextLength == 0)
            {
                MessageBox.Show("Введите наименование оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqName.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqAssign.SelectedIndex == -1)
            {
                MessageBox.Show("Необходимо выбрать назначение оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqAssign.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqType.SelectedIndex == -1)
            {
                MessageBox.Show("Необходимо выбрать тип оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqType.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqPlot.SelectedIndex == -1)
            {
                MessageBox.Show("Необходимо выбрать участок эксплуатации оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqPlot.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }

            if (EqState.SelectedIndex == 0)
            {
                MessageBox.Show("Необходимо выбрать текущее состояние оборудования!", "Предупреждение", MessageBoxButtons.OK, MessageBoxIcon.Warning);
                EqState.Focus();
                this.DialogResult = DialogResult.None;
                return;
            }
            change_conn_state();
            string CmdText = "INSERT INTO Eqipmentlist(EqInv, EqName, EqPurposeID, EqTypeID, EqPlotID, EqState, ArriveDate, UserID) Values ('"
                             + Inv.Text + "' , '"
                             + EqName.Text + " ' , "
                             + EqAssign.Text.Substring(0, EqAssign.Text.IndexOf('.')) + " , "
                             + EqType.Text.Substring(0, EqAssign.Text.IndexOf('.')) + " , "
                             + EqPlot.Text.Substring(0, EqAssign.Text.IndexOf('.')) + " , '"
                             + EqState.Text + "' , '"
                             + ArriveDate.Value + "', 1) ";
            //1 пока не сделаны пользователи


            OleDbCommand Cmd = new OleDbCommand(CmdText, connection);

            Cmd.ExecuteNonQuery();
            change_conn_state();
        }