chess/src/main/java/org/apidesign/html/demo/chess/BoardModel.java
author Jaroslav Tulach <jtulach@netbeans.org>
Wed, 25 Sep 2013 04:18:47 +0200
branchchess
changeset 53 bc0094a5f88c
parent 52 6bb4070d2c20
child 244 cea2063fd0f9
permissions -rw-r--r--
Can now play game against ownself
jaroslav@49
     1
/**
jaroslav@49
     2
 * The MIT License (MIT)
jaroslav@49
     3
 *
jaroslav@49
     4
 * Copyright (C) 2013 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@49
     5
 *
jaroslav@49
     6
 * Permission is hereby granted, free of charge, to any person obtaining a copy
jaroslav@49
     7
 * of this software and associated documentation files (the "Software"), to deal
jaroslav@49
     8
 * in the Software without restriction, including without limitation the rights
jaroslav@49
     9
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
jaroslav@49
    10
 * copies of the Software, and to permit persons to whom the Software is
jaroslav@49
    11
 * furnished to do so, subject to the following conditions:
jaroslav@49
    12
 *
jaroslav@49
    13
 * The above copyright notice and this permission notice shall be included in
jaroslav@49
    14
 * all copies or substantial portions of the Software.
jaroslav@49
    15
 *
jaroslav@49
    16
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
jaroslav@49
    17
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
jaroslav@49
    18
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
jaroslav@49
    19
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
jaroslav@49
    20
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
jaroslav@49
    21
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
jaroslav@49
    22
 * THE SOFTWARE.
jaroslav@49
    23
 */
jaroslav@51
    24
package org.apidesign.html.demo.chess;
jaroslav@49
    25
jaroslav@49
    26
import java.util.Arrays;
jaroslav@49
    27
import java.util.Collections;
jaroslav@49
    28
import java.util.List;
jaroslav@49
    29
import java.util.Timer;
jaroslav@49
    30
import java.util.TimerTask;
jaroslav@49
    31
import net.java.html.json.ComputedProperty;
jaroslav@49
    32
import net.java.html.json.Function;
jaroslav@49
    33
import net.java.html.json.Model;
jaroslav@49
    34
import net.java.html.json.ModelOperation;
jaroslav@49
    35
import net.java.html.json.OnPropertyChange;
jaroslav@49
    36
import net.java.html.json.Property;
jaroslav@49
    37
import net.java.html.sound.AudioClip;
jaroslav@49
    38
jaroslav@49
    39
@Model(className="Board", properties={
jaroslav@49
    40
    @Property(name = "player", type = String.class),
jaroslav@49
    41
    @Property(name = "gameId", type = String.class),
jaroslav@49
    42
    @Property(name = "whitePlayer", type = String.class),
jaroslav@49
    43
    @Property(name = "blackPlayer", type = String.class),
jaroslav@49
    44
    @Property(name = "alertMessage", type = String.class),
jaroslav@49
    45
    @Property(name = "status", type = String.class),
jaroslav@49
    46
    @Property(name = "rows", type = Row.class, array = true),
jaroslav@49
    47
    @Property(name = "turn", type = Color.class),
jaroslav@49
    48
    @Property(name = "moves", type = Move.class, array = true),
jaroslav@49
    49
    @Property(name = "pendingMove", type = Move.class),
jaroslav@49
    50
    @Property(name = "active", type = boolean.class),
jaroslav@49
    51
})
jaroslav@49
    52
