minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Fri, 27 Jun 2014 15:25:21 +0200
changeset 164 b56bc5060fac
parent 163 823630089369
child 165 276db4d4d795
permissions -rw-r--r--
Allowing to mark a field with a danger sign
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@164
   236
            }
jaroslav@164
   237
            model.setState(GameState.IN_PROGRESS);
jaroslav@164
   238
            return;
jaroslav@164
   239
        }
jtulach@63
   240
        if (model.getState() != GameState.IN_PROGRESS) {
jtulach@63
   241
            return;
jtulach@63
   242
        }
jaroslav@164
   243
        if (data.getState() == SquareType.MARKED) {
jaroslav@164
   244
            data.setState(SquareType.UNKNOWN);
jaroslav@164
   245
            return;
jaroslav@164
   246
        }
jaroslav@152
   247
        if (data.getState() != SquareType.UNKNOWN) {
jaroslav@152
   248
            return;
jaroslav@152
   249
        }
jaroslav@152
   250
        if (data.isMine()) {
jaroslav@152
   251
            Square fair = atLeastOnePlaceWhereBombCantBe(model);
jaroslav@152
   252
            if (fair == null) {
jaroslav@152
   253
                if (placeBombElseWhere(model, data)) {
jaroslav@152
   254
                    cleanedUp(model, data);
jaroslav@152
   255
                    return;
jtulach@63
   256
                }
jaroslav@152
   257
            }
jaroslav@152
   258
            explosion(model);
jaroslav@152
   259
        } else {
jaroslav@152
   260
            Square takeFrom = tryStealBomb(model, data);
jaroslav@152
   261
            if (takeFrom != null) {
jaroslav@152
   262
                final Square fair = atLeastOnePlaceWhereBombCantBe(model);
jaroslav@152
   263
                if (fair != null) {
jaroslav@152
   264
                    takeFrom.setMine(false);
jaroslav@152
   265
                    data.setMine(true);
jaroslav@152
   266
                    explosion(model);
jaroslav@152
   267
                    return;
jaroslav@152
   268
                }
jaroslav@152
   269
            }
jaroslav@152
   270
            cleanedUp(model, data);
jtulach@63
   271
        }
jtulach@63
   272
    }
jaroslav@152
   273
jaroslav@152
   274
    private static void cleanedUp(Mines model, Square data) {
jaroslav@152
   275
        AudioClip touch = AudioClip.create("move.mp3");
jaroslav@152
   276
        touch.play();
jaroslav@152
   277
        expandKnown(model, data);
jaroslav@152
   278
        model.computeMines();
jaroslav@152
   279
    }
jaroslav@152
   280
jaroslav@152
   281
    private static void explosion(Mines model) {
jaroslav@152
   282
        showAllBombs(model, SquareType.EXPLOSION);
jaroslav@152
   283
        model.setState(GameState.LOST);
jtulach@153
   284
        AudioClip oops = AudioClip.create("oops.mp3");
jaroslav@152
   285
        oops.play();
jaroslav@152
   286
    }
jaroslav@152
   287
    
jaroslav@152
   288
    private static Square tryStealBomb(Mines model, Square data) {
jaroslav@152
   289
        data.setMine(true);
jaroslav@152
   290
        final List<Row> rows = model.getRows();
jaroslav@152
   291
        for (int y = 0; y < rows.size(); y++) {
jaroslav@152
   292
            final List<Square> columns = rows.get(y).getColumns();
jaroslav@152
   293
            for (int x = 0; x < columns.size(); x++) {
jaroslav@152
   294
                Square sq = columns.get(x);
jaroslav@152
   295
                if (sq == data) {
jaroslav@152
   296
                    continue;
jaroslav@152
   297
                }
jaroslav@152
   298
                if (sq.isMine()) {
jaroslav@152
   299
                    sq.setMine(false);
jaroslav@152
   300
                    final boolean ok = isConsistent(model);
jaroslav@152
   301
                    sq.setMine(true);
jaroslav@152
   302
                    if (ok) {
jaroslav@152
   303
                        data.setMine(false);
jaroslav@152
   304
                        return sq;
jaroslav@152
   305
                    }
jaroslav@152
   306
                }
jaroslav@152
   307
            }
jaroslav@152
   308
        }
jaroslav@152
   309
        data.setMine(false);        
jaroslav@152
   310
        return null;
jaroslav@152
   311
    }
