2 * The MIT License (MIT)
4 * Copyright (C) 2013 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
24 package org.apidesign.demo.minesweeper;
26 import java.util.ArrayList;
27 import java.util.List;
28 import java.util.Random;
29 import net.java.html.json.ComputedProperty;
30 import net.java.html.json.Function;
31 import net.java.html.json.Model;
32 import net.java.html.json.ModelOperation;
33 import net.java.html.json.Property;
35 /** Model of the mine field.
37 @Model(className = "Mines", properties = {
38 @Property(name = "state", type = MinesModel.GameState.class),
39 @Property(name = "rows", type = Row.class, array = true),
41 final class MinesModel {
43 IN_PROGRESS, WON, LOST;
46 @Model(className = "Row", properties = {
47 @Property(name = "columns", type = Square.class, array = true)
49 static class RowModel {
52 @Model(className = "Square", properties = {
53 @Property(name = "state", type = SquareType.class),
54 @Property(name = "mine", type = boolean.class)
56 static class SquareModel {
57 @ComputedProperty static String html(SquareType state) {
58 if (state == null) return " ";
60 case EXPLOSION: return "✗";
61 case UNKNOWN: return " ";
62 case DISCOVERED: return "✔";
63 case N_0: return " ";
65 return "ɸ" + (state.ordinal() - 1);
68 @ComputedProperty static String style(SquareType state) {
69 return state == null ? null : state.toString();
74 N_0, N_1, N_2, N_3, N_4, N_5, N_6, N_7, N_8,
75 UNKNOWN, EXPLOSION, DISCOVERED;
77 final boolean isVisible() {
78 return name().startsWith("N_");
81 final SquareType moreBombsAround() {
89 return values()[ordinal() + 1];
93 @ComputedProperty static boolean fieldShowing(GameState state) {
97 @Function static void showHelp(Mines model) {
101 @Function static void smallGame(Mines model) {
104 @Function static void normalGame(Mines model) {
105 model.init(10, 10, 10);
108 @Function static void giveUp(Mines model) {
109 showAllBombs(model, SquareType.EXPLOSION);
112 @ModelOperation static void init(Mines model, int width, int height, int mines) {
113 List<Row> rows = new ArrayList<Row>(height);
114 for (int y = 0; y < height; y++) {
115 Square[] columns = new Square[width];
116 for (int x = 0; x < width; x++) {
117 columns[x] = new Square(SquareType.UNKNOWN, false);
119 rows.add(new Row(columns));
122 Random r = new Random();
124 int x = r.nextInt(width);
125 int y = r.nextInt(height);
126 final Square s = rows.get(y).getColumns().get(x);
134 model.setState(GameState.IN_PROGRESS);
135 model.getRows().clear();
136 model.getRows().addAll(rows);
139 @ModelOperation static void computeMines(Mines model) {
140 List<Integer> xBombs = new ArrayList<Integer>();
141 List<Integer> yBombs = new ArrayList<Integer>();
142 final List<Row> rows = model.getRows();
143 boolean emptyHidden = false;
144 SquareType[][] arr = new SquareType[rows.size()][];
145 for (int y = 0; y < rows.size(); y++) {
146 final List<Square> columns = rows.get(y).getColumns();
147 arr[y] = new SquareType[columns.size()];
148 for (int x = 0; x < columns.size(); x++) {
149 Square sq = columns.get(x);
154 if (sq.getState().isVisible()) {
155 arr[y][x] = SquareType.N_0;
163 for (int i = 0; i < xBombs.size(); i++) {
164 int x = xBombs.get(i);
165 int y = yBombs.get(i);
167 incrementAround(arr, x, y);
169 for (int y = 0; y < rows.size(); y++) {
170 final List<Square> columns = rows.get(y).getColumns();
171 for (int x = 0; x < columns.size(); x++) {
172 Square sq = columns.get(x);
173 final SquareType newState = arr[y][x];
174 if (newState != null && newState != sq.getState()) {
175 sq.setState(newState);
181 model.setState(GameState.WON);
182 showAllBombs(model, SquareType.DISCOVERED);
186 private static void incrementAround(SquareType[][] arr, int x, int y) {
187 incrementAt(arr, x - 1, y - 1);
188 incrementAt(arr, x - 1, y);
189 incrementAt(arr, x - 1, y + 1);
191 incrementAt(arr, x + 1, y - 1);
192 incrementAt(arr, x + 1, y);
193 incrementAt(arr, x + 1, y + 1);
195 incrementAt(arr, x, y - 1);
196 incrementAt(arr, x, y + 1);
199 private static void incrementAt(SquareType[][] arr, int x, int y) {
200 if (y >= 0 && y < arr.length) {
201 SquareType[] r = arr[y];
202 if (x >= 0 && x < r.length) {
203 SquareType sq = r[x];
205 r[x] = sq.moreBombsAround();
211 static void showAllBombs(Mines model, SquareType state) {
212 for (Row row : model.getRows()) {
213 for (Square square : row.getColumns()) {
214 if (square.isMine()) {
215 square.setState(state);
221 @Function static void click(Mines model, Square data) {
222 if (model.getState() != GameState.IN_PROGRESS) {
226 switch (data.getState()) {
229 showAllBombs(model, SquareType.EXPLOSION);
230 model.setState(GameState.LOST);
232 expandKnown(model, data);
237 private static void expandKnown(Mines model, Square data) {
238 final List<Row> rows = model.getRows();
239 for (int y = 0; y < rows.size(); y++) {
240 final List<Square> columns = rows.get(y).getColumns();
241 for (int x = 0; x < columns.size(); x++) {
242 Square sq = columns.get(x);
244 expandKnown(model, x, y);
250 private static void expandKnown(Mines model, int x , int y) {
251 if (y < 0 || y >= model.getRows().size()) {
254 final List<Square> columns = model.getRows().get(y).getColumns();
255 if (x < 0 || x >= columns.size()) {
258 final Square sq = columns.get(x);
259 if (sq.getState() == SquareType.UNKNOWN) {
260 sq.setState(SquareType.N_0);
261 model.computeMines();
262 if (sq.getState() == SquareType.N_0) {
263 expandKnown(model, x - 1, y - 1);
264 expandKnown(model, x - 1, y);
265 expandKnown(model, x - 1, y + 1);
266 expandKnown(model, x , y - 1);
267 expandKnown(model, x, y + 1);
268 expandKnown(model, x + 1, y - 1);
269 expandKnown(model, x + 1, y);
270 expandKnown(model, x + 1, y + 1);