private void OpenPetriNet(string filename)
{
try
{
PetriNetXMLReader reader = new PetriNetXMLReader();
CurrentPnmlNet = reader.ReadFromXML(filename);
CurrentPnmlNet.PetriNet.InitDependencies();
if (Settings.Default.LastOpenedFiles.Count > 0 && Settings.Default.LastOpenedFiles[0] == filename)
{
}
else
{
Settings.Default.LastOpenedFiles.Insert(0, filename);
}
Settings.Default.Save();
LastOpenedFiles = GetLastOpenedFilesList();
CurrentFileName = filename;
CurrentFilePath = filename;
IsSaved = true;
}
catch (Exception ex)
{
CurrentPnmlNet = null;
MessageBox.Show("Petri Netz konnte nicht geöffnet werden", "Öffnen fehlgeschlagen", MessageBoxButton.OK,
MessageBoxImage.Error);
}
}
void SavePetriNetCommandExecute()
{
PetriNetXMLReader reader = new PetriNetXMLReader();
if (CurrentFileName != null)
{
reader.SaveToXML(CurrentPnmlNet, CurrentFilePath);
IsSaved = true;
}
else
{
SavePetriNetUnderNewNameCommandExecute();
}
}
void SavePetriNetUnderNewNameCommandExecute()
{
PetriNetXMLReader reader = new PetriNetXMLReader();
SaveFileDialog saveFileDialog = new SaveFileDialog();
saveFileDialog.Filter = "XML Files (*.xml)|*.xml";
saveFileDialog.FilterIndex = 0;
saveFileDialog.DefaultExt = "xml";
saveFileDialog.FileName = "Petrinet.xml";
if (saveFileDialog.ShowDialog() == true)
{
reader.SaveToXML(CurrentPnmlNet, saveFileDialog.FileName);
CurrentFileName = saveFileDialog.FileName;
CurrentFilePath = CurrentFileName;
IsSaved = true;
}
}