jaroslav@152
   312
    
jaroslav@152
   313
    private static Square atLeastOnePlaceWhereBombCantBe(Mines model) {
jaroslav@152
   314
        final List<Row> rows = model.getRows();
jaroslav@152
   315
        Square cantBe = null;
jaroslav@152
   316
        int discovered = 0;
jaroslav@152
   317
        for (int y = 0; y < rows.size(); y++) {
jaroslav@152
   318
            final List<Square> columns = rows.get(y).getColumns();
jaroslav@152
   319
            for (int x = 0; x < columns.size(); x++) {
jaroslav@152
   320
                Square sq = columns.get(x);
jaroslav@152
   321
                if (sq.getState() == SquareType.UNKNOWN) {
jaroslav@152
   322
                    if (!sq.isMine()) {
jaroslav@152
   323
                        if (tryStealBomb(model, sq) == null) {
jaroslav@152
   324
                            cantBe = sq;
jaroslav@152
   325
                        }
jaroslav@152
   326
                    }
jaroslav@152
   327
                } else {
jaroslav@152
   328
                    discovered++;
jaroslav@152
   329
                }
jaroslav@152
   330
            }
jaroslav@152
   331
        }
jaroslav@152
   332
        
jaroslav@152
   333
        if (discovered > 5) {
jaroslav@152
   334
            return cantBe;
jaroslav@152
   335
        }
jaroslav@152
   336
        
jaroslav@152
   337
        return null;
jaroslav@152
   338
    }
jaroslav@152
   339
    
jaroslav@152
   340
    private static boolean placeBombElseWhere(Mines model, Square moveBomb) {
jaroslav@152
   341
        List<Square> ok = new ArrayList<Square>();
jaroslav@152
   342
        moveBomb.setMine(false);
jaroslav@152
   343
        final List<Row> rows = model.getRows();
jaroslav@152
   344
        for (int y = 0; y < rows.size(); y++) {
jaroslav@152
   345
            final List<Square> columns = rows.get(y).getColumns();
jaroslav@152
   346
            for (int x = 0; x < columns.size(); x++) {
jaroslav@152
   347
                Square sq = columns.get(x);
jaroslav@152
   348
                if (sq == moveBomb || sq.isMine() || sq.getState().isVisible()) {
jaroslav@152
   349
                    continue;
jaroslav@152
   350
                }
jaroslav@152
   351
                sq.setMine(true);
jaroslav@152
   352
                if (isConsistent(model)) {
jaroslav@152
   353
                    ok.add(sq);
jaroslav@152
   354
                }
jaroslav@152
   355
                sq.setMine(false);
jaroslav@152
   356
            }
jaroslav@152
   357
        }
jaroslav@152
   358
        if (ok.isEmpty()) {
jaroslav@152
   359
            moveBomb.setMine(true);
jaroslav@152
   360
            return false;
jaroslav@152
   361
        } else {
jaroslav@152
   362
            int r = new Random().nextInt(ok.size());
jaroslav@152
   363
            ok.get(r).setMine(true);
jaroslav@152
   364
            return true;
jaroslav@152
   365
        }
jaroslav@152
   366
    }
jaroslav@152
   367
    
jtulach@68
   368
    private static void expandKnown(Mines model, Square data) {
jtulach@68
   369
        final List<Row> rows = model.getRows();
jtulach@68
   370
        for (int y = 0; y < rows.size(); y++) {
jtulach@68
   371
            final List<Square> columns = rows.get(y).getColumns();
jtulach@68
   372
            for (int x = 0; x < columns.size(); x++) {
jtulach@68
   373
                Square sq = columns.get(x);
jtulach@68
   374
                if (sq == data) {
jtulach@68
   375
                    expandKnown(model, x, y);
jtulach@68
   376
                    return;
jtulach@68
   377
                }
jtulach@68
   378
            }
jtulach@68
   379
        }
jtulach@68
   380
    }
