public void SaveMap(string mapFileName) { _outputInfoBuilder.Sort(); using (StreamWriter mapWriter = new StreamWriter(mapFileName)) { WriteHeader(mapWriter); WriteNodeTypeStatistics(mapWriter); WriteRelocTypeStatistics(mapWriter); WriteSections(mapWriter); WriteMap(mapWriter); } }
public void SaveMap(string mapFileName) { Console.WriteLine("Emitting map file: {0}", mapFileName); _outputInfoBuilder.Sort(); using (StreamWriter mapWriter = new StreamWriter(mapFileName)) { WriteHeader(mapWriter); WriteNodeTypeStatistics(mapWriter); WriteRelocTypeStatistics(mapWriter); WriteSections(mapWriter); WriteMap(mapWriter); } }