public XmlOutputter(string path)
{
this.path = path;
index = new GenerationIndex(path);
directory = Path.GetDirectoryName(path);
prefix = Path.GetFileNameWithoutExtension(path);
}
/// <summary>
/// Initialises a new XmlOutputter
/// </summary>
/// <param name="path">The path to save the index file to</param>
public XmlOutputter(string path)
{
if (path == null)
{
throw new ArgumentNullException("path must not be null");
}
this.path = path;
index = new GenerationIndex(path);
directory = Path.GetDirectoryName(path);
prefix = Path.GetFileNameWithoutExtension(path);
}
/// <summary>
/// Load output file and check if the file is an XML one. If not, terminate program
/// Otherwise show the maximum generation value.
/// </summary>
/// <param name="filename"></param>
private void loadFile(string filename)
{
string extension = Path.GetExtension(filename);
if (extension != ".xml")
{
MessageBox.Show("Cannot open file for reading XML.\n Terminating program now");
this.Dispose(true);
}
else
{
XmlTextReader reader = new XmlTextReader(filename);
reader.MoveToContent();
if (reader.Name != "results")
{
throw new Exception("Results XML file must have <results> element as root.");
}
results = new GenerationIndex(filename,reader);
drawIndividual(0, 0);
generation.Maximum = results.Count - 1;
maxGeneration.Text = "Max : " + (results.Count-1);
}
}