Beispiel #1
0
 : dsl is BankingFree <A> .Deposit de?Deposit(de, bank)
     : dsl is BankingFree <A> .Show sh?Show(sh, bank)
        private void button15_Click(object sender, EventArgs e)
        {
            /*
            int gapsec = 0;
            if (comboBox6.SelectedItem == "1 Sec")
            {
                gapsec = 1;
            }
            else
            {
                if (comboBox6.SelectedItem == "5 Sec")
                {
                    gapsec = 5;
                }
                else
                {
                    if (comboBox6.SelectedItem == "30 Sec")
                    {
                        gapsec = 30;
                    }
                    else
                    {
                        if (comboBox6.SelectedItem == "5 Min")
                        {
                            gapsec = 300;
                        }
                    }
                }
            }
            System.Windows.Forms.DataVisualization.Charting.Series Series1 = new System.Windows.Forms.DataVisualization.Charting.Series();

            System.IO.StreamReader file = new System.IO.StreamReader(textBox13.Text, true);
            string line;int row=0;

            while ((line = file.ReadLine())!=null)
            {
                int c = 0, timestartloc = 0, timeendloc = 0,res_start=0,res_end=0,val_s=0,val_e=0,val=0;
                string resp;
                DateTime x = new DateTime();
                while (line[c] != ' ')
                {
                    c++;
                }
                c++;
                while (line[c] != ' ')
                {
                    c++;
                }
                c = c + 3;
                timeendloc = c;
                x=Convert.ToDateTime(line.Substring(0,c));
                res_start = c +1;
                int l = 0;
                resp = line.Substring(res_start, 7);
                if (resp == "Success")
                {
                    val_s = res_start+7 + 1;
                    c = val_s;
                    while (line[c] != 'm')
                    {
                        c++;
                    }
                    val_e = c - 1;
                    l=val_e-val_s;
                    val = Convert.ToInt16(line.Substring(val_s,l));
                }
                else
                {
                }
                if (row == 0)
                {
                    chart1.ChartAreas[0].AxisX.Minimum = x.ToOADate();
                    chart1.ChartAreas[0].AxisX.Maximum = DateTime.FromOADate(x.ToOADate()).AddMinutes(300 * (gapsec) / 60).ToOADate();
                    Series1.Points.AddXY(x.ToOADate(), val);
                }
                else
                {
                    Series1.Points.AddXY(x.ToOADate(), val);
                }
                row++;
            }
            file.Close();
            chart1.Invalidate();
             */
            d = new de(ch_render);
            chart1.Invoke(d);
        }
        private void timeProgressBar1_OnValueChanged(de.christianleberfinger.dotnet.pocketknife.controls.SimpleProgressBar sender, de.christianleberfinger.dotnet.pocketknife.controls.SimpleProgressBar.ValueUpdatedEventArgs e)
        {
            if (Media == null)
                return;

            try
            {
                checkMedia();
                Media.Position = TimeSpan.FromMilliseconds(Media.Duration.TotalMilliseconds * timeProgressBar1.RelativePosition);
            }
            catch (Exception ex)
            {
                setStatusbarText(ex.Message);
            }
        }
        private void button6_Click(object sender, EventArgs e)
        {
            if (textBox6.Text == "" || textBox7.Text == "" || textBox8.Text == "")
            {
                MessageBox.Show("Please Recheck :- IP Address or Community String or Object ID");
                return;
            }
            byte[] res_n = new byte[1024];
            int commlength = 0, miblength = 0, datalength = 0, datastart = 0, value = 0;
            res_n = snmp_conn.get("getnext", textBox6.Text, textBox7.Text, textBox8.Text);
            if (res_n[0] == 0xff)
            {
                Console.WriteLine("No response");
                return;
            }
            /*
            commlength = Convert.ToInt16(res[6]);
            miblength = Convert.ToInt16(res[23 + commlength]);
            //datatype = Convert.ToInt16(snmp_response[24 + snmp_commlength + snmp_miblength]);
            datalength = Convert.ToInt16(res[25 + commlength + miblength]);
            datastart = 26 + commlength + miblength;
            string output = Encoding.ASCII.GetString(res, datastart, datalength);
            while (datalength > 0)
            {
                value = (value << 8) + res[datastart++];
                datalength--;
            }
             */

            int msglen = 0, getpdulen = 0, seqlen = 0, d = 0,obj=0,m=0;
            if (res_n[1] > 127)
            {
                msglen = res_n[1] - 128;
            }

            commlength = Convert.ToInt16(res_n[6 + msglen]);
            if (res_n[8 + commlength + msglen] > 127)
            {
                getpdulen = res_n[8 + commlength + msglen] - 128;
            }
            if (res_n[19 + commlength + msglen + getpdulen] > 127)
            {
                seqlen = res_n[19 + commlength + msglen + getpdulen] - 128;
            }
            if (res_n[21 + commlength + msglen + getpdulen + seqlen] > 127)
            {
                obj = res_n[21 + commlength + msglen + getpdulen + seqlen] - 128;
            }

            //int objid1, obj1, dstart1, dlen1, dlenbyte = 0, objidlen = 0;
            //snmp_datastart1 = 20 + snmp_commlength1 + msglen + getpdulen + seqlen;

            //commlength = Convert.ToInt16(res[6]);
            miblength = Convert.ToInt16(res_n[23 + commlength + msglen + getpdulen + seqlen + obj]);
            if (miblength > 127)
            {
                m = miblength - 128;
                miblength = Convert.ToInt16(res_n[24 + commlength + msglen + getpdulen + seqlen + obj]);
            }
            //datatype = Convert.ToInt16(snmp_response[24 + snmp_commlength + snmp_miblength]);
            datalength = Convert.ToInt16(res_n[25 + commlength + miblength + msglen + getpdulen + seqlen + m + obj]);
            if (datalength > 127)
            {
                d = datalength - 128;
                datalength = Convert.ToInt16(res_n[26 + commlength + miblength + msglen + getpdulen + seqlen + m + obj]);
            }
            //textBox9.AppendText("\r\nData length " + datalength);
            datastart = 26 + commlength + miblength + msglen + getpdulen + seqlen + m + d + obj;
            string output = Encoding.ASCII.GetString(res_n, datastart, datalength);
            while (datalength > 0)
            {
                value = (value << 8) + res_n[datastart++];
                datalength--;
            }

            textBox10.AppendText("\r\n" + output + "\t\t" + value);
        }
 private void serialPortControl1_OnBytesReceive(de.christianleberfinger.dotnet.pocketknife.IO.StreamReaderAsync sender, de.christianleberfinger.dotnet.pocketknife.IO.StreamReaderAsync.BytesReceiveEventArgs e)
 {
     loggingBox1.log(e.Bytes.Length + " bytes received.");
     //loggingBox1.log("0x{0}",  receivedByte.ToString("X"));
 }