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"); }