这是“使用 C＃ 开发智能手机软件：推箱子”系列文章的第十篇。在这篇文章中，介绍 Common/DataFile.cs 源程序文件。这个源程序文件中包含密封类 DataFile，用来管理数据文件。
上图是数据文件 konka.bxb 的结构图。该数据文件大小为 297 字节，包含三个关卡，各个关卡的大小分别为：“8x7”、“8x7”和“9x5”。内容如下：
1. 文件头(32字节，图中的青色部分)。首先是保留的四个字节。然后是一个字节的数据文件版本号(目前为“2”)。接着是三个字节的标志(内容为“BOX”)。接着是十六字节的组名(编码为“GB2312”，本数据文件中为“康佳”)。接着是总关数(Int32，四个字节，因为本组共有三个关卡，所以内容为“3”)。最后是第一关起始地址位置(Int32，四个字节，本数据文件中的内容为“0x11D”)。
2. 以关数据头(32字节，图中的绿色部分)开始的各关数据。首先是一个字节的关数据头开始标志(“@”)。然后是一个字节的标志(最低位:0:未通关，1:已通关)。接着是通关总步数(Int32，四个字节)。接着是通关推箱子步数(Int32，四个字节)。接着是十四个字节的保留字段。接着是本关的宽度(Int32，四个字节)。接着是本关的高度(Int32，四个字节)。最后是“本关宽度x本关高度”个字节的关数据，也就是说地图中每个单元格占一个字节，取值范围是“0”到“7”，分别表示：0:地，1:槽，2:墙，3:砖，4:箱子放在地上，5:箱子放在槽上，6:工人站在地上，7:工人站在槽上。注意，每一个关卡必须刚好有一个工人。
3. 数据文件的最后是各关起始地址列表(“总关数x4”个字节，图中的黄色部分)。每关的起始地址均为四个字节(Int32)，所以共有“总关数x4”个字节。
密封类 DataFile 的源代码中有详细的注释，很容易看懂。
1. InitMap 方法用来初始化地图。地图的大小是“(关的高度+2) x (关的宽度+2)”，这是为了在地图四周砌上围墙，以免搜索算法越出地图边界。
2. DeleteLevel 方法用来删除指定的关。注意，删除关时并不删除关数据，只是将该关的起始地址从各关地址列表中删除，然后将文件缩短四个字节(因为各关地址列表在数据文件的最后)。这样数据文件中就可能包含不需要的冗余数据。通过“菜单 -> 数据 -> 转换”，先“导出”，然后“导入”，可以消除冗余数据。
上一篇：使用 C# 开发智能手机软件：推箱子(九)
下一篇：使用 C# 开发智能手机软件：推箱子(十一)
返回目录
上图是数据文件 konka.bxb 的结构图。该数据文件大小为 297 字节，包含三个关卡，各个关卡的大小分别为：“8x7”、“8x7”和“9x5”。内容如下：
1. 文件头(32字节，图中的青色部分)。首先是保留的四个字节。然后是一个字节的数据文件版本号(目前为“2”)。接着是三个字节的标志(内容为“BOX”)。接着是十六字节的组名(编码为“GB2312”，本数据文件中为“康佳”)。接着是总关数(Int32，四个字节，因为本组共有三个关卡，所以内容为“3”)。最后是第一关起始地址位置(Int32，四个字节，本数据文件中的内容为“0x11D”)。
2. 以关数据头(32字节，图中的绿色部分)开始的各关数据。首先是一个字节的关数据头开始标志(“@”)。然后是一个字节的标志(最低位:0:未通关，1:已通关)。接着是通关总步数(Int32，四个字节)。接着是通关推箱子步数(Int32，四个字节)。接着是十四个字节的保留字段。接着是本关的宽度(Int32，四个字节)。接着是本关的高度(Int32，四个字节)。最后是“本关宽度x本关高度”个字节的关数据，也就是说地图中每个单元格占一个字节，取值范围是“0”到“7”，分别表示：0:地，1:槽，2:墙，3:砖，4:箱子放在地上，5:箱子放在槽上，6:工人站在地上，7:工人站在槽上。注意，每一个关卡必须刚好有一个工人。
3. 数据文件的最后是各关起始地址列表(“总关数x4”个字节，图中的黄色部分)。每关的起始地址均为四个字节(Int32)，所以共有“总关数x4”个字节。
密封类 DataFile 的源代码中有详细的注释，很容易看懂。
1. InitMap 方法用来初始化地图。地图的大小是“(关的高度+2) x (关的宽度+2)”，这是为了在地图四周砌上围墙，以免搜索算法越出地图边界。
2. DeleteLevel 方法用来删除指定的关。注意，删除关时并不删除关数据，只是将该关的起始地址从各关地址列表中删除，然后将文件缩短四个字节(因为各关地址列表在数据文件的最后)。这样数据文件中就可能包含不需要的冗余数据。通过“菜单 -> 数据 -> 转换”，先“导出”，然后“导入”，可以消除冗余数据。
1 using System;
2 using System.IO;
3 using System.Drawing;
4 using System.Collections.Generic;
5 using System.Windows.Forms;
6
7 namespace Skyiv.Ben.PushBox.Common
8 {
9 // data/<group>.bxb 文件格式
10 // 保留 ver(2) BOX 组名- 总关数 第1关起始地址位置
11 // 0--3 4----- 5-7 8--23 24--27 28-------------31
12 //
13 // @ Flag 总步数 推箱子步数 保留- wide- high- data
14 // 0 1--- 2----5 6--------9 10-23 24-27 28-31 32..
15 // Flag: 最低位: 0:未通关 1:已通关
16 //
17 // 第1关起始地址 第2关起始地址. 最后一关起始地址
18 // 0-----------3 4-----------7. (文件最后四字节)
19 //
20 // steps/<group><level>.bxs 文件格式见 Step.cs
21 // 其中<level>为关数(1起始),最少四位,不足前补零
22 //
23 // text/<group>.bxa 文件格式
24 // 0 - land SPACE
25 // 1 + slot .
26 // 2 # wall #
27 // 3 % brick N/A
28 // 4 x box on land $
29 // 5 X box on slot *
30 // 6 ( man on land @
31 // 7 ) man on slot + .XSB 文件格式
32 // 第一行如果以!开头的话, 则为组名(不能超过16个字符)
33 // 以:开头的行为通关步骤, 格式同(.bxs)文件
34 // 以'开头的行为注释, 完全忽略
35 // 各关之间必须以空行分隔
36
37 /// <summary>
38 /// 管理数据文件: *.bxb *.bxa *.bxs
39 /// </summary>
40 sealed class DataFile : IDisposable
41 {
42 const byte DataVersion = 2; // 数据文件(.bxb)的版本
43 const byte LevelFlag = (byte)'@'; // 数据文件(.bxb)的关标志
44 const char RemChar = '\''; // 文本文件(.bxa)的注释
45 const char StepsChar = ':'; // 文本文件(.bxa)的通关步骤
46
47 FileStream fs; // 数据文件基础流
48 BinaryReader br; // 数据文件读取器
49 BinaryWriter bw; // 数据文件写入器
50 string groupName; // 当前组名称
51 int[] addrs; // 各关起始地址列表，最后一项为第1关起始地址位置
52 byte[,] map; // 当前关地图
53 int maxLevel; // 总关数
54 Size levelSize; // 当前关尺寸(以单元格为单位)
55 Point worker; // 当前工人位置(以单元格为单位)
56 int mans; // 工人数
57 int boxs; // 箱子数
58 int slots; // 槽数
59 int tasks; // 总任务数
60 int boths; // 已完成任务数
61 bool isFinished; // 是否曾经通关
62 int movedSteps; // 通关的总步数
63 int pushedSteps; // 通关的推箱子步数
64 string fileName { get { return Path.GetFileNameWithoutExtension(fs.Name); } } // 数据文件主名
65
66 public string GroupName { get { return groupName; } }
67 public int MaxLevel { get { return maxLevel; } }
68 public byte[,] Map { get { return map; } }
69 public Size LevelSize { get { return levelSize; } }
70 public bool IsFinished { get { return isFinished; } }
71 public int MovedSteps { get { return movedSteps; } }
72 public int PushedSteps { get { return pushedSteps; } }
73 public Point Worker { get { return worker; } }
74 public bool HasWorker { get { return mans != 0; } }
75 public int Boxs { get { return boxs; } }
76 public int Slots { get { return slots; } }
77 public int Tasks { get { return tasks; } }
78 public int Boths { get { return boths; } set { boths = value; } }
79
80 /// <summary>
81 /// 装入组数据
82 /// </summary>
83 /// <param name="name">组文件名</param>
84 public void LoadGroup(string name)
85 {
86 Dispose();
87 fs = new FileStream(Path.Combine(Pub.DataDirectory, name + Pub.DataExtName), FileMode.Open);
88 br = new BinaryReader(fs, Pub.Encode);
89 bw = new BinaryWriter(fs, Pub.Encode);
90 br.ReadInt32(); // 保留
91 if (br.ReadByte() != DataVersion) throw new Exception("数据文件版本错");
92 byte[] bs = br.ReadBytes(3); // 数据文件标志:BOX
93 for (int i = 0; i < bs.Length; i++) if (bs[i] != "BOX"[i]) throw new Exception("数据文件标志错");
94 bs = br.ReadBytes(16); // 组名
95 for (int i = 0; i < bs.Length; i++) if (bs[i] == 0) bs[i] = 32;
96 groupName = Pub.Encode.GetString(bs, 0, bs.Length).Trim();
97 if (groupName.Length == 0) groupName = fileName; // 如果数据文件中组名为空,则用数据文件主名代替
98 maxLevel = br.ReadInt32(); // 总关数
99 int addrPos = br.ReadInt32(); // 第1关起始地址位置
100 br.BaseStream.Seek(addrPos, SeekOrigin.Begin);
101 addrs = new int[maxLevel + 1]; // 各关起始地址列表，最后一项为第1关起始地址位置
102 for (int i = 0; i < maxLevel; i++) addrs[i] = br.ReadInt32();
103 addrs[maxLevel] = addrPos; // 第1关起始地址位置
104 if (addrPos + 4 * maxLevel != br.BaseStream.Length) throw new Exception("数据文件地址表必须位于数据最后");
105 }
106
107 /// <summary>
108 /// 装入关数据
109 /// </summary>
110 /// <param name="level">关数</param>
111 public void LoadLevel(int level)
112 {
113 LoadLevelHead(level);
114 InitMap();
115 for (int i = 1; i <= levelSize.Height; i++)
116 {
117 for (int j = 1; j <= levelSize.Width; j++)
118 {
119 map[i, j] = br.ReadByte();
120 UpdateCounts(j, i, true);
121 }
122 }
123 if (mans != 1) throw new Exception("读取关数据失败:必须刚好有一个工人");
124 tasks = Math.Min(boxs, slots);
125 }
126
127 /// <summary>
128 /// 新建一关
129 /// </summary>
130 /// <param name="isCopy">是否复制当前关</param>
131 /// <param name="size">新建关的尺寸</param>
132 public void NewLevel(bool isCopy, Size size)
133 {
134 Size levelSizeOem = levelSize;
135 byte[,] mapOem = isCopy ? (byte[,])map.Clone() : null;
136 levelSize = size;
137 InitMap();
138 for (int i = 1; i <= levelSize.Height; i++)
139 {
140 for (int j = 1; j <= levelSize.Width; j++)
141 {
142 map[i, j] = (isCopy && i <= levelSizeOem.Height && j <= levelSizeOem.Width) ? mapOem[i, j] : Block.Land;
143 UpdateCounts(j, i, true);
144 }
145 }
146 if (mans != 1 && mans != 0) throw new Exception("不能超过一个工人");
147 tasks = Math.Min(boxs, slots);
148 }
149
150 /// <summary>
151 /// 初始化地图
152 /// </summary>
153 private void InitMap()
154 {
155 map = new byte[levelSize.Height + 2, levelSize.Width + 2];
156 for (int i = 0; i <= levelSize.Height + 1; i++) map[i, 0] = map[i, levelSize.Width + 1] = Block.Wall;
157 for (int j = 0; j <= levelSize.Width + 1; j++) map[0, j] = map[levelSize.Height + 1, j] = Block.Wall;
158 mans = boxs = slots = boths = 0;
159 }
160
161 /// <summary>
162 /// 根据地图项目更新统计信息
163 /// </summary>
164 /// <param name="x">当前位置横坐标</param>
165 /// <param name="y">当前位置纵坐标</param>
166 /// <param name="isAdd">加或减</param>
167 public void UpdateCounts(int x, int y, bool isAdd)
168 {
169 int sign = isAdd ? 1 : -1;
170 if (Block.IsBox(map[y, x])) boxs += sign;
171 if (Block.IsSlot(map[y, x])) slots += sign;
172 if (Block.Box1 == map[y, x]) boths += sign;
173 if (Block.IsMan(map[y, x]))
174 {
175 mans += sign;
176 worker = isAdd ? new Point(x, y) : Point.Empty;
177 }
178 }
179
180 /// <summary>
181 /// 装入关数据头
182 /// </summary>
183 /// <param name="level">关数</param>
184 void LoadLevelHead(int level)
185 {
186 if (level > maxLevel - 1) throw new Exception(string.Format("当前关数({0})不能大于总关数({1})", level + 1, maxLevel));
187 br.BaseStream.Seek(addrs[level], SeekOrigin.Begin);
188 if (br.ReadByte() != LevelFlag) throw new Exception("关数据标志错");
189 isFinished = (br.ReadByte() & 1) == 1; // 是否曾经通关
190 movedSteps = br.ReadInt32(); // 通关的总步数
191 pushedSteps = br.ReadInt32(); // 通关的推箱子步数
192 br.ReadBytes(14); // 保留
193 levelSize.Width = br.ReadInt32();
194 levelSize.Height = br.ReadInt32();
195 }
196
197 /// <summary>
198 /// 更新当前关数据
199 /// </summary>
200 /// <param name="level">关数</param>
201 /// <param name="steps">通关步骤</param>
202 /// <param name="pushs">推箱子步数</param>
203 public void SaveLevel(int level, Step[] steps, int pushs)
204 {
205 SaveLevelHead(level, steps.Length, pushs);
206 SaveLevelSteps(level, Pub.ToString(steps));
207 LoadLevelHead(level);
208 }
209
210 /// <summary>
211 /// 更新当前关头数据
212 /// </summary>
213 /// <param name="level">关数</param>
214 /// <param name="moves">通关步数</param>
215 /// <param name="pushs">推箱子步数</param>
216 void SaveLevelHead(int level, int moves, int pushs)
217 {
218 if (level > maxLevel - 1) throw new Exception("关数太大");
219 bw.BaseStream.Seek(addrs[level] + 1, SeekOrigin.Begin);
220 bw.Write((byte)1); // 是否曾经通关
221 bw.Write(moves); // 通关的总步数
222 bw.Write(pushs); // 通关的推箱子步数
223 }
224
225 /// <summary>
226 /// 保存通关步骤
227 /// </summary>
228 /// <param name="level">关数</param>
229 /// <param name="steps">通关步骤</param>
230 void SaveLevelSteps(int level, string steps)
231 {
232 if (!Directory.Exists(Pub.StepsDirectory)) Directory.CreateDirectory(Pub.StepsDirectory);
233 Fcl.WriteAllText(GetStepsFileName(fileName, level), steps);
234 }
235
236 /// <summary>
237 /// 给出通关步骤
238 /// </summary>
239 /// <param name="level">关数</param>
240 /// <returns>通关步骤</returns>
241 public string GetSteps(int level)
242 {
243 return GetSteps(fileName, level);
244 }
245
246 string GetSteps(string name, int level)
247 {
248 return Fcl.ReadAllText(GetStepsFileName(name, level));
249 }
250
251 string GetStepsFileName(string name, int level)
252 {
253 return Path.Combine(Pub.StepsDirectory, name + (level + 1).ToString("D4") + Pub.StepsExtName);
254 }
255
256 /// <summary>
257 /// 删除通关步骤文件
258 /// </summary>
259 /// <param name="level">关数</param>
260 private void DeleteStepsFile(int level)
261 {
262 // 虽然 File.Delete(): 删除指定的文件。如果指定的文件不存在，则不引发异常。
263 // 但是: 如果指定的路径无效，还是会引发 DirectoryNotFoundException 异常。
264 // 所以需要先用 File.Exists() 判断一下文件是否存在
265 string name = GetStepsFileName(fileName, level);
266 if (File.Exists(name)) File.Delete(name);
267 }
268
269 /// <summary>
270 /// 保存设计数据
271 /// </summary>
272 /// <param name="isNew">是否新建</param>
273 /// <param name="level">要保存的关数</param>
274 public void SaveDesign(bool isNew, int level)
275 {
276 if (isNew && level != maxLevel) throw new Exception("新建的关必须在最后一关之后");
277 bw.BaseStream.Seek(addrs[level], SeekOrigin.Begin);
278 WriteLevel(level, string.Empty); // 如果不是新建,则关尺寸不能比原来的大
279 if (isNew)
280 {
281 Fcl.Resize(ref addrs, addrs.Length + 1);
282 addrs[++maxLevel] = (int)bw.BaseStream.Position;
283 WriteAddrs();
284 }
285 DeleteStepsFile(level); // 删除通关步骤文件
286 }
287
288 /// <summary>
289 /// 删除最后一关
290 /// </summary>
291 /// <param name="level">关数(必须是最后一关)</param>
292 public void DeleteLastLevel(int level)
293 {
294 if (level != maxLevel - 1) throw new Exception("要删除的关必须是最后一关");
295 DeleteLevel(level);
296 DeleteStepsFile(level); // 删除通关步骤文件,如果被删除的关不是最后一关,以后各关的通关步骤文件就不对了
297 }
298
299 /// <summary>
300 /// 删除指定的关
301 /// </summary>
302 /// <param name="level">关数</param>
303 void DeleteLevel(int level)
304 {
305 for (int i = level + 1; i <= maxLevel; i++) addrs[i - 1] = addrs[i]; // 之后的关起始地址前移
306 --maxLevel; // 更新总关数
307 WriteAddrs();
308 }
309
310 /// <summary>
311 /// 更新各关起始地址列表及总关数和第1关起始地址位置
312 /// </summary>
313 private void WriteAddrs()
314 {
315 bw.Seek(addrs[maxLevel], SeekOrigin.Begin);
316 for (int i = 0; i < maxLevel; i++) bw.Write(addrs[i]); // 各关起始地址
317 bw.BaseStream.SetLength(bw.BaseStream.Position); // 关起始地址列表位于数据文件最后, 用于删除关的情况
318 bw.Seek(24, SeekOrigin.Begin);
319 bw.Write(maxLevel); // 总关数
320 bw.Write(addrs[maxLevel]); // 第1关起始地址位置
321 }
322
323 /// <summary>
324 /// 更新组名
325 /// </summary>
326 void WriteGroupName()
327 {
328 byte[] bs = new byte[16];
329 byte[] bn = Pub.Encode.GetBytes(groupName);
330 for (int i = 0; i < bs.Length && i < bn.Length; i++) bs[i] = bn[i];
331 for (int i = bn.Length; i < bs.Length; i++) bs[i] = 32;
332 bw.Seek(8, SeekOrigin.Begin);
333 bw.Write(bs); // 组名
334 }
335
336 /// <summary>
337 /// 写关数据和通关步骤
338 /// 注意:调用本函数前必须定位到数据文件的正确位置
339 /// </summary>
340 /// <param name="level">关数</param>
341 /// <param name="steps">通关步骤</param>
342 /// <returns>本关的统计信息</returns>
343 string WriteLevel(int level, string steps)
344 {
345 bw.Write(LevelFlag); // 关标志
346 bw.Write((byte)(string.IsNullOrEmpty(steps) ? 0 : 1)); // 标志:是否已通关
347 bw.Write(steps.Length); // 总步数
348 bw.Write(GetPushSteps(steps)); // 推箱子步数
349 bw.Write(new byte[14]); // 保留
350 bw.Write(levelSize.Width); // 当前关宽度
351 bw.Write(levelSize.Height); // 当前关高度
352 mans = slots = boxs = 0;
353 int lands = 0, walls = 0, bricks = 0;
354 for (int i = 1; i <= levelSize.Height; i++)
355 {
356 for (int j = 1; j <= levelSize.Width; j++)
357 {
358 bw.Write(map[i, j]);
359 switch (map[i, j])
360 {
361 case Block.Land: lands++; break;
362 case Block.Slot: slots++; break;
363 case Block.Wall: walls++; break;
364 case Block.Brick: bricks++; break;
365 case Block.Box0: lands++; boxs++; break;
366 case Block.Box1: slots++; boxs++; break;
367 case Block.Man0: lands++; mans++; break;
368 case Block.Man1: slots++; mans++; break;
369 }
370 }
371 }
372 if (mans != 1) ErrorExit(true, level + 1, "必须刚好有一个工人");
373 if (!string.IsNullOrEmpty(steps)) SaveLevelSteps(level, steps);
374 return string.Format("{1}: {2} {3} {4} {5} {6} {7} {8}{0}",
375 Fcl.NewLine, level + 1, Pub.ToString(levelSize), walls, bricks, lands, slots, boxs, steps.Length);
376 }
377
378 /// <summary>
379 /// 根据通关步骤给出推箱子步数
380 /// </summary>
381 /// <param name="steps">通关步骤</param>
382 /// <returns>推箱子步数</returns>
383 int GetPushSteps(string steps)
384 {
385 int n = 0;
386 foreach (char c in steps) if (((Step)c).IsBox) n++;
387 return n;
388 }
389
390 /// <summary>
391 /// 数据导入
392 /// </summary>
393 /// <param name="name">数据文件主名</param>
394 /// <param name="maxLevelSize">最大关尺寸</param>
395 /// <param name="tbxMsg">显示相关信息的文本框</param>
396 public void Import(string name, int maxLevelSize, TextBox tbxMsg)
397 {
398 try
399 {
400 tbxMsg.Text = string.Format("{1} => {2}{0}", Fcl.NewLine, name + Pub.TextExtName, name + Pub.DataExtName);
401 if (!Directory.Exists(Pub.DataDirectory)) Directory.CreateDirectory(Pub.DataDirectory);
402 using (StreamReader sr = new StreamReader(Path.Combine(Pub.TextDirectory, name + Pub.TextExtName), Pub.Encode))
403 {
404 Dispose();
405 fs = new FileStream(Path.Combine(Pub.DataDirectory, name + Pub.DataExtName), FileMode.Create, FileAccess.Write);
406 bw = new BinaryWriter(fs, Pub.Encode);
407 byte[] buf = new byte[32];
408 buf[4] = DataVersion;
409 buf[5] = (byte)'B';
410 buf[6] = (byte)'O';
411 buf[7] = (byte)'X';
412 bw.Write(buf);
413 map = new byte[maxLevelSize + 2, maxLevelSize + 2];
414 List<int> addrList = new List<int>(); // 各关起始地址列表，最后一项为第1关起始地址位置
415 addrList.Add((int)bw.BaseStream.Position); // 第1关起始地址
416 groupName = name; // 组名
417 int level = 0;
418 levelSize = Size.Empty;
419 string steps = ""; // 通关步骤
420 bool isFirst = true;
421 for (int line = 1; ; line++)
422 {
423 string s = sr.ReadLine();
424 if (s != null) s = s.Trim();
425 if (line == 1 && s != null && s.Length > 0 && s[0] == '!')
426 {
427 groupName = s.Substring(1).Trim();
428 tbxMsg.Text += "组名: [" + groupName + "]" + Fcl.NewLine;
429 continue;
430 }
431 if (isFirst)
432 {
433 isFirst = false;
434 tbxMsg.Text += "#: 宽x高 墙 砖 地 槽 箱 通关步数" + Fcl.NewLine;
435 }
436 if ((s == null || s.Length == 0) && levelSize != Size.Empty)
437 {
438 tbxMsg.Text += WriteLevel(level, steps);
439 addrList.Add((int)bw.BaseStream.Position); // 下一关起始地址
440 level++;
441 levelSize = Size.Empty;
442 steps = "";
443 }
444 if (s == null) break;
445 if (s.Length == 0 || s[0] == RemChar) continue;
446 if (s[0] == StepsChar)
447 {
448 steps = s.Substring(1).Trim(); // 通关步骤
449 continue;
450 }
451 levelSize.Height++;
452 if (levelSize.Height == 1) levelSize.Width = s.Length;
453 else if (levelSize.Width != s.Length) ErrorExit(false, line, "宽度不齐");
454 if (levelSize.Width > maxLevelSize) ErrorExit(false, line, GetMessage("宽度太大", true));
455 if (levelSize.Height > maxLevelSize) ErrorExit(false, line, GetMessage("高度太大", true));
456 for (int i = 0; i < levelSize.Width; i++)
457 if (!Block.IsBlock(map[levelSize.Height, i + 1] = Block.GetByte(s[i])))
458 ErrorExit(false, line, "非法字符:[" + s[i] + "]");
459 }
460 addrs = addrList.ToArray();
461 maxLevel = level;
462 WriteAddrs();
463 WriteGroupName();
464 }
465 }
466 catch (OutOfMemoryException ex)
467 {
468 throw new Exception(GetMessage("内存不足", false), ex);
469 }
470 finally
471 {
472 Dispose();
473 }
474 tbxMsg.Text += "导入完成";
475 }
476
477 string GetMessage(string msg1, bool isIncrease)
478 {
479 return msg1 + "，请在“菜单 -> 选项”对话框中" + (isIncrease ? "增加" : "减少") +"“最大关尺寸”";
480 }
481
482 /// <summary>
483 /// 数据导出
484 /// </summary>
485 /// <param name="name">数据文件主名</param>
486 /// <param name="tbxMsg">显示相关信息的文本框</param>
487 public void Export(string name, TextBox tbxMsg)
488 {
489 try
490 {
491 tbxMsg.Text = string.Format("{1} => {2}{0}", Fcl.NewLine, name + Pub.DataExtName, name + Pub.TextExtName);
492 LoadGroup(name);
493 if (!Directory.Exists(Pub.TextDirectory)) Directory.CreateDirectory(Pub.TextDirectory);
494 using (StreamWriter sw = new StreamWriter(
495 Path.Combine(Pub.TextDirectory, name + Pub.TextExtName), false, Pub.Encode))
496 {
497 sw.WriteLine("! {0}", groupName);
498 tbxMsg.Text += "组名: [" + groupName + "]" + Fcl.NewLine;
499 tbxMsg.Text += "#: 宽x高 总任务数 通关步数" + Fcl.NewLine;
500 for (int level = 0; level < maxLevel; level++)
501 {
502 LoadLevel(level);
503 sw.WriteLine("{0}[{1}]", RemChar, level + 1); // 注释:第几关
504 for (int y = 0; y < levelSize.Height; y++)
505 {
506 for (int x = 0; x < levelSize.Width; x++) sw.Write(Block.GetChar(map[y + 1, x + 1]));
507 sw.WriteLine();
508 }
509 string steps = GetSteps(name, level); // 通关步骤
510 if (!string.IsNullOrEmpty(steps)) sw.WriteLine(StepsChar + steps);
511 sw.WriteLine();
512 tbxMsg.Text += string.Format("{1}: {2} {3} {4}{0}",
513 Fcl.NewLine, level + 1, Pub.ToString(levelSize), tasks, steps.Length);
514 }
515 }
516 }
517 finally
518 {
519 Dispose();
520 }
521 tbxMsg.Text += "导出完成";
522 }
523
524 void ErrorExit(bool isLevel, int idx, string msg)
525 {
526 throw new Exception(string.Format("错误:第{0}{1}:{2}", idx, isLevel ? "关" : "行", msg));
527 }
528
529 public void Dispose()
530 {
531 if (br != null) br.Close();
532 if (bw != null) bw.Close();
533 if (fs != null) fs.Close();
534 br = null;
535 bw = null;
536 fs = null;
537 }
538 }
539 }
540
2 using System.IO;
3 using System.Drawing;
4 using System.Collections.Generic;
5 using System.Windows.Forms;
6
7 namespace Skyiv.Ben.PushBox.Common
8 {
9 // data/<group>.bxb 文件格式
10 // 保留 ver(2) BOX 组名- 总关数 第1关起始地址位置
11 // 0--3 4----- 5-7 8--23 24--27 28-------------31
12 //
13 // @ Flag 总步数 推箱子步数 保留- wide- high- data
14 // 0 1--- 2----5 6--------9 10-23 24-27 28-31 32
..15 // Flag: 最低位: 0:未通关 1:已通关
16 //
17 // 第1关起始地址 第2关起始地址
. 最后一关起始地址18 // 0-----------3 4-----------7
. (文件最后四字节)19 //
20 // steps/<group><level>.bxs 文件格式见 Step.cs
21 // 其中<level>为关数(1起始),最少四位,不足前补零
22 //
23 // text/<group>.bxa 文件格式
24 // 0 - land SPACE
25 // 1 + slot .
26 // 2 # wall #
27 // 3 % brick N/A
28 // 4 x box on land $
29 // 5 X box on slot *
30 // 6 ( man on land @
31 // 7 ) man on slot + .XSB 文件格式
32 // 第一行如果以!开头的话, 则为组名(不能超过16个字符)
33 // 以:开头的行为通关步骤, 格式同(.bxs)文件
34 // 以'开头的行为注释, 完全忽略
35 // 各关之间必须以空行分隔
36
37 /// <summary>
38 /// 管理数据文件: *.bxb *.bxa *.bxs
39 /// </summary>
40 sealed class DataFile : IDisposable
41 {
42 const byte DataVersion = 2; // 数据文件(.bxb)的版本
43 const byte LevelFlag = (byte)'@'; // 数据文件(.bxb)的关标志
44 const char RemChar = '\''; // 文本文件(.bxa)的注释
45 const char StepsChar = ':'; // 文本文件(.bxa)的通关步骤
46
47 FileStream fs; // 数据文件基础流
48 BinaryReader br; // 数据文件读取器
49 BinaryWriter bw; // 数据文件写入器
50 string groupName; // 当前组名称
51 int[] addrs; // 各关起始地址列表，最后一项为第1关起始地址位置
52 byte[,] map; // 当前关地图
53 int maxLevel; // 总关数
54 Size levelSize; // 当前关尺寸(以单元格为单位)
55 Point worker; // 当前工人位置(以单元格为单位)
56 int mans; // 工人数
57 int boxs; // 箱子数
58 int slots; // 槽数
59 int tasks; // 总任务数
60 int boths; // 已完成任务数
61 bool isFinished; // 是否曾经通关
62 int movedSteps; // 通关的总步数
63 int pushedSteps; // 通关的推箱子步数
64 string fileName { get { return Path.GetFileNameWithoutExtension(fs.Name); } } // 数据文件主名
65
66 public string GroupName { get { return groupName; } }
67 public int MaxLevel { get { return maxLevel; } }
68 public byte[,] Map { get { return map; } }
69 public Size LevelSize { get { return levelSize; } }
70 public bool IsFinished { get { return isFinished; } }
71 public int MovedSteps { get { return movedSteps; } }
72 public int PushedSteps { get { return pushedSteps; } }
73 public Point Worker { get { return worker; } }
74 public bool HasWorker { get { return mans != 0; } }
75 public int Boxs { get { return boxs; } }
76 public int Slots { get { return slots; } }
77 public int Tasks { get { return tasks; } }
78 public int Boths { get { return boths; } set { boths = value; } }
79
80 /// <summary>
81 /// 装入组数据
82 /// </summary>
83 /// <param name="name">组文件名</param>
84 public void LoadGroup(string name)
85 {
86 Dispose();
87 fs = new FileStream(Path.Combine(Pub.DataDirectory, name + Pub.DataExtName), FileMode.Open);
88 br = new BinaryReader(fs, Pub.Encode);
89 bw = new BinaryWriter(fs, Pub.Encode);
90 br.ReadInt32(); // 保留
91 if (br.ReadByte() != DataVersion) throw new Exception("数据文件版本错");
92 byte[] bs = br.ReadBytes(3); // 数据文件标志:BOX
93 for (int i = 0; i < bs.Length; i++) if (bs[i] != "BOX"[i]) throw new Exception("数据文件标志错");
94 bs = br.ReadBytes(16); // 组名
95 for (int i = 0; i < bs.Length; i++) if (bs[i] == 0) bs[i] = 32;
96 groupName = Pub.Encode.GetString(bs, 0, bs.Length).Trim();
97 if (groupName.Length == 0) groupName = fileName; // 如果数据文件中组名为空,则用数据文件主名代替
98 maxLevel = br.ReadInt32(); // 总关数
99 int addrPos = br.ReadInt32(); // 第1关起始地址位置
100 br.BaseStream.Seek(addrPos, SeekOrigin.Begin);
101 addrs = new int[maxLevel + 1]; // 各关起始地址列表，最后一项为第1关起始地址位置
102 for (int i = 0; i < maxLevel; i++) addrs[i] = br.ReadInt32();
103 addrs[maxLevel] = addrPos; // 第1关起始地址位置
104 if (addrPos + 4 * maxLevel != br.BaseStream.Length) throw new Exception("数据文件地址表必须位于数据最后");
105 }
106
107 /// <summary>
108 /// 装入关数据
109 /// </summary>
110 /// <param name="level">关数</param>
111 public void LoadLevel(int level)
112 {
113 LoadLevelHead(level);
114 InitMap();
115 for (int i = 1; i <= levelSize.Height; i++)
116 {
117 for (int j = 1; j <= levelSize.Width; j++)
118 {
119 map[i, j] = br.ReadByte();
120 UpdateCounts(j, i, true);
121 }
122 }
123 if (mans != 1) throw new Exception("读取关数据失败:必须刚好有一个工人");
124 tasks = Math.Min(boxs, slots);
125 }
126
127 /// <summary>
128 /// 新建一关
129 /// </summary>
130 /// <param name="isCopy">是否复制当前关</param>
131 /// <param name="size">新建关的尺寸</param>
132 public void NewLevel(bool isCopy, Size size)
133 {
134 Size levelSizeOem = levelSize;
135 byte[,] mapOem = isCopy ? (byte[,])map.Clone() : null;
136 levelSize = size;
137 InitMap();
138 for (int i = 1; i <= levelSize.Height; i++)
139 {
140 for (int j = 1; j <= levelSize.Width; j++)
141 {
142 map[i, j] = (isCopy && i <= levelSizeOem.Height && j <= levelSizeOem.Width) ? mapOem[i, j] : Block.Land;
143 UpdateCounts(j, i, true);
144 }
145 }
146 if (mans != 1 && mans != 0) throw new Exception("不能超过一个工人");
147 tasks = Math.Min(boxs, slots);
148 }
149
150 /// <summary>
151 /// 初始化地图
152 /// </summary>
153 private void InitMap()
154 {
155 map = new byte[levelSize.Height + 2, levelSize.Width + 2];
156 for (int i = 0; i <= levelSize.Height + 1; i++) map[i, 0] = map[i, levelSize.Width + 1] = Block.Wall;
157 for (int j = 0; j <= levelSize.Width + 1; j++) map[0, j] = map[levelSize.Height + 1, j] = Block.Wall;
158 mans = boxs = slots = boths = 0;
159 }
160
161 /// <summary>
162 /// 根据地图项目更新统计信息
163 /// </summary>
164 /// <param name="x">当前位置横坐标</param>
165 /// <param name="y">当前位置纵坐标</param>
166 /// <param name="isAdd">加或减</param>
167 public void UpdateCounts(int x, int y, bool isAdd)
168 {
169 int sign = isAdd ? 1 : -1;
170 if (Block.IsBox(map[y, x])) boxs += sign;
171 if (Block.IsSlot(map[y, x])) slots += sign;
172 if (Block.Box1 == map[y, x]) boths += sign;
173 if (Block.IsMan(map[y, x]))
174 {
175 mans += sign;
176 worker = isAdd ? new Point(x, y) : Point.Empty;
177 }
178 }
179
180 /// <summary>
181 /// 装入关数据头
182 /// </summary>
183 /// <param name="level">关数</param>
184 void LoadLevelHead(int level)
185 {
186 if (level > maxLevel - 1) throw new Exception(string.Format("当前关数({0})不能大于总关数({1})", level + 1, maxLevel));
187 br.BaseStream.Seek(addrs[level], SeekOrigin.Begin);
188 if (br.ReadByte() != LevelFlag) throw new Exception("关数据标志错");
189 isFinished = (br.ReadByte() & 1) == 1; // 是否曾经通关
190 movedSteps = br.ReadInt32(); // 通关的总步数
191 pushedSteps = br.ReadInt32(); // 通关的推箱子步数
192 br.ReadBytes(14); // 保留
193 levelSize.Width = br.ReadInt32();
194 levelSize.Height = br.ReadInt32();
195 }
196
197 /// <summary>
198 /// 更新当前关数据
199 /// </summary>
200 /// <param name="level">关数</param>
201 /// <param name="steps">通关步骤</param>
202 /// <param name="pushs">推箱子步数</param>
203 public void SaveLevel(int level, Step[] steps, int pushs)
204 {
205 SaveLevelHead(level, steps.Length, pushs);
206 SaveLevelSteps(level, Pub.ToString(steps));
207 LoadLevelHead(level);
208 }
209
210 /// <summary>
211 /// 更新当前关头数据
212 /// </summary>
213 /// <param name="level">关数</param>
214 /// <param name="moves">通关步数</param>
215 /// <param name="pushs">推箱子步数</param>
216 void SaveLevelHead(int level, int moves, int pushs)
217 {
218 if (level > maxLevel - 1) throw new Exception("关数太大");
219 bw.BaseStream.Seek(addrs[level] + 1, SeekOrigin.Begin);
220 bw.Write((byte)1); // 是否曾经通关
221 bw.Write(moves); // 通关的总步数
222 bw.Write(pushs); // 通关的推箱子步数
223 }
224
225 /// <summary>
226 /// 保存通关步骤
227 /// </summary>
228 /// <param name="level">关数</param>
229 /// <param name="steps">通关步骤</param>
230 void SaveLevelSteps(int level, string steps)
231 {
232 if (!Directory.Exists(Pub.StepsDirectory)) Directory.CreateDirectory(Pub.StepsDirectory);
233 Fcl.WriteAllText(GetStepsFileName(fileName, level), steps);
234 }
235
236 /// <summary>
237 /// 给出通关步骤
238 /// </summary>
239 /// <param name="level">关数</param>
240 /// <returns>通关步骤</returns>
241 public string GetSteps(int level)
242 {
243 return GetSteps(fileName, level);
244 }
245
246 string GetSteps(string name, int level)
247 {
248 return Fcl.ReadAllText(GetStepsFileName(name, level));
249 }
250
251 string GetStepsFileName(string name, int level)
252 {
253 return Path.Combine(Pub.StepsDirectory, name + (level + 1).ToString("D4") + Pub.StepsExtName);
254 }
255
256 /// <summary>
257 /// 删除通关步骤文件
258 /// </summary>
259 /// <param name="level">关数</param>
260 private void DeleteStepsFile(int level)
261 {
262 // 虽然 File.Delete(): 删除指定的文件。如果指定的文件不存在，则不引发异常。
263 // 但是: 如果指定的路径无效，还是会引发 DirectoryNotFoundException 异常。
264 // 所以需要先用 File.Exists() 判断一下文件是否存在
265 string name = GetStepsFileName(fileName, level);
266 if (File.Exists(name)) File.Delete(name);
267 }
268
269 /// <summary>
270 /// 保存设计数据
271 /// </summary>
272 /// <param name="isNew">是否新建</param>
273 /// <param name="level">要保存的关数</param>
274 public void SaveDesign(bool isNew, int level)
275 {
276 if (isNew && level != maxLevel) throw new Exception("新建的关必须在最后一关之后");
277 bw.BaseStream.Seek(addrs[level], SeekOrigin.Begin);
278 WriteLevel(level, string.Empty); // 如果不是新建,则关尺寸不能比原来的大
279 if (isNew)
280 {
281 Fcl.Resize(ref addrs, addrs.Length + 1);
282 addrs[++maxLevel] = (int)bw.BaseStream.Position;
283 WriteAddrs();
284 }
285 DeleteStepsFile(level); // 删除通关步骤文件
286 }
287
288 /// <summary>
289 /// 删除最后一关
290 /// </summary>
291 /// <param name="level">关数(必须是最后一关)</param>
292 public void DeleteLastLevel(int level)
293 {
294 if (level != maxLevel - 1) throw new Exception("要删除的关必须是最后一关");
295 DeleteLevel(level);
296 DeleteStepsFile(level); // 删除通关步骤文件,如果被删除的关不是最后一关,以后各关的通关步骤文件就不对了
297 }
298
299 /// <summary>
300 /// 删除指定的关
301 /// </summary>
302 /// <param name="level">关数</param>
303 void DeleteLevel(int level)
304 {
305 for (int i = level + 1; i <= maxLevel; i++) addrs[i - 1] = addrs[i]; // 之后的关起始地址前移
306 --maxLevel; // 更新总关数
307 WriteAddrs();
308 }
309
310 /// <summary>
311 /// 更新各关起始地址列表及总关数和第1关起始地址位置
312 /// </summary>
313 private void WriteAddrs()
314 {
315 bw.Seek(addrs[maxLevel], SeekOrigin.Begin);
316 for (int i = 0; i < maxLevel; i++) bw.Write(addrs[i]); // 各关起始地址
317 bw.BaseStream.SetLength(bw.BaseStream.Position); // 关起始地址列表位于数据文件最后, 用于删除关的情况
318 bw.Seek(24, SeekOrigin.Begin);
319 bw.Write(maxLevel); // 总关数
320 bw.Write(addrs[maxLevel]); // 第1关起始地址位置
321 }
322
323 /// <summary>
324 /// 更新组名
325 /// </summary>
326 void WriteGroupName()
327 {
328 byte[] bs = new byte[16];
329 byte[] bn = Pub.Encode.GetBytes(groupName);
330 for (int i = 0; i < bs.Length && i < bn.Length; i++) bs[i] = bn[i];
331 for (int i = bn.Length; i < bs.Length; i++) bs[i] = 32;
332 bw.Seek(8, SeekOrigin.Begin);
333 bw.Write(bs); // 组名
334 }
335
336 /// <summary>
337 /// 写关数据和通关步骤
338 /// 注意:调用本函数前必须定位到数据文件的正确位置
339 /// </summary>
340 /// <param name="level">关数</param>
341 /// <param name="steps">通关步骤</param>
342 /// <returns>本关的统计信息</returns>
343 string WriteLevel(int level, string steps)
344 {
345 bw.Write(LevelFlag); // 关标志
346 bw.Write((byte)(string.IsNullOrEmpty(steps) ? 0 : 1)); // 标志:是否已通关
347 bw.Write(steps.Length); // 总步数
348 bw.Write(GetPushSteps(steps)); // 推箱子步数
349 bw.Write(new byte[14]); // 保留
350 bw.Write(levelSize.Width); // 当前关宽度
351 bw.Write(levelSize.Height); // 当前关高度
352 mans = slots = boxs = 0;
353 int lands = 0, walls = 0, bricks = 0;
354 for (int i = 1; i <= levelSize.Height; i++)
355 {
356 for (int j = 1; j <= levelSize.Width; j++)
357 {
358 bw.Write(map[i, j]);
359 switch (map[i, j])
360 {
361 case Block.Land: lands++; break;
362 case Block.Slot: slots++; break;
363 case Block.Wall: walls++; break;
364 case Block.Brick: bricks++; break;
365 case Block.Box0: lands++; boxs++; break;
366 case Block.Box1: slots++; boxs++; break;
367 case Block.Man0: lands++; mans++; break;
368 case Block.Man1: slots++; mans++; break;
369 }
370 }
371 }
372 if (mans != 1) ErrorExit(true, level + 1, "必须刚好有一个工人");
373 if (!string.IsNullOrEmpty(steps)) SaveLevelSteps(level, steps);
374 return string.Format("{1}: {2} {3} {4} {5} {6} {7} {8}{0}",
375 Fcl.NewLine, level + 1, Pub.ToString(levelSize), walls, bricks, lands, slots, boxs, steps.Length);
376 }
377
378 /// <summary>
379 /// 根据通关步骤给出推箱子步数
380 /// </summary>
381 /// <param name="steps">通关步骤</param>
382 /// <returns>推箱子步数</returns>
383 int GetPushSteps(string steps)
384 {
385 int n = 0;
386 foreach (char c in steps) if (((Step)c).IsBox) n++;
387 return n;
388 }
389
390 /// <summary>
391 /// 数据导入
392 /// </summary>
393 /// <param name="name">数据文件主名</param>
394 /// <param name="maxLevelSize">最大关尺寸</param>
395 /// <param name="tbxMsg">显示相关信息的文本框</param>
396 public void Import(string name, int maxLevelSize, TextBox tbxMsg)
397 {
398 try
399 {
400 tbxMsg.Text = string.Format("{1} => {2}{0}", Fcl.NewLine, name + Pub.TextExtName, name + Pub.DataExtName);
401 if (!Directory.Exists(Pub.DataDirectory)) Directory.CreateDirectory(Pub.DataDirectory);
402 using (StreamReader sr = new StreamReader(Path.Combine(Pub.TextDirectory, name + Pub.TextExtName), Pub.Encode))
403 {
404 Dispose();
405 fs = new FileStream(Path.Combine(Pub.DataDirectory, name + Pub.DataExtName), FileMode.Create, FileAccess.Write);
406 bw = new BinaryWriter(fs, Pub.Encode);
407 byte[] buf = new byte[32];
408 buf[4] = DataVersion;
409 buf[5] = (byte)'B';
410 buf[6] = (byte)'O';
411 buf[7] = (byte)'X';
412 bw.Write(buf);
413 map = new byte[maxLevelSize + 2, maxLevelSize + 2];
414 List<int> addrList = new List<int>(); // 各关起始地址列表，最后一项为第1关起始地址位置
415 addrList.Add((int)bw.BaseStream.Position); // 第1关起始地址
416 groupName = name; // 组名
417 int level = 0;
418 levelSize = Size.Empty;
419 string steps = ""; // 通关步骤
420 bool isFirst = true;
421 for (int line = 1; ; line++)
422 {
423 string s = sr.ReadLine();
424 if (s != null) s = s.Trim();
425 if (line == 1 && s != null && s.Length > 0 && s[0] == '!')
426 {
427 groupName = s.Substring(1).Trim();
428 tbxMsg.Text += "组名: [" + groupName + "]" + Fcl.NewLine;
429 continue;
430 }
431 if (isFirst)
432 {
433 isFirst = false;
434 tbxMsg.Text += "#: 宽x高 墙 砖 地 槽 箱 通关步数" + Fcl.NewLine;
435 }
436 if ((s == null || s.Length == 0) && levelSize != Size.Empty)
437 {
438 tbxMsg.Text += WriteLevel(level, steps);
439 addrList.Add((int)bw.BaseStream.Position); // 下一关起始地址
440 level++;
441 levelSize = Size.Empty;
442 steps = "";
443 }
444 if (s == null) break;
445 if (s.Length == 0 || s[0] == RemChar) continue;
446 if (s[0] == StepsChar)
447 {
448 steps = s.Substring(1).Trim(); // 通关步骤
449 continue;
450 }
451 levelSize.Height++;
452 if (levelSize.Height == 1) levelSize.Width = s.Length;
453 else if (levelSize.Width != s.Length) ErrorExit(false, line, "宽度不齐");
454 if (levelSize.Width > maxLevelSize) ErrorExit(false, line, GetMessage("宽度太大", true));
455 if (levelSize.Height > maxLevelSize) ErrorExit(false, line, GetMessage("高度太大", true));
456 for (int i = 0; i < levelSize.Width; i++)
457 if (!Block.IsBlock(map[levelSize.Height, i + 1] = Block.GetByte(s[i])))
458 ErrorExit(false, line, "非法字符:[" + s[i] + "]");
459 }
460 addrs = addrList.ToArray();
461 maxLevel = level;
462 WriteAddrs();
463 WriteGroupName();
464 }
465 }
466 catch (OutOfMemoryException ex)
467 {
468 throw new Exception(GetMessage("内存不足", false), ex);
469 }
470 finally
471 {
472 Dispose();
473 }
474 tbxMsg.Text += "导入完成";
475 }
476
477 string GetMessage(string msg1, bool isIncrease)
478 {
479 return msg1 + "，请在“菜单 -> 选项”对话框中" + (isIncrease ? "增加" : "减少") +"“最大关尺寸”";
480 }
481
482 /// <summary>
483 /// 数据导出
484 /// </summary>
485 /// <param name="name">数据文件主名</param>
486 /// <param name="tbxMsg">显示相关信息的文本框</param>
487 public void Export(string name, TextBox tbxMsg)
488 {
489 try
490 {
491 tbxMsg.Text = string.Format("{1} => {2}{0}", Fcl.NewLine, name + Pub.DataExtName, name + Pub.TextExtName);
492 LoadGroup(name);
493 if (!Directory.Exists(Pub.TextDirectory)) Directory.CreateDirectory(Pub.TextDirectory);
494 using (StreamWriter sw = new StreamWriter(
495 Path.Combine(Pub.TextDirectory, name + Pub.TextExtName), false, Pub.Encode))
496 {
497 sw.WriteLine("! {0}", groupName);
498 tbxMsg.Text += "组名: [" + groupName + "]" + Fcl.NewLine;
499 tbxMsg.Text += "#: 宽x高 总任务数 通关步数" + Fcl.NewLine;
500 for (int level = 0; level < maxLevel; level++)
501 {
502 LoadLevel(level);
503 sw.WriteLine("{0}[{1}]", RemChar, level + 1); // 注释:第几关
504 for (int y = 0; y < levelSize.Height; y++)
505 {
506 for (int x = 0; x < levelSize.Width; x++) sw.Write(Block.GetChar(map[y + 1, x + 1]));
507 sw.WriteLine();
508 }
509 string steps = GetSteps(name, level); // 通关步骤
510 if (!string.IsNullOrEmpty(steps)) sw.WriteLine(StepsChar + steps);
511 sw.WriteLine();
512 tbxMsg.Text += string.Format("{1}: {2} {3} {4}{0}",
513 Fcl.NewLine, level + 1, Pub.ToString(levelSize), tasks, steps.Length);
514 }
515 }
516 }
517 finally
518 {
519 Dispose();
520 }
521 tbxMsg.Text += "导出完成";
522 }
523
524 void ErrorExit(bool isLevel, int idx, string msg)
525 {
526 throw new Exception(string.Format("错误:第{0}{1}:{2}", idx, isLevel ? "关" : "行", msg));
527 }
528
529 public void Dispose()
530 {
531 if (br != null) br.Close();
532 if (bw != null) bw.Close();
533 if (fs != null) fs.Close();
534 br = null;
535 bw = null;
536 fs = null;
537 }
538 }
539 }
540
上一篇：使用 C# 开发智能手机软件：推箱子(九)
下一篇：使用 C# 开发智能手机软件：推箱子(十一)
返回目录
