public void LoadBestResults(string fileName)
{
if (File.ReadAllLines(fileName).Count() != 0)
{
List <Result> results = new List <Result>();
XmlSerializer serializer = new XmlSerializer(typeof(List <Result>));
using (XmlReader reader = XmlReader.Create(fileName))
{
results = (List <Result>)serializer.Deserialize(reader);
}
BestResults.Clear();
foreach (Result res in results)
{
BestResults.Add(res);
}
}
}
public void AddResult(Result newResult)
{
List <Result> sortedResults = new List <Result>(BestResults);
sortedResults.Add(newResult);
sortedResults.Sort();
if (BestResults.Count < 10)
{
BestResults.Clear();
foreach (Result res in sortedResults)
{
BestResults.Add(res);
}
}
else
{
BestResults.Clear();
for (int i = 0; i < 10; ++i)
{
BestResults.Add(sortedResults[i]);
}
}
SaveBestResults("best-results" + FieldSize.Key + ".xml");
}
