src/de/uapcore/sudoku/DocumentHandler.java

Fri, 01 Feb 2013 10:18:47 +0100

author
Mike Becker <universe@uap-core.de>
date
Fri, 01 Feb 2013 10:18:47 +0100
changeset 8
e70a0e3555fb
parent 7
2c0a2766461c
permissions
-rw-r--r--

removed completeness test - the solver automatically returns false when the field is incomplete

5
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
1 /*
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
2 * Copyright 2013 Mike Becker. All rights reserved.
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
3 *
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
4 * Redistribution and use in source and binary forms, with or without
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
5 * modification, are permitted provided that the following conditions are met:
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
6 *
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
7 * 1. Redistributions of source code must retain the above copyright
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
8 * notice, this list of conditions and the following disclaimer.
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
9 *
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
10 * 2. Redistributions in binary form must reproduce the above copyright
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
11 * notice, this list of conditions and the following disclaimer in the
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
12 * documentation and/or other materials provided with the distribution.
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
13 *
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
14 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
15 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
17 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
18 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
19 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
20 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
21 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
22 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
23 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
24 * POSSIBILITY OF SUCH DAMAGE.
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
25 */
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
26
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
27 package de.uapcore.sudoku;
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
28
6
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
29 import java.io.BufferedReader;
5
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
30 import java.io.BufferedWriter;
6
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
31 import java.io.FileInputStream;
5
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
32 import java.io.FileOutputStream;
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
33 import java.io.IOException;
6
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
34 import java.io.InputStreamReader;
5
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
35 import java.io.OutputStreamWriter;
6
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
36 import java.util.regex.Matcher;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
37 import java.util.regex.Pattern;
5
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
38
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
39 /**
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
40 *
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
41 * @author mike
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
42 */
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
43 public class DocumentHandler {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
44
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
45 private String filename;
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
46
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
47 public void load(Field field) throws IOException {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
48 if (!isFilenameSet()) {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
49 throw new IOException("no filename supplied");
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
50 }
6
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
51 int row = 0;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
52 try (BufferedReader in = new BufferedReader(
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
53 new InputStreamReader(new FileInputStream(filename)))) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
54 Pattern pat = Pattern.compile("^\\s*(?:[1-9_] ){8}[1-9_]\\s*$");
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
55 String line;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
56 while ((line = in.readLine()) != null) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
57 if (line.matches("^\\s*$")) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
58 continue;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
59 }
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
60 Matcher m = pat.matcher(line);
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
61 if (m.matches()) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
62 String c[] = line.trim().split(" ");
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
63 if (c.length != 9) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
64 break;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
65 }
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
66 for (int i = 0 ; i < 9 ; i++) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
67 field.setCellValue(i, row,
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
68 c[i].equals("_") ? 0 : Integer.valueOf(c[i]));
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
69 }
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
70 row++;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
71 } else {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
72 break;
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
73 }
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
74 }
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
75 if (row != 9) {
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
76 throw new IOException("Kein Sudoku-Feld enthalten!");
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
77 }
5bab2e971333 file IO
Mike Becker <universe@uap-core.de>
parents: 5
diff changeset
78 }
7
2c0a2766461c added solving algorithm
Mike Becker <universe@uap-core.de>
parents: 6
diff changeset
79 field.setAllCellsModified(false);
5
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
80 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
81
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
82 public void save(Field field) throws IOException {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
83 if (!isFilenameSet()) {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
84 throw new IOException("no filename supplied");
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
85 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
86
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
87 try (BufferedWriter out = new BufferedWriter(
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
88 new OutputStreamWriter(new FileOutputStream(filename)))) {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
89 for (int i = 0 ; i < 9 ; i++) {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
90 int[] row = field.getRow(i);
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
91 for (int j = 0 ; j < 9 ; j++) {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
92 out.append(row[j] > 0 ? Character.forDigit(row[j], 10):'_');
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
93 out.append(j == 8 ? '\n': ' ');
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
94 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
95 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
96 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
97 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
98
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
99 public void setFilename(String filename) {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
100 this.filename = filename;
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
101 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
102
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
103 public void clearFilename() {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
104 filename = null;
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
105 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
106
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
107 public boolean isFilenameSet() {
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
108 return filename != null;
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
109 }
8ddf4af937d7 moved field methods to field class + added (parts of the) document handler
Mike Becker <universe@uap-core.de>
parents:
diff changeset
110 }

mercurial