blob: 5c7c912ba6290ab06858c5f1f31948e3b077be5e (
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
|
using System;
using System.Collections.Generic;
using System.Text;
using System.Windows.Forms;
namespace BCDD
{
class Program
{
[STAThread]
static void Main(string[] args)
{
OpenFileDialog fd = new OpenFileDialog();
fd.Multiselect = true;
if (fd.ShowDialog() == DialogResult.OK)
{
foreach (String filename in fd.FileNames)
{
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();
}
}
}
}
|