示例#1
0
    public static void BuildAndShow(string fileprefix, RegexBase r)
    {
        var nfa = r.MkNfa(new Nfa.NameSource());

        Console.WriteLine(nfa);
        Console.WriteLine("Writing NFA graph to file");
        nfa.WriteDot(fileprefix + "nfa.dot");
        Console.WriteLine("---");
        var dfa = nfa.ToDfa();

        Console.WriteLine(dfa);
        Console.WriteLine("Writing DFA graph to file");
        dfa.WriteDot(fileprefix + "dfa.dot");
        Console.WriteLine();
    }
示例#2
0
        /// <summary>
        /// 加载通讯默认值
        /// </summary>
        private void LoadCommunication()
        {
            IniSettings.LoadCommunication();

            cmbPortName.Items.Clear();
            foreach (string st in SerialPort.GetPortNames())
            {
                int i = 0;
                for (i = st.Length - 1; i > 3; i--)
                {
                    if (RegexBase.IsUint(st.Substring(i, 1)))
                    {
                        break;
                    }
                }
                cmbPortName.Items.Add(st.Substring(0, (i + 1)));
            }

            try
            {
                cmbPortName.Text   = IniSettings.PortName;
                cmbBaudRate.Text   = IniSettings.BaudRate.ToString();
                txtRemoteIP.Text   = IniSettings.IP;
                txtRemotePort.Text = IniSettings.IPPort.ToString();
            }
            catch (Exception ex)
            {
                Console.WriteLine(ex.ToString());
            }

            LoadCommType((CommType)IniSettings.Communication);

            if (!SystemPub.ADRcp.bConnected)
            {
                btnDisConnect.Enabled = false;
                btnConnected.Enabled  = true;
            }
            else
            {
                btnDisConnect.Enabled = true;
                btnConnected.Enabled  = false;
            }
        }
        private void SetTcpip()
        {
            if (!RegexBase.IsIPv4(txtTCPIP.Text.ToString().Trim()))
            {
                MessageStatus.Show("IP地址错误!", "IP Address Error!", (int)CommRtn.FAIL);
                return;
            }

            if (!RegexBase.IsIPv4(txtTCPMask.Text.ToString().Trim()))
            {
                MessageStatus.Show("子网掩码错误!", "Subnet Mask Error!", (int)CommRtn.FAIL);
                return;
            }

            if (!RegexBase.IsIPv4(txtTCPGateway.Text.ToString().Trim()))
            {
                MessageStatus.Show("网关地址错误!", "GateWay Error!", (int)CommRtn.FAIL);
                return;
            }
            if (!RegexBase.IsMac(txtTCPMac.Text.ToString().Trim()))
            {
                MessageStatus.Show("Mac地址错误!", "Mac Address Error!", (int)CommRtn.FAIL);
                return;
            }

            if (!RegexBase.IsIPv4(txtRemoteIP.Text.ToString().Trim()))
            {
                MessageStatus.Show("RemoteIP地址错误!", "RemoteIP Address Error!", (int)CommRtn.FAIL);
                return;
            }

            TcpipParameters newTemp = GetTcpipParaInfo();

            if (!SystemPub.ADRcp.SendBytePkt(PassiveRcp.SetTcpip(SystemPub.ADRcp.Address, newTemp.ToArray())))
            {
            }
        }
        private void SetTcpip()
        {
            if (!RegexBase.IsIPv4(txtTCPIP.Text.ToString().Trim()))
            {
                MessageBox.Show(IniSettings.GetLanguageString("IP Address Error!", "IP地址错误!"));
                return;
            }

            if (!RegexBase.IsIPv4(txtTCPMask.Text.ToString().Trim()))
            {
                MessageBox.Show(IniSettings.GetLanguageString("Subnet Mask Error!", "子网掩码错误!"));
                return;
            }

            if (!RegexBase.IsIPv4(txtTCPGateway.Text.ToString().Trim()))
            {
                MessageBox.Show(IniSettings.GetLanguageString("GateWay Error!", "网关地址错误!"));
                return;
            }
            if (!RegexBase.IsMac(txtTCPMac.Text.ToString().Trim()))
            {
                MessageBox.Show(IniSettings.GetLanguageString("Mac Address Error!", "Mac地址错误!"));
                return;
            }

            if (!RegexBase.IsIPv4(txtRemoteIP.Text.ToString().Trim()))
            {
                MessageBox.Show(IniSettings.GetLanguageString("RemoteIP Address Error!", "RemoteIP地址错误!"));
                return;
            }

            TcpipParameters newTemp = GetTcpipParaInfo();

            PassiveCommand.SetTcpip(SystemPub.ADRcp, newTemp.ToArray());
            //if (!SystemPub.ADRcp.SendBytePkt(PassiveRcp.SetTcpip(SystemPub.ADRcp.Address, newTemp.ToArray()))) { }
        }
示例#5
0
 public Star(RegexBase r)
 {
     _r = r;
 }
示例#6
0
 public Alt(RegexBase r1, RegexBase r2)
 {
     _r1 = r1;
     _r2 = r2;
 }
示例#7
0
 public Seq(RegexBase r1, RegexBase r2)
 {
     _r1 = r1;
     _r2 = r2;
 }