blob: 56118422213d9a5a7f1394e7ec8c674b6e249e28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
using System;
using System.Collections.Generic;
using System.Text;
using System.Windows.Forms;
using System.IO;
namespace BCDD
{
class Program
{
static List<String> getFiles(string[] args)
{
List<String> filenames = new List<String>();
foreach (String arg in args)
{
if (File.Exists(arg))
{
filenames.Add(arg);
}
}
if (filenames.Count == 0)
{
OpenFileDialog fd = new OpenFileDialog();
fd.Multiselect = true;
if (fd.ShowDialog() == DialogResult.OK)
{
filenames = new List<String>(fd.FileNames);
}
}
return filenames;
}
[STAThread]
static void Main(string[] args)
{
foreach (String filename in Program.getFiles(args))
{
Console.WriteLine("Analyzing " + filename);
PBNFile file = new PBNFile(filename);
foreach (PBNBoard board in file.Boards)
{
DDTable table = new DDTable(board);
String boardNo;
try
{
boardNo = board.GetNumber();
}
catch (FieldNotFoundException)
{
boardNo = "?";
}
try
{
int[,] ddTable = table.GetDDTable();
if (ddTable != null)
{
Console.WriteLine("Board " + boardNo);
DDTable.PrintTable(ddTable);
ParScore par = new ParScore(board);
ParContract contract = par.GetParContract(ddTable);
Console.WriteLine(contract);
Console.WriteLine();
board.SaveDDTable(ddTable);
board.SaveParContract(contract);
file.WriteBoard(board);
}
else
{
Console.WriteLine("ERROR: unable to determine DD table for board " + boardNo);
}
}
catch (Exception e)
{
Console.WriteLine(e.Message);
Console.WriteLine(e.StackTrace);
}
}
file.Save();
}
Console.WriteLine("Press any key to continue...");
Console.ReadLine();
}
}
}
|
