Exemple #1
0
        public ModelCheckingForm(string Name, SpecificationBase spec, PNExtendInfo extendInfo)
        {
            mSpecWorker = new SpecificationWorker(spec, this, this);
            mExtendInfo = extendInfo;

            InitializeComponent();
            initPerformanceAnalytics();
            initLogic();
            mLatexWorker = new LatexWorker(extendInfo, Name);

            if (Name != "")
            {
            #if DEBUG
                Text = Text + " (Debug Model) - " + Name;
            #else
            this.Text = this.Text + " - " + Name;
            #endif
            }
        }
        public ModelCheckingForm(string Name, SpecificationBase spec, PNExtendInfo extendInfo)
        {
            mExtendInfo = extendInfo;
            mSpecWorker = new SpecificationWorker(mExtendInfo,spec, this, this);
            filename = Name;
            InitializeComponent();
            initPerformanceAnalytics();
            initLogic();
            //mLatexWorker = new LatexWorker(extendInfo, Name);
            mLatexWorker = new LatexWorker(mExtendInfo, Name);
            
            if (Name != "")
            {
#if DEBUG
                Text = Text + " (Debug Model) - " + Name;
#else
            this.Text = this.Text + " - " + Name; 
#endif
            }
        }