minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Fri, 27 Jun 2014 15:36:48 +0200
changeset 165 276db4d4d795
parent 164 b56bc5060fac
child 166 e6667c8206fc
permissions -rw-r--r--
One can win by marking fields with all bombs
jtulach@63
     1
/**
jtulach@63
     2
 * The MIT License (MIT)
jtulach@63
     3
 *
jtulach@63
     4
 * Copyright (C) 2013 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jtulach@63
     5
 *
jtulach@63
     6
 * Permission is hereby granted, free of charge, to any person obtaining a copy
jtulach@63
     7
 * of this software and associated documentation files (the "Software"), to deal
jtulach@63
     8
 * in the Software without restriction, including without limitation the rights
jtulach@63
     9
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
jtulach@63
    10
 * copies of the Software, and to permit persons to whom the Software is
jtulach@63
    11
 * furnished to do so, subject to the following conditions:
jtulach@63
    12
 *
jtulach@63
    13
 * The above copyright notice and this permission notice shall be included in
jtulach@63
    14
 * all copies or substantial portions of the Software.
jtulach@63
    15
 *
jtulach@63
    16
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
jtulach@63
    17
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
jtulach@63
    18
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
jtulach@63
    19
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
jtulach@63
    20
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
jtulach@63
    21
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
jtulach@63
    22
 * THE SOFTWARE.
jtulach@63
    23
 */
jtulach@63
    24
package org.apidesign.demo.minesweeper;
jtulach@63
    25
jtulach@63
    26
import java.util.ArrayList;
jtulach@63
    27
import java.util.List;
jtulach@63
    28
import java.util.Random;
jtulach@63
    29
import net.java.html.json.ComputedProperty;
jtulach@63
    30
import net.java.html.json.Function;
jtulach@63
    31
import net.java.html.json.Model;
jtulach@63
    32
import net.java.html.json.ModelOperation;
jtulach@63
    33
import net.java.html.json.Property;
jtulach@79
    34
import net.java.html.sound.AudioClip;
jtulach@63
    35
jtulach@63
    36
/** Model of the mine field.
jtulach@63
    37
 */
jtulach@63
    38
@Model(className = "Mines", properties = {
jtulach@63
    39
    @Property(name = "state", type = MinesModel.GameState.class),
jtulach@63
    40
    @Property(name = "rows", type = Row.class, array = true),
jtulach@63
    41
})
jtulach@90
    42
