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 } }