public class BoardModel {
jaroslav@49
    53
    @ComputedProperty static String title(String status, String gameId) {
jaroslav@49
    54
        String t = status != null ? status : gameId;
jaroslav@49
    55
        if (t != null && t.length() > 10) {
jaroslav@49
    56
            return t.substring(0, 10);
jaroslav@49
    57
        }
jaroslav@49
    58
        return t;
jaroslav@49
    59
    }
jaroslav@49
    60
jaroslav@49
    61
    @ModelOperation static void updateSummary(Board b, String summary) {
jaroslav@49
    62
        if (summary != null) {
jaroslav@49
    63
            b.setStatus(summary);
jaroslav@49
    64
        }
jaroslav@49
    65
    }
jaroslav@49
    66
    
jaroslav@49
    67
    private static final AudioClip MOVE = AudioClip.create("sounds/move.mp3");
jaroslav@49
    68
    @OnPropertyChange("moves") static void playMove() {
jaroslav@49
    69
        MOVE.play();
jaroslav@49
    70
    }
jaroslav@49
    71
jaroslav@49
    72
    private static final AudioClip CHECK = AudioClip.create("sounds/check.mp3");
jaroslav@49
    73
    private static final AudioClip CHECKMATE = AudioClip.create("sounds/checkmate.mp3");
jaroslav@49
    74
    
jaroslav@49
    75
    @Function static void selected(Board b, Square data) {
jaroslav@49
    76
        Square previoslySelected = findSelectedSquare(b);
jaroslav@49
    77
        if (previoslySelected == null) {
jaroslav@49
    78
            if (data.getPiece() != null && data.getPieceColor() == b.getTurn()) {
jaroslav@49
    79
                data.setSelected(true);
jaroslav@49
    80
                Rules.computeAccessible(b, data);
jaroslav@49
    81
            }
jaroslav@49
    82
        } else {
jaroslav@49
    83
            if (previoslySelected == data) {
jaroslav@49
    84
                data.setSelected(false);
jaroslav@49
    85
                Rules.computeAccessible(b, null);
jaroslav@49
    86
                return;
jaroslav@49
    87
            }
jaroslav@49
    88
            if (data.getPiece() != null && data.getPieceColor() == previoslySelected.getPieceColor()) {
jaroslav@49
    89
                previoslySelected.setSelected(false);
jaroslav@49
    90
                data.setSelected(true);
jaroslav@49
    91
                Rules.computeAccessible(b, data);
jaroslav@49
    92
                return;
jaroslav@49
    93
            }
jaroslav@49
    94
            if (data.isAccessible()) {
jaroslav@49
    95
                previoslySelected.setSelected(false);
jaroslav@49
    96
jaroslav@49
    97
                Move newMove = new Move();
jaroslav@49
    98
                newMove.setFrom(previoslySelected.getPosition());
jaroslav@49
    99
                newMove.setTo(data.getPosition());
jaroslav@49
   100
                newMove.setRound(b.getMoves().size() / 2 + 1);
jaroslav@49
   101
                newMove.setPiece(previoslySelected.getPiece());
jaroslav@49
   102
                newMove.setTurn(previoslySelected.getPieceColor());
jaroslav@49
   103
                newMove.setTakes(data.getPiece() != null);
jaroslav@49
   104
                b.getMoves().add(newMove);
jaroslav@49
   105
                b.setPendingMove(newMove);
jaroslav@49
   106
jaroslav@49
   107
                data.setPieceColor(previoslySelected.getPieceColor());
jaroslav@49
   108
                data.setPiece(previoslySelected.getPiece());
jaroslav@49
   109
                previoslySelected.setPiece(null);
jaroslav@49
   110
                previoslySelected.setPieceColor(null);
jtulach@53
   111
                b.setTurn(b.getTurn() == Color.W ? Color.B : Color.W);
jaroslav@49
   112
                Rules.computeAccessible(b, null);
jaroslav@49
   113
            }
jaroslav@49
   114
        }
jaroslav@49
   115
    }
jaroslav@49
   116
    
jaroslav@49
   117
    static class NextMove extends TimerTask {
jaroslav@49
   118
        private static final Timer T = new Timer("Animate moves");
jaroslav@49
   119
        private final Board b;
jaroslav@49
   120
        private final Move m;
jaroslav@49
   121
jaroslav@49
   122
        public NextMove(Board b, Move m) {
jaroslav@49
   123
            this.b = b;
jaroslav@49
   124
            this.m = m;
jaroslav@49
   125
            T.schedule(this, 1000);
jaroslav@49
   126
        }
jaroslav@49
   127
        
jaroslav@49
   128
        
jaroslav@49
   129
        @Override
jaroslav@49
   130
        public void run() {
jaroslav@49
   131
            b.showPosition(m);
jaroslav@49
   132
        }
jaroslav@49
   133
    }
jaroslav@49
   134
    
jaroslav@49
   135
    @ModelOperation @Function static void showPosition(Board b, Move data) {
jaroslav@49
   136
        Rules.initBoard(b);
jaroslav@49
   137
        boolean found = false;
jaroslav@49
   138
        for (Move m : b.getMoves()) {
jaroslav@49
   139
            if (found) {
jaroslav@49
   140
                b.setTurn(null);
jaroslav@49
   141
                new NextMove(b, m);
jaroslav@49
   142
                return;
jaroslav@49
   143
            }
jaroslav@49
   144
            Square from = findSquare(b, (char)m.getFrom().getX(), m.getFrom().getY());
jaroslav@49
   145
            Square to = findSquare(b, (char)m.getTo().getX(), m.getTo().getY());
jaroslav@49
   146
            to.setPiece(from.getPiece());
jaroslav@49
   147
            to.setPieceColor(from.getPieceColor());
jaroslav@49
   148
            from.setPiece(null);
jaroslav@49
   149
            from.setPieceColor(null);
jaroslav@49
   150
            if (m == data) {
jaroslav@49
   151
                found = true;
jaroslav@49
   152
            }
jaroslav@49
   153
        }
jaroslav@49
   154
        b.setTurn(b.getMoves().size() % 2 == 0 ? Color.W : Color.B);
jaroslav@49
   155
    }
jaroslav@49
   156
    
jaroslav@49
   157
    
jaroslav@49
   158
jaroslav@49
   159
    @Function static void rotateBoard(Board b) {
jaroslav@49
   160
        Collections.reverse(b.getRows());
jaroslav@49
   161
        for (Row r : b.getRows()) {
jaroslav@49
   162
            Collections.reverse(r.getColumns());
jaroslav@49
   163
        }
jaroslav@49
   164
        Square sq = findSelectedSquare(b);
jaroslav@49
   165
        if (sq != null) {
jaroslav@49
   166
            sq.setSelected(false);
jaroslav@49
   167
            Rules.computeAccessible(b, null);
jaroslav@49
   168
        }
jaroslav@49
   169
    }
jaroslav@49
   170
    
jaroslav@49
   171
    @ComputedProperty static boolean whiteTurn(Color turn) {
jaroslav@49
   172
        return turn == Color.W;
jaroslav@49
   173
    }
jaroslav@49
   174
jaroslav@49
   175
    @ComputedProperty static boolean blackTurn(Color turn) {
jaroslav@49
   176
        return turn == Color.B;
jaroslav@49
   177
    }
jaroslav@49
   178
    
jaroslav@49
   179
    @ComputedProperty static List<String> columnNames(List<Row> rows) {
jaroslav@49
   180
        boolean whiteDown = rows.isEmpty() || rows.get(0).getY() == 8;
jaroslav@49
   181
        String[] arr = new String[8];
jaroslav@49
   182
        for (int i = 0; i < 8; i++) {
jaroslav@49
   183
            String s;
jaroslav@49
   184
            if (whiteDown) {
jaroslav@49
   185
                s = "" + (char)('A' + i);
jaroslav@49
   186
            } else {
jaroslav@49
   187
                s = "" + (char)('H' - i);
jaroslav@49
   188
            }
jaroslav@49
   189
            arr[i] = s;
jaroslav@49
   190
        }
jaroslav@49
   191
        return Arrays.asList(arr);
jaroslav@49
   192
    }
jaroslav@49
   193
    
jaroslav@49
   194
    static Square findSquare(Board b, char column, int row) {
jaroslav@49
   195
        for (Row r : b.getRows()) {
jaroslav@49
   196
            for (Square square : r.getColumns()) {
jaroslav@49
   197
                if (square.getPosition().getX() == column && square.getPosition().getY() == row) {
jaroslav@49
   198
                    return square;
jaroslav@49
   199
                }
jaroslav@49
   200
            }
jaroslav@49
   201
        }
jaroslav@49
   202
        return null;
jaroslav@49
   203
    }
jaroslav@49
   204
jaroslav@49
   205
    private static Square findSquare(Board b, Position to) {
jaroslav@49
   206
        return findSquare(b, (char)to.getX(), to.getY());
jaroslav@49
   207
    }
jaroslav@49
   208
    
jaroslav@49
   209
    static Square findSelectedSquare(Board b) {
jaroslav@49
   210
        for (Row row : b.getRows()) {
jaroslav@49
   211
            for (Square square : row.getColumns()) {
jaroslav@49
   212
                if (square.isSelected()) {
jaroslav@49
   213
                    return square;
jaroslav@49
   214
                }
jaroslav@49
   215
            }
jaroslav@49
   216
        }
jaroslav@49
   217
        return null;
jaroslav@49
   218
    }
jaroslav@49
   219
jaroslav@52
   220
    static void moveUpdate(
jaroslav@52
   221
        final Board b, final Move move, 
jaroslav@52
   222
        final List<String> whites, final List<String> blacks, 
jaroslav@52
   223
        final Color turn, Object alert
jaroslav@52
   224
    ) {
jaroslav@49
   225
        final Square from = BoardModel.findSquare(b, move.getFrom());
jaroslav@49
   226
        final Square to = BoardModel.findSquare(b, move.getTo());
jaroslav@49
   227
        move.setPiece(from.getPiece());
jaroslav@49
   228
        move.setTurn(from.getPieceColor());
jaroslav@49
   229
        if (to.getPiece() != null) {
jaroslav@49
   230
            move.setTakes(true);
jaroslav@49
   231
        }
jaroslav@49
   232
        move.setRound(b.getMoves().size() / 2 + 1);
jaroslav@49
   233
        b.getMoves().add(move);
jaroslav@49
   234
        Rules.initBoard(b, whites, blacks, turn);
jaroslav@49
   235
    }
jaroslav@49
   236
jaroslav@49
   237
    @Model(className="Row", properties = {
jaroslav@49
   238
        @Property(name = "columns", type = Square.class, array = true)
jaroslav@49
   239
    })
jaroslav@49
   240
    static class RowsImpl {
jaroslav@49
   241
        @ComputedProperty static int y(List<Square> columns) {
jaroslav@49
   242
            return columns.isEmpty() ? 0 : columns.get(0).getY();
jaroslav@49
   243
        }
jaroslav@49
   244
    }
jaroslav@49
   245
    
jaroslav@49
   246
    enum PieceType {
jaroslav@49
   247
        PAWN(5), ROCK(2), KNIGHT(4), BISHOP(3), QUEEN(1), KING(0);
jaroslav@49
   248
jaroslav@49
   249
        final int entityIndex;
jaroslav@49
   250
        
jaroslav@49
   251
        PieceType(int ei) {
jaroslav@49
   252
            this.entityIndex = ei;
jaroslav@49
   253
        }
jaroslav@49
   254
jaroslav@49
   255
        static PieceType fromNotation(char notation) {
jaroslav@49
   256
            switch (notation) {
jaroslav@49
   257
                case 'R': return ROCK;
jaroslav@49
   258
                case 'N': return KNIGHT;
jaroslav@49
   259
                case 'B': return BISHOP;
jaroslav@49
   260
                case 'Q': return QUEEN;
jaroslav@49
   261
                case 'K': return KING;
jaroslav@49
   262
                case 'P': return PAWN;
jaroslav@49
   263
            }
jaroslav@49
   264
            throw new IllegalStateException("Unexpected: " + notation);
jaroslav@49
   265
        }
jaroslav@49
   266
        
jaroslav@49
   267
        String computeEntity(Color color) {
jaroslav@49
   268
            if (color == null) {
jaroslav@49
   269
                color = Color.W;
jaroslav@49
   270
            }
jaroslav@49
   271
            int base;
jaroslav@49
   272
            switch (color) {
jaroslav@49
   273
                case W: base = 12; break;
jaroslav@49
   274
                case B: base = 18; break;
jaroslav@49
   275
                default:
jaroslav@49
   276
                    throw new AssertionError();
jaroslav@49
   277
            }
jaroslav@49
   278
            return "&#98" + String.valueOf(base + entityIndex) + ";";
jaroslav@49
   279
        }
jaroslav@49
   280
    }
jaroslav@49
   281
    
jaroslav@49
   282
    @Model(className="Position", properties = {
jaroslav@49
   283
        @Property(name = "x", type = char.class),
jaroslav@49
   284
        @Property(name = "y", type = int.class),
jaroslav@49
   285
    })
jaroslav@49
   286
    static class PositionImpl {
jaroslav@49
   287
        @ComputedProperty static String location(int x, int y) {
jaroslav@49
   288
            return "" + (char)(x - 'A' + 'a') + y;
jaroslav@49
   289
        }
jaroslav@49
   290
    }
jaroslav@49
   291
    
jaroslav@49
   292
    @Model(className="Square", properties = {
jaroslav@49
   293
        @Property(name = "position", type = Position.class),
jaroslav@49
   294
        @Property(name = "color", type = Color.class),
jaroslav@49
   295
        @Property(name = "piece", type = PieceType.class),
jaroslav@49
   296
        @Property(name = "pieceColor", type = Color.class),
jaroslav@49
   297
        @Property(name = "selected", type = boolean.class),
jaroslav@49
   298
        @Property(name = "accessible", type = boolean.class),
jaroslav@49
   299
    })
jaroslav@49
   300
    static class SquareModel {
jaroslav@49
   301
        @ComputedProperty static String pieceEntity(
jaroslav@49
   302
            PieceType piece, Color pieceColor
jaroslav@49
   303
        ) {
jaroslav@49
   304
            if (piece == null) {
jaroslav@49
   305
                return "";
jaroslav@49
   306
            }
jaroslav@49
   307
            return piece.computeEntity(pieceColor);
jaroslav@49
   308
        }
jaroslav@49
   309
        
jaroslav@49
   310
        @ComputedProperty static String squareColor(
jtulach@53
   311
            Color color, boolean selected, boolean accessible
jaroslav@49
   312
        ) {
jaroslav@49
   313
            if (selected) {
jaroslav@49
   314
                return "selected";
jaroslav@49
   315
            }
jaroslav@49
   316
            if (accessible) {
jaroslav@49
   317
                return "accessible";
jaroslav@49
   318
            }
jaroslav@49
   319
            
jaroslav@49
   320
            if (color == null) {
jaroslav@49
   321
                return "";
jaroslav@49
   322
            } else {
jaroslav@49
   323
                if (color == Color.W) {
jaroslav@49
   324
                    return "white";
jaroslav@49
   325
                } else {
jaroslav@49
   326
                    return "black";
jaroslav@49
   327
                }
jaroslav@49
   328
            }
jaroslav@49
   329
        }
jaroslav@49
   330
        
jaroslav@49
   331
        @ComputedProperty static char x(Position position) {
jaroslav@49
   332
            return position == null ? 'A' : position.getX();
jaroslav@49
   333
        }
jaroslav@49
   334
jaroslav@49
   335
        @ComputedProperty static int y(Position position) {
jaroslav@49
   336
            return position == null ? 1 : position.getY();
jaroslav@49
   337
        }
jaroslav@49
   338
    }
jaroslav@49
   339
    
jaroslav@49
   340
    @Model(className = "Move", properties = {
jaroslav@49
   341
        @Property(name = "round", type = int.class),
jaroslav@49
   342
        @Property(name = "turn", type = Color.class),
jaroslav@49
   343
        @Property(name = "piece", type = PieceType.class),
jaroslav@49
   344
        @Property(name = "from", type = Position.class),
jaroslav@49
   345
        @Property(name = "to", type = Position.class),
jaroslav@49
   346
        @Property(name = "promoted", type = PieceType.class),
jaroslav@49
   347
        @Property(name = "takes", type = boolean.class),
jaroslav@49
   348
        @Property(name = "check", type = boolean.class),
jaroslav@49
   349
    })
jaroslav@49
   350
    static class MoveImpl {
jaroslav@49
   351
        @ComputedProperty static boolean whiteMove(Color turn) {
jaroslav@49
   352
            return turn == Color.W;
jaroslav@49
   353
        }
jaroslav@49
   354
        
jaroslav@49
   355
        @ComputedProperty static String html(
jaroslav@49
   356
            Position from, Position to, boolean takes, PieceType piece, Color turn
jaroslav@49
   357
        ) {
jaroslav@49
   358
            if (from == null || to == null) {
jaroslav@49
   359
                return "";
jaroslav@49
   360
            }
jaroslav@49
   361
            StringBuilder sb = new StringBuilder();
jaroslav@49
   362
            if (piece != null && piece != PieceType.PAWN) {
jaroslav@49
   363
                sb.append(piece.computeEntity(turn));
jaroslav@49
   364
            }
jaroslav@49
   365
            
jaroslav@49
   366
            sb.append(from.getLocation());
jaroslav@49
   367
            if (takes) {
jaroslav@49
   368
                sb.append("x");
jaroslav@49
   369
            }
jaroslav@49
   370
            sb.append(to.getLocation());
jaroslav@49
   371
            return sb.toString();
jaroslav@49
   372
        }
jaroslav@49
   373
jaroslav@49
   374
        static Move valueOf(String move) {
jaroslav@49
   375
            move = move.toUpperCase();
jaroslav@49
   376
            Move m = new Move();
jaroslav@49
   377
            {
jaroslav@49
   378
                Position p = new Position();
jaroslav@49
   379
                p.setX(move.charAt(0));
jaroslav@49
   380
                p.setY(move.charAt(1) - '0');
jaroslav@49
   381
                m.setFrom(p);
jaroslav@49
   382
            }
jaroslav@49
   383
            {
jaroslav@49
   384
                Position p = new Position();
jaroslav@49
   385
                p.setX(move.charAt(2));
jaroslav@49
   386
                p.setY(move.charAt(3) - '0');
jaroslav@49
   387
                m.setTo(p);
jaroslav@49
   388
            }
jaroslav@49
   389
            return m;
jaroslav@49
   390
        }
jaroslav@49
   391
    }
jaroslav@49
   392
}