public final class MinesModel {
jtulach@63
    43
    enum GameState {
jaroslav@164
    44
        IN_PROGRESS, MARKING_MINE, WON, LOST;
jtulach@63
    45
    }
jtulach@63
    46
    
jtulach@63
    47
    @Model(className = "Row", properties = {
jtulach@63
    48
        @Property(name = "columns", type = Square.class, array = true)
jtulach@63
    49
    })
jtulach@63
    50
    static class RowModel {
jtulach@63
    51
    }
jtulach@63
    52
jtulach@63
    53
    @Model(className = "Square", properties = {
jtulach@63
    54
        @Property(name = "state", type = SquareType.class),
jtulach@63
    55
        @Property(name = "mine", type = boolean.class)
jtulach@63
    56
    })
jtulach@63
    57
    static class SquareModel {
jtulach@65
    58
        @ComputedProperty static String style(SquareType state) {
jtulach@65
    59
            return state == null ? null : state.toString();
jtulach@65
    60
        }
jtulach@63
    61
    }
jtulach@63
    62
    
jtulach@63
    63
    enum SquareType {
jtulach@63
    64
        N_0, N_1, N_2, N_3, N_4, N_5, N_6, N_7, N_8,
jaroslav@164
    65
        UNKNOWN, EXPLOSION, DISCOVERED, MARKED;
jtulach@64
    66
        
jtulach@64
    67
        final boolean isVisible() {
jtulach@64
    68
            return name().startsWith("N_");
jtulach@64
    69
        }
jtulach@64
    70
jtulach@69
    71
        final SquareType moreBombsAround() {
jtulach@68
    72
            switch (this) {
jtulach@68
    73
                case EXPLOSION:
jtulach@68
    74
                case UNKNOWN:
jtulach@68
    75
                case DISCOVERED:
jtulach@68
    76
                case N_8:
jtulach@68
    77
                    return this;
jtulach@64
    78
            }
jtulach@64
    79
            return values()[ordinal() + 1];
jtulach@64
    80
        }
jtulach@63
    81
    }
jtulach@63
    82
    
jtulach@76
    83
    @ComputedProperty static boolean fieldShowing(GameState state) {
jtulach@76
    84
        return state != null;
jtulach@76
    85
    }
jtulach@76
    86
    
jtulach@76
    87
    @Function static void showHelp(Mines model) {
jtulach@76
    88
        model.setState(null);
jtulach@76
    89
    }
jtulach@76
    90
    
jtulach@70
    91
    @Function static void smallGame(Mines model) {
jtulach@70
    92
        model.init(5, 5, 5);
jtulach@70
    93
    }
jtulach@70
    94
    @Function static void normalGame(Mines model) {
jtulach@70
    95
        model.init(10, 10, 10);
jtulach@70
    96
    }
jtulach@70
    97
    
jtulach@72
    98
    @Function static void giveUp(Mines model) {
jtulach@72
    99
        showAllBombs(model, SquareType.EXPLOSION);
jaroslav@152
   100
        model.setState(GameState.LOST);
jtulach@72
   101
    }
jtulach@72
   102
    
jaroslav@164
   103
    @Function static void markMine(Mines model) {
jaroslav@164
   104
        if (model.getState() == GameState.IN_PROGRESS) {
jaroslav@164
   105
            model.setState(GameState.MARKING_MINE);
jaroslav@164
   106
        }
jaroslav@164
   107
    }
jaroslav@164
   108
    
jtulach@63
   109
    @ModelOperation static void init(Mines model, int width, int height, int mines) {
jtulach@107
   110
        List<Row> rows = model.getRows();
jtulach@107
   111
        if (rows.size() != height || rows.get(0).getColumns().size() != width) {
jtulach@107
   112
            rows = new ArrayList<Row>(height);
jtulach@107
   113
            for (int y = 0; y < height; y++) {
jtulach@107
   114
                Square[] columns = new Square[width];
jtulach@107
   115
                for (int x = 0; x < width; x++) {
jtulach@107
   116
                    columns[x] = new Square(SquareType.UNKNOWN, false);
jtulach@107
   117
                }
jtulach@107
   118
                rows.add(new Row(columns));
jtulach@63
   119
            }
jtulach@107
   120
        } else {
jtulach@107
   121
            for (Row row : rows) {
jtulach@107
   122
                for (Square sq : row.getColumns()) {
jtulach@107
   123
                    sq.setState(SquareType.UNKNOWN);
jtulach@107
   124
                    sq.setMine(false);
jtulach@107
   125
                }
jtulach@107
   126
            }
jtulach@63
   127
        }
jtulach@63
   128
        
jtulach@63
   129
        Random r = new Random();
jtulach@63
   130
        while (mines > 0) {
jtulach@63
   131
            int x = r.nextInt(width);
jtulach@63
   132
            int y = r.nextInt(height);
jtulach@63
   133
            final Square s = rows.get(y).getColumns().get(x);
jtulach@63
   134
            if (s.isMine()) {
jtulach@63
   135
                continue;
jtulach@63
   136
            }
jtulach@63
   137
            s.setMine(true);
jtulach@63
   138
            mines--;
jtulach@63
   139
        }
jtulach@63
   140
jtulach@63
   141
        model.setState(GameState.IN_PROGRESS);
jtulach@107
   142
        if (rows != model.getRows()) {
jtulach@107
   143
            model.getRows().clear();
jtulach@107
   144
            model.getRows().addAll(rows);
jtulach@107
   145
        }
jtulach@63
   146
    }
jtulach@63
   147
    
jtulach@64
   148
    @ModelOperation static void computeMines(Mines model) {
jtulach@64
   149
        List<Integer> xBombs = new ArrayList<Integer>();
jtulach@64
   150
        List<Integer> yBombs = new ArrayList<Integer>();
jtulach@64
   151
        final List<Row> rows = model.getRows();
jtulach@66
   152
        boolean emptyHidden = false;
jtulach@69
   153
        SquareType[][] arr = new SquareType[rows.size()][];
jtulach@64
   154
        for (int y = 0; y < rows.size(); y++) {
jtulach@64
   155
            final List<Square> columns = rows.get(y).getColumns();
jtulach@69
   156
            arr[y] = new SquareType[columns.size()];
jtulach@64
   157
            for (int x = 0; x < columns.size(); x++) {
jtulach@64
   158
                Square sq = columns.get(x);
jtulach@64
   159
                if (sq.isMine()) {
jtulach@64
   160
                    xBombs.add(x);
jtulach@64
   161
                    yBombs.add(y);
jtulach@64
   162
                }
jtulach@64
   163
                if (sq.getState().isVisible()) {
jtulach@69
   164
                    arr[y][x] = SquareType.N_0;
jtulach@66
   165
                } else {
jtulach@66
   166
                    if (!sq.isMine()) {
jtulach@66
   167
                        emptyHidden = true;
jtulach@66
   168
                    }
jtulach@64
   169
                }
jtulach@64
   170
            }
jtulach@64
   171
        }
jtulach@64
   172
        for (int i = 0; i < xBombs.size(); i++) {
jtulach@64
   173
            int x = xBombs.get(i);
jtulach@64
   174
            int y = yBombs.get(i);
jtulach@64
   175
            
jtulach@69
   176
            incrementAround(arr, x, y);
jtulach@69
   177
        }
jtulach@69
   178
        for (int y = 0; y < rows.size(); y++) {
jtulach@69
   179
            final List<Square> columns = rows.get(y).getColumns();
jtulach@69
   180
            for (int x = 0; x < columns.size(); x++) {
jtulach@69
   181
                Square sq = columns.get(x);
jtulach@69
   182
                final SquareType newState = arr[y][x];
jtulach@69
   183
                if (newState != null && newState != sq.getState()) {
jtulach@69
   184
                    sq.setState(newState);
jtulach@69
   185
                }
jtulach@69
   186
            }
jtulach@64
   187
        }
jtulach@66
   188
        
jtulach@66
   189
        if (!emptyHidden) {
jtulach@66
   190
            model.setState(GameState.WON);
jtulach@68
   191
            showAllBombs(model, SquareType.DISCOVERED);
jtulach@153
   192
            AudioClip applause = AudioClip.create("applause.mp3");
jaroslav@136
   193
            applause.play();
jtulach@66
   194
        }
jtulach@64
   195
    }
jtulach@64
   196
    
jtulach@69
   197
    private static void incrementAround(SquareType[][] arr, int x, int y) {
jtulach@69
   198
        incrementAt(arr, x - 1, y - 1);
jtulach@69
   199
        incrementAt(arr, x - 1, y);
jtulach@69
   200
        incrementAt(arr, x - 1, y + 1);
jtulach@64
   201
jtulach@69
   202
        incrementAt(arr, x + 1, y - 1);
jtulach@69
   203
        incrementAt(arr, x + 1, y);
jtulach@69
   204
        incrementAt(arr, x + 1, y + 1);
jtulach@64
   205
        
jtulach@69
   206
        incrementAt(arr, x, y - 1);
jtulach@69
   207
        incrementAt(arr, x, y + 1);
jtulach@64
   208
    }
jtulach@64
   209
    
jtulach@69
   210
    private static void incrementAt(SquareType[][] arr, int x, int y) {
jtulach@69
   211
        if (y >= 0 && y < arr.length) {
jtulach@69
   212
            SquareType[] r = arr[y];
jtulach@69
   213
            if (x >= 0 && x < r.length) {
jtulach@69
   214
                SquareType sq = r[x];
jtulach@69
   215
                if (sq != null) {
jtulach@69
   216
                    r[x] = sq.moreBombsAround();
jtulach@69
   217
                }
jtulach@64
   218
            }
jtulach@64
   219
        }
jtulach@64
   220
    }
jtulach@64
   221
    
jtulach@68
   222
    static void showAllBombs(Mines model, SquareType state) {
jtulach@63
   223
        for (Row row : model.getRows()) {
jtulach@63
   224
            for (Square square : row.getColumns()) {
jtulach@63
   225
                if (square.isMine()) {
jtulach@68
   226
                    square.setState(state);
jtulach@63
   227
                }
jtulach@63
   228
            }
jtulach@63
   229
        }
jtulach@63
   230
    }
jtulach@63
   231
    
jtulach@63
   232
    @Function static void click(Mines model, Square data) {
jaroslav@164
   233
        if (model.getState() == GameState.MARKING_MINE) {
jaroslav@164
   234
            if (data.getState() == SquareType.UNKNOWN) {
jaroslav@164
   235
                data.setState(SquareType.MARKED);
jaroslav@165
   236
                if (allMarked(model)) {
jaroslav@165
   237
                    model.setState(GameState.WON);
jaroslav@165
   238
                    return;
jaroslav@165
   239
                }
jaroslav@164
   240
            }
jaroslav@164
   241
            model.setState(GameState.IN_PROGRESS);
jaroslav@164
   242
            return;
jaroslav@164
   243
        }
jtulach@63
   244
        if (model.getState() != GameState.IN_PROGRESS) {
jtulach@63
   245
            return;
jtulach@63
   246
        }
jaroslav@164
   247
        if (data.getState() == SquareType.MARKED) {
jaroslav@164
   248
            data.setState(SquareType.UNKNOWN);
jaroslav@164
   249
            return;
jaroslav@164
   250
        }
jaroslav@152
   251
        if (data.getState() != SquareType.UNKNOWN) {
jaroslav@152
   252
            return;
jaroslav@152
   253
        }
jaroslav@152
   254
        if (data.isMine()) {
jaroslav@152
   255
            Square fair = atLeastOnePlaceWhereBombCantBe(model);
jaroslav@152
   256
            if (fair == null) {
jaroslav@152
   257
                if (placeBombElseWhere(model, data)) {
jaroslav@152
   258
                    cleanedUp(model, data);
jaroslav@152
   259
                    return;
jtulach@63
   260
                }
jaroslav@152
   261
            }
jaroslav@152
   262
            explosion(model);
jaroslav@152
   263
        } else {
jaroslav@152
   264
            Square takeFrom = tryStealBomb(model, data);
jaroslav@152
   265
            if (takeFrom != null) {
jaroslav@152
   266
                final Square fair = atLeastOnePlaceWhereBombCantBe(model);
jaroslav@152
   267
                if (fair != null) {
jaroslav@152
   268
                    takeFrom.setMine(false);
jaroslav@152
   269
                    data.setMine(true);
jaroslav@152
   270
                    explosion(model);
jaroslav@152
   271
                    return;
jaroslav@152
   272
                }
jaroslav@152
   273
            }
jaroslav@152
   274
            cleanedUp(model, data);
jtulach@63
   275
        }
jtulach@63
   276
    }
jaroslav@152
   277
jaroslav@152
   278
    private static void cleanedUp(Mines model, Square data) {
jaroslav@152
   279
        AudioClip touch = AudioClip.create("move.mp3");
jaroslav@152
   280
        touch.play();
jaroslav@152
   281
        expandKnown(model, data);
jaroslav@152
   282
        model.computeMines();
jaroslav@152
   283
    }
jaroslav@152
   284
jaroslav@152
   285
    private static void explosion(Mines model) {
jaroslav@152
   286
        showAllBombs(model, SquareType.EXPLOSION);
jaroslav@152
   287
        model.setState(GameState.LOST);
jtulach@153
   288
        AudioClip oops = AudioClip.create("oops.mp3");
jaroslav@152
   289
        oops.play();
jaroslav@152
   290
    }
jaroslav@152
   291
    
jaroslav@152
   292
    private static Square tryStealBomb(Mines model, Square data) {
jaroslav@152
   293
        data.setMine(true);
jaroslav@152
   294
        final List<Row> rows = model.getRows();
jaroslav@152
   295
        for (int y = 0; y < rows.size(); y++) {
jaroslav@152
   296
            final List<Square> columns = rows.get(y).getColumns();
jaroslav@152
   297
            for (int x = 0; x < columns.size(); x++) {
jaroslav@152
   298
                Square sq = columns.get(x);
jaroslav@152
   299
                if (sq == data) {
jaroslav@152
   300
                    continue;
jaroslav@152
   301
                }
jaroslav@152
   302
                if (sq.isMine()) {
jaroslav@152
   303
                    sq.setMine(false);
jaroslav@152
   304
                    final boolean ok = isConsistent(model);
jaroslav@152
   305
                    sq.setMine(true);
jaroslav@152
   306
                    if (ok) {
jaroslav@152
   307
                        data.setMine(false);
jaroslav@152
   308
                        return sq;
jaroslav@152
   309
                    }
jaroslav@152
   310
                }
jaroslav@152
   311
            }
jaroslav@152
   312
        }
jaroslav@152
   313
        data.setMine(false);        
jaroslav@152
   314
        return null;
jaroslav@152
   315
    }
jaroslav@152
   316
    
jaroslav@152
   317
    private static Square atLeastOnePlaceWhereBombCantBe(Mines model) {
jaroslav@152
   318
        final List<Row> rows = model.getRows();
jaroslav@152
   319
        Square cantBe = null;
jaroslav@152
   320
        int discovered = 0;
jaroslav@152
   321
        for (int y = 0; y < rows.size(); y++) {
jaroslav@152
   322
            final List<Square> columns = rows.get(y).getColumns();
jaroslav@152
   323
            for (int x = 0; x < columns.size(); x++) {
jaroslav@152
   324
                Square sq = columns.get(x);
jaroslav@152
   325
                if (sq.getState() == SquareType.UNKNOWN) {
jaroslav@152
   326
                    if (!sq.isMine()) {
jaroslav@152
   327
                        if (tryStealBomb(model, sq) == null) {
jaroslav@152
   328
                            cantBe = sq;
jaroslav@152
   329
                        }
jaroslav@152
   330
                    }
jaroslav@152
   331
                } else {
jaroslav@152
   332
                    discovered++;
jaroslav@152
   333
                }
jaroslav@152
   334
            }
jaroslav@152
   335
        }
jaroslav@152
   336
        
jaroslav@152
   337
        if (discovered > 5) {
jaroslav@152
   338
            return cantBe;
jaroslav@152
   339
        }
jaroslav@152
   340
        
jaroslav@152
   341
        return null;
jaroslav@152
   342
    }
jaroslav@152
   343
    
jaroslav@152
   344
    private static boolean placeBombElseWhere(Mines model, Square moveBomb) {
jaroslav@152
   345
        List<Square> ok = new ArrayList<Square>();
jaroslav@152
   346
        moveBomb.setMine(false);
jaroslav@152
   347
        final List<Row> rows = model.getRows();
jaroslav@152
   348
        for (int y = 0; y < rows.size(); y++) {
jaroslav@152
   349
            final List<Square> columns = rows.get(y).getColumns();
jaroslav@152
   350
            for (int x = 0; x < columns.size(); x++) {
jaroslav@152
   351
                Square sq = columns.get(x);
jaroslav@152
   352
                if (sq == moveBomb || sq.isMine() || sq.getState().isVisible()) {
jaroslav@152
   353
                    continue;
jaroslav@152
   354
                }
jaroslav@152
   355
                sq.setMine(true);
jaroslav@152
   356
                if (isConsistent(model)) {
jaroslav@152
   357
                    ok.add(sq);
jaroslav@152
   358
                }
jaroslav@152
   359
                sq.setMine(false);
jaroslav@152
   360
            }
jaroslav@152
   361
        }
jaroslav@152
   362
        if (ok.isEmpty()) {
jaroslav@152
   363
            moveBomb.setMine(true);
jaroslav@152
   364
            return false;
jaroslav@152
   365
        } else {
jaroslav@152
   366
            int r = new Random().nextInt(ok.size());
jaroslav@152
   367
            ok.get(r).setMine(true);
jaroslav@152
   368
            return true;
jaroslav@152
   369
        }
jaroslav@152
   370
    }
jaroslav@152
   371
    
jtulach@68
   372
    private static void expandKnown(Mines model, Square data) {
jtulach@68
   373
        final List<Row> rows = model.getRows();
jtulach@68
   374
        for (int y = 0; y < rows.size(); y++) {
jtulach@68
   375
            final List<Square> columns = rows.get(y).getColumns();
jtulach@68
   376
            for (int x = 0; x < columns.size(); x++) {
jtulach@68
   377
                Square sq = columns.get(x);
jtulach@68
   378
                if (sq == data) {
jtulach@68
   379
                    expandKnown(model, x, y);
jtulach@68
   380
                    return;
jtulach@68
   381
                }
jtulach@68
   382
            }
jtulach@68
   383
        }
jtulach@68
   384
    }
jtulach@68
   385
    private static void expandKnown(Mines model, int x , int y) {
jtulach@68
   386
        if (y < 0 || y >= model.getRows().size()) {
jtulach@68
   387
            return;
jtulach@68
   388
        }
jtulach@68
   389
        final List<Square> columns = model.getRows().get(y).getColumns();
jtulach@68
   390
        if (x < 0 || x >= columns.size()) {
jtulach@68
   391
            return;
jtulach@68
   392
        }
jtulach@68
   393
        final Square sq = columns.get(x);
jtulach@68
   394
        if (sq.getState() == SquareType.UNKNOWN) {
jaroslav@152
   395
            int around = around(model, x, y);
jtulach@107
   396
            final SquareType t = SquareType.valueOf("N_" + around);
jtulach@107
   397
            sq.setState(t);
jtulach@107
   398
            if (t == SquareType.N_0) {
jtulach@68
   399
                expandKnown(model, x - 1, y - 1);
jtulach@68
   400
                expandKnown(model, x - 1, y);
jtulach@68
   401
                expandKnown(model, x - 1, y + 1);
jtulach@68
   402
                expandKnown(model, x , y - 1);
jtulach@68
   403
                expandKnown(model, x, y + 1);
jtulach@68
   404
                expandKnown(model, x + 1, y - 1);
jtulach@68
   405
                expandKnown(model, x + 1, y);
jtulach@68
   406
                expandKnown(model, x + 1, y + 1);
jtulach@68
   407
            }
jtulach@68
   408
        }
jtulach@68
   409
    }
jaroslav@152
   410
jaroslav@152
   411
    private static int around(Mines model, int x, int y) {
jaroslav@152
   412
        return 
jaroslav@152
   413
            minesAt(model, x - 1, y - 1) +
jaroslav@152
   414
            minesAt(model, x - 1, y) +
jaroslav@152
   415
            minesAt(model, x - 1, y + 1) +
jaroslav@152
   416
            minesAt(model, x , y - 1) +
jaroslav@152
   417
            minesAt(model, x, y + 1) +
jaroslav@152
   418
            minesAt(model, x + 1, y - 1) +
jaroslav@152
   419
            minesAt(model, x + 1, y) +
jaroslav@152
   420
            minesAt(model, x + 1, y + 1);
jaroslav@152
   421
    }
jtulach@90
   422
    
jtulach@107
   423
    private static int minesAt(Mines model, int x, int y) {
jtulach@107
   424
        if (y < 0 || y >= model.getRows().size()) {
jtulach@107
   425
            return 0;
jtulach@107
   426
        }
jtulach@107
   427
        final List<Square> columns = model.getRows().get(y).getColumns();
jtulach@107
   428
        if (x < 0 || x >= columns.size()) {
jtulach@107
   429
            return 0;
jtulach@107
   430
        }
jtulach@107
   431
        Square sq = columns.get(x);
jtulach@107
   432
        return sq.isMine() ? 1 : 0;
jtulach@107
   433
    }
jaroslav@152
   434
    
jaroslav@152
   435
    private static boolean isConsistent(Mines m) {
jaroslav@152
   436
        for (int row = 0; row < m.getRows().size(); row++) {
jaroslav@152
   437
            Row r = m.getRows().get(row);
jaroslav@152
   438
            for (int col = 0; col < r.getColumns().size(); col++) {
jaroslav@152
   439
                Square sq = r.getColumns().get(col);
jaroslav@152
   440
                if (sq.getState().isVisible()) {
jaroslav@152
   441
                    int around = around(m, col, row);
jaroslav@152
   442
                    if (around != sq.getState().ordinal()) {
jaroslav@152
   443
                        return false;
jaroslav@152
   444
                    }
jaroslav@152
   445
                }
jaroslav@152
   446
            }
jaroslav@152
   447
        }
jaroslav@152
   448
        return true;
jaroslav@152
   449
    }
jaroslav@165
   450
    
jaroslav@165
   451
    private static boolean allMarked(Mines m) {
jaroslav@165
   452
        for (Row r : m.getRows()) {
jaroslav@165
   453
            for (Square sq : r.getColumns()) {
jaroslav@165
   454
                if (sq.isMine() && sq.getState() != SquareType.MARKED) {
jaroslav@165
   455
                    return false;
jaroslav@165
   456
                }
jaroslav@165
   457
            }
jaroslav@165
   458
        }
jaroslav@165
   459
        for (Row r : m.getRows()) {
jaroslav@165
   460
            for (Square sq : r.getColumns()) {
jaroslav@165
   461
                if (sq.isMine()) {
jaroslav@165
   462
                    sq.setState(SquareType.DISCOVERED);
jaroslav@165
   463
                } else {
jaroslav@165
   464
                    sq.setState(SquareType.N_0);
jaroslav@165
   465
                }
jaroslav@165
   466
            }
jaroslav@165
   467
        }
jaroslav@165
   468
        computeMines(m);
jaroslav@165
   469
        return true;
jaroslav@165
   470
    }
jtulach@116
   471
jtulach@90
   472
    /**
jtulach@90
   473
     * Called when page is ready
jtulach@90
   474
     */
jtulach@90
   475
    public static void main(String... args) throws Exception {
jtulach@90
   476
        Mines m = new Mines();
jtulach@90
   477
        m.applyBindings();
jtulach@90
   478
    }
jtulach@63
   479
}