jtulach@68
   381
    private static void expandKnown(Mines model, int x , int y) {
jtulach@68
   382
        if (y < 0 || y >= model.getRows().size()) {
jtulach@68
   383
            return;
jtulach@68
   384
        }
jtulach@68
   385
        final List<Square> columns = model.getRows().get(y).getColumns();
jtulach@68
   386
        if (x < 0 || x >= columns.size()) {
jtulach@68
   387
            return;
jtulach@68
   388
        }
jtulach@68
   389
        final Square sq = columns.get(x);
jtulach@68
   390
        if (sq.getState() == SquareType.UNKNOWN) {
jaroslav@152
   391
            int around = around(model, x, y);
jtulach@107
   392
            final SquareType t = SquareType.valueOf("N_" + around);
jtulach@107
   393
            sq.setState(t);
jtulach@107
   394
            if (t == SquareType.N_0) {
jtulach@68
   395
                expandKnown(model, x - 1, y - 1);
jtulach@68
   396
                expandKnown(model, x - 1, y);
jtulach@68
   397
                expandKnown(model, x - 1, y + 1);
jtulach@68
   398
                expandKnown(model, x , y - 1);
jtulach@68
   399
                expandKnown(model, x, y + 1);
jtulach@68
   400
                expandKnown(model, x + 1, y - 1);
jtulach@68
   401
                expandKnown(model, x + 1, y);
jtulach@68
   402
                expandKnown(model, x + 1, y + 1);
jtulach@68
   403
            }
jtulach@68
   404
        }
jtulach@68
   405
    }
jaroslav@152
   406
jaroslav@152
   407
    private static int around(Mines model, int x, int y) {
jaroslav@152
   408
        return 
jaroslav@152
   409
            minesAt(model, x - 1, y - 1) +
jaroslav@152
   410
            minesAt(model, x - 1, y) +
jaroslav@152
   411
            minesAt(model, x - 1, y + 1) +
jaroslav@152
   412
            minesAt(model, x , y - 1) +
jaroslav@152
   413
            minesAt(model, x, y + 1) +
jaroslav@152
   414
            minesAt(model, x + 1, y - 1) +
jaroslav@152
   415
            minesAt(model, x + 1, y) +
jaroslav@152
   416
            minesAt(model, x + 1, y + 1);
jaroslav@152
   417
    }
jtulach@90
   418
    
jtulach@107
   419
    private static int minesAt(Mines model, int x, int y) {
jtulach@107
   420
        if (y < 0 || y >= model.getRows().size()) {
jtulach@107
   421
            return 0;
jtulach@107
   422
        }
jtulach@107
   423
        final List<Square> columns = model.getRows().get(y).getColumns();
jtulach@107
   424
        if (x < 0 || x >= columns.size()) {
jtulach@107
   425
            return 0;
jtulach@107
   426
        }
jtulach@107
   427
        Square sq = columns.get(x);
jtulach@107
   428
        return sq.isMine() ? 1 : 0;
jtulach@107
   429
    }
jaroslav@152
   430
    
jaroslav@152
   431
    private static boolean isConsistent(Mines m) {
jaroslav@152
   432
        for (int row = 0; row < m.getRows().size(); row++) {
jaroslav@152
   433
            Row r = m.getRows().get(row);
jaroslav@152
   434
            for (int col = 0; col < r.getColumns().size(); col++) {
jaroslav@152
   435
                Square sq = r.getColumns().get(col);
jaroslav@152
   436
                if (sq.getState().isVisible()) {
jaroslav@152
   437
                    int around = around(m, col, row);
jaroslav@152
   438
                    if (around != sq.getState().ordinal()) {
jaroslav@152
   439
                        return false;
jaroslav@152
   440
                    }
jaroslav@152
   441
                }
jaroslav@152
   442
            }
jaroslav@152
   443
        }
jaroslav@152
   444
        return true;
jaroslav@152
   445
    }
jtulach@116
   446
jtulach@90
   447
    /**
jtulach@90
   448
     * Called when page is ready
jtulach@90
   449
     */
jtulach@90
   450
    public static void main(String... args) throws Exception {
jtulach@90
   451
        Mines m = new Mines();
jtulach@90
   452
        m.applyBindings();
jtulach@90
   453
    }
jtulach@63
   454
}