コード例 #1
0
ファイル: VerifyAllClusters.cs プロジェクト: nhannhan159/PAT
        private void convertToPN(string kwsnFileName)
        {
            do
            {
                WSNTabItem wsnTabItem = new WSNTabItem("KWSN Model", "KWSN", null);
                wsnTabItem.Open(kwsnFileName);

                string pnName = DateTime.Now.Millisecond.ToString() + ".pn"; // 13486468456456.pn
                PNGenerationHelper helper = new PNGenerationHelper(pnName, wsnTabItem);
                helper.GenerateXML(false, false);

                bool cne = createModule();
                if (cne == false)
                    break;

            } while (false);
        }
コード例 #2
0
ファイル: ClusterHelper.cs プロジェクト: nhannhan159/PAT
        private void convertToPN(string kwsnName)
        {
            string kwsnPath = CURRENT_PATH + BEFORE_FOLDER + "\\" + kwsnName + ".kwsn";
            WSNTabItem wsnTabItem = new WSNTabItem("KWSN Model", "KWSN", null);
            wsnTabItem.Open(kwsnPath);

            string pnName = CURRENT_PATH + PN_FOLDER + "\\" + kwsnName + ".pn"; // 13486468456456.pn
            PNGenerationHelper helper = new PNGenerationHelper(pnName, wsnTabItem);
            XmlDocument pnFile = helper.GenerateXML(false, false);
            pnFile.Save(helper.GetGeneratedFileName());
        }