public MainWindow()
{
RandNetSettings.InitializeLogging("randnet_" + DateTime.Now.AddHours(4).ToString("yyyy_MM_dd_HH_mm_ss"));
Logger.Write("-------------------------------- xRandNet STARTED --------------------------------");
InitializeComponent();
CheckForIllegalCrossThreadCalls = false;
}
private void exactBrowseBtn_Click(object sender, EventArgs e)
{
openFileDialog.InitialDirectory = RandNetSettings.ModelCheckingToolDirectory;
if (openFileDialog.ShowDialog() == DialogResult.OK)
{
RandNetSettings.ModelCheckingToolDirectory = Path.GetDirectoryName(openFileDialog.FileName);
RandNetSettings.Refresh();
this.exactFilePathTxt.Text = openFileDialog.FileName;
}
}
private void SaveSettingsButton_Click(Object sender, EventArgs e)
{
RandNetSettings.LoggingDirectory = loggingDirectoryTxt.Text;
RandNetSettings.StorageDirectory = storageDirectoryTxt.Text;
//Settings.ConnectionString = textBoxConnStr.Text;
RandNetSettings.TracingDirectory = tracingDirectoryTxt.Text;
if (matrixRadio.Checked)
{
RandNetSettings.TracingType = TracingType.Matrix;
}
else if (neighbourshipRadio.Checked)
{
RandNetSettings.TracingType = TracingType.Neighbourship;
}
RandNetSettings.Refresh();
Close();
}
private void browse_Click(Object sender, EventArgs e)
{
switch (Type)
{
case FileInputType.File:
if (openFileDialog.ShowDialog() == DialogResult.OK)
{
locationTxt.Text = openFileDialog.FileName;
RandNetSettings.StaticGenerationDirectory = openFileDialog.InitialDirectory;
RandNetSettings.Refresh();
}
break;
case FileInputType.Folder:
if (folderBrowserDlg.ShowDialog() == DialogResult.OK)
{
locationTxt.Text = folderBrowserDlg.SelectedPath;
RandNetSettings.StaticGenerationDirectory = folderBrowserDlg.SelectedPath;
RandNetSettings.Refresh();
}
break;
}
}
private void MatrixConvertionWindow_FormClosing(object sender, FormClosingEventArgs e)
{
RandNetSettings.Refresh();
}
