chess/src/main/java/org/apidesign/html/demo/chess/BoardModel.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Mon, 22 Nov 2021 15:58:31 +0100
changeset 244 cea2063fd0f9
parent 53 bc0094a5f88c
permissions -rw-r--r--
Rochade shall move the rock as well
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@244
   107
                if (PieceType.KING == previoslySelected.getPiece() && previoslySelected.getX() == 'E' && previoslySelected.getY() == 1 || previoslySelected.getY() == 8) {
jaroslav@244
   108
                    if (data.getX() == 'G') {
jaroslav@244
   109
                        movePieceFromTo(
jaroslav@244
   110
                            findSquare(b, 'F', data.getY()),
jaroslav@244
   111
                            findSquare(b, 'H', data.getY())
jaroslav@244
   112
                        );
jaroslav@244
   113
                    } else if (data.getX() == 'C') {
jaroslav@244
   114
                        movePieceFromTo(
jaroslav@244
   115
                            findSquare(b, 'D', data.getY()),
jaroslav@244
   116
                            findSquare(b, 'A', data.getY())
jaroslav@244
   117
                        );
jaroslav@244
   118
                    }
jaroslav@244
   119
                }
jaroslav@244
   120
                movePieceFromTo(data, previoslySelected);
jtulach@53
   121
                b.setTurn(b.getTurn() == Color.W ? Color.B : Color.W);
jaroslav@49
   122
                Rules.computeAccessible(b, null);
jaroslav@49
   123
            }
jaroslav@49
   124
        }
jaroslav@49
   125
    }
jaroslav@244
   126
jaroslav@244
   127
    private static void movePieceFromTo(Square newSquare, Square oldSquare) {
jaroslav@244
   128
        newSquare.setPieceColor(oldSquare.getPieceColor());
jaroslav@244
   129
        newSquare.setPiece(oldSquare.getPiece());
jaroslav@244
   130
        oldSquare.setPiece(null);
jaroslav@244
   131
        oldSquare.setPieceColor(null);
jaroslav@244
   132
    }
jaroslav@49
   133
    
jaroslav@49
   134
    static class NextMove extends TimerTask {
jaroslav@49
   135
        private static final Timer T = new Timer("Animate moves");
jaroslav@49
   136
        private final Board b;
jaroslav@49
   137
        private final Move m;
jaroslav@49
   138
jaroslav@49
   139
        public NextMove(Board b, Move m) {
jaroslav@49
   140
            this.b = b;
jaroslav@49
   141
            this.m = m;
jaroslav@49
   142
            T.schedule(this, 1000);
jaroslav@49
   143
        }
jaroslav@49
   144
        
jaroslav@49
   145
        
jaroslav@49
   146
        @Override
jaroslav@49
   147
        public void run() {
jaroslav@49
   148
            b.showPosition(m);
jaroslav@49
   149
        }
jaroslav@49
   150
    }
jaroslav@49
   151
    
jaroslav@49
   152
    @ModelOperation @Function static void showPosition(Board b, Move data) {
jaroslav@49
   153
        Rules.initBoard(b);
jaroslav@49
   154
        boolean found = false;
jaroslav@49
   155
        for (Move m : b.getMoves()) {
jaroslav@49
   156
            if (found) {
jaroslav@49
   157
                b.setTurn(null);
jaroslav@49
   158
                new NextMove(b, m);
jaroslav@49
   159
                return;
jaroslav@49
   160
            }
jaroslav@49
   161
            Square from = findSquare(b, (char)m.getFrom().getX(), m.getFrom().getY());
jaroslav@49
   162
            Square to = findSquare(b, (char)m.getTo().getX(), m.getTo().getY());
jaroslav@49
   163
            to.setPiece(from.getPiece());
jaroslav@49
   164
            to.setPieceColor(from.getPieceColor());
jaroslav@49
   165
            from.setPiece(null);
jaroslav@49
   166
            from.setPieceColor(null);
jaroslav@49
   167
            if (m == data) {
jaroslav@49
   168
                found = true;
jaroslav@49
   169
            }
jaroslav@49
   170
        }
jaroslav@49
   171
        b.setTurn(b.getMoves().size() % 2 == 0 ? Color.W : Color.B);
jaroslav@49
   172
    }
jaroslav@49
   173
    
jaroslav@49
   174
    
jaroslav@49
   175
jaroslav@49
   176
    @Function static void rotateBoard(Board b) {
jaroslav@49
   177
        Collections.reverse(b.getRows());
jaroslav@49
   178
        for (Row r : b.getRows()) {
jaroslav@49
   179
            Collections.reverse(r.getColumns());
jaroslav@49
   180
        }
jaroslav@49
   181
        Square sq = findSelectedSquare(b);
jaroslav@49
   182
        if (sq != null) {
jaroslav@49
   183
            sq.setSelected(false);
jaroslav@49
   184
            Rules.computeAccessible(b, null);
jaroslav@49
   185
        }
jaroslav@49
   186
    }
jaroslav@49
   187
    
jaroslav@49
   188
    @ComputedProperty static boolean whiteTurn(Color turn) {
jaroslav@49
   189
        return turn == Color.W;
jaroslav@49
   190
    }
jaroslav@49
   191
jaroslav@49
   192
    @ComputedProperty static boolean blackTurn(Color turn) {
jaroslav@49
   193
        return turn == Color.B;
jaroslav@49
   194
    }
jaroslav@49
   195
    
jaroslav@49
   196
    @ComputedProperty static List<String> columnNames(List<Row> rows) {
jaroslav@49
   197
        boolean whiteDown = rows.isEmpty() || rows.get(0).getY() == 8;
jaroslav@49
   198
        String[] arr = new String[8];
jaroslav@49
   199
        for (int i = 0; i < 8; i++) {
jaroslav@49
   200
            String s;
jaroslav@49
   201
            if (whiteDown) {
jaroslav@49
   202
                s = "" + (char)('A' + i);
jaroslav@49
   203
            } else {
jaroslav@49
   204
                s = "" + (char)('H' - i);
jaroslav@49
   205
            }
jaroslav@49
   206
            arr[i] = s;
jaroslav@49
   207
        }
jaroslav@49
   208
        return Arrays.asList(arr);
jaroslav@49
   209
    }
jaroslav@49
   210
    
jaroslav@49
   211
    static Square findSquare(Board b, char column, int row) {
jaroslav@49
   212
        for (Row r : b.getRows()) {
jaroslav@49
   213
            for (Square square : r.getColumns()) {
jaroslav@49
   214
                if (square.getPosition().getX() == column && square.getPosition().getY() == row) {
jaroslav@49
   215
                    return square;
jaroslav@49
   216
                }
jaroslav@49
   217
            }
jaroslav@49
   218
        }
jaroslav@49
   219
        return null;
jaroslav@49
   220
    }
jaroslav@49
   221
jaroslav@49
   222
    private static Square findSquare(Board b, Position to) {
jaroslav@49
   223
        return findSquare(b, (char)to.getX(), to.getY());
jaroslav@49
   224
    }
jaroslav@49
   225
    
jaroslav@49
   226
    static Square findSelectedSquare(Board b) {
jaroslav@49
   227
        for (Row row : b.getRows()) {
jaroslav@49
   228
            for (Square square : row.getColumns()) {
jaroslav@49
   229
                if (square.isSelected()) {
jaroslav@49
   230
                    return square;
jaroslav@49
   231
                }
jaroslav@49
   232
            }
jaroslav@49
   233
        }
jaroslav@49
   234
        return null;
jaroslav@49
   235
    }
jaroslav@49
   236
jaroslav@52
   237
    static void moveUpdate(
jaroslav@52
   238
        final Board b, final Move move, 
jaroslav@52
   239
        final List<String> whites, final List<String> blacks, 
jaroslav@52
   240
        final Color turn, Object alert
jaroslav@52
   241
    ) {
jaroslav@49
   242
        final Square from = BoardModel.findSquare(b, move.getFrom());
jaroslav@49
   243
        final Square to = BoardModel.findSquare(b, move.getTo());
jaroslav@49
   244
        move.setPiece(from.getPiece());
jaroslav@49
   245
        move.setTurn(from.getPieceColor());
jaroslav@49
   246
        if (to.getPiece() != null) {
jaroslav@49
   247
            move.setTakes(true);
jaroslav@49
   248
        }
jaroslav@49
   249
        move.setRound(b.getMoves().size() / 2 + 1);
jaroslav@49
   250
        b.getMoves().add(move);
jaroslav@49
   251
        Rules.initBoard(b, whites, blacks, turn);
jaroslav@49
   252
    }
jaroslav@49
   253
jaroslav@49
   254
    @Model(className="Row", properties = {
jaroslav@49
   255
        @Property(name = "columns", type = Square.class, array = true)
jaroslav@49
   256
    })
jaroslav@49
   257
    static class RowsImpl {
jaroslav@49
   258
        @ComputedProperty static int y(List<Square> columns) {
jaroslav@49
   259
            return columns.isEmpty() ? 0 : columns.get(0).getY();
jaroslav@49
   260
        }
jaroslav@49
   261
    }
jaroslav@49
   262
    
jaroslav@49
   263
    enum PieceType {
jaroslav@49
   264
        PAWN(5), ROCK(2), KNIGHT(4), BISHOP(3), QUEEN(1), KING(0);
jaroslav@49
   265
jaroslav@49
   266
        final int entityIndex;
jaroslav@49
   267
        
jaroslav@49
   268
        PieceType(int ei) {
jaroslav@49
   269
            this.entityIndex = ei;
jaroslav@49
   270
        }
jaroslav@49
   271
jaroslav@49
   272
        static PieceType fromNotation(char notation) {
jaroslav@49
   273
            switch (notation) {
jaroslav@49
   274
                case 'R': return ROCK;
jaroslav@49
   275
                case 'N': return KNIGHT;
jaroslav@49
   276
                case 'B': return BISHOP;
jaroslav@49
   277
                case 'Q': return QUEEN;
jaroslav@49
   278
                case 'K': return KING;
jaroslav@49
   279
                case 'P': return PAWN;
jaroslav@49
   280
            }
jaroslav@49
   281
            throw new IllegalStateException("Unexpected: " + notation);
jaroslav@49
   282
        }
jaroslav@49
   283
        
jaroslav@49
   284
        String computeEntity(Color color) {
jaroslav@49
   285
            if (color == null) {
jaroslav@49
   286
                color = Color.W;
jaroslav@49
   287
            }
jaroslav@49
   288
            int base;
jaroslav@49
   289
            switch (color) {
jaroslav@49
   290
                case W: base = 12; break;
jaroslav@49
   291
                case B: base = 18; break;
jaroslav@49
   292
                default:
jaroslav@49
   293
                    throw new AssertionError();
jaroslav@49
   294
            }
jaroslav@49
   295
            return "&#98" + String.valueOf(base + entityIndex) + ";";
jaroslav@49
   296
        }
jaroslav@49
   297
    }
jaroslav@49
   298
    
jaroslav@49
   299
    @Model(className="Position", properties = {
jaroslav@49
   300
        @Property(name = "x", type = char.class),
jaroslav@49
   301
        @Property(name = "y", type = int.class),
jaroslav@49
   302
    })
jaroslav@49
   303
    static class PositionImpl {
jaroslav@49
   304
        @ComputedProperty static String location(int x, int y) {
jaroslav@49
   305
            return "" + (char)(x - 'A' + 'a') + y;
jaroslav@49
   306
        }
jaroslav@49
   307
    }
jaroslav@49
   308
    
jaroslav@49
   309
    @Model(className="Square", properties = {
jaroslav@49
   310
        @Property(name = "position", type = Position.class),
jaroslav@49
   311
        @Property(name = "color", type = Color.class),
jaroslav@49
   312
        @Property(name = "piece", type = PieceType.class),
jaroslav@49
   313
        @Property(name = "pieceColor", type = Color.class),
jaroslav@49
   314
        @Property(name = "selected", type = boolean.class),
jaroslav@49
   315
        @Property(name = "accessible", type = boolean.class),
jaroslav@49
   316
    })
jaroslav@49
   317
    static class SquareModel {
jaroslav@49
   318
        @ComputedProperty static String pieceEntity(
jaroslav@49
   319
            PieceType piece, Color pieceColor
jaroslav@49
   320
        ) {
jaroslav@49
   321
            if (piece == null) {
jaroslav@49
   322
                return "";
jaroslav@49
   323
            }
jaroslav@49
   324
            return piece.computeEntity(pieceColor);
jaroslav@49
   325
        }
jaroslav@49
   326
        
jaroslav@49
   327
        @ComputedProperty static String squareColor(
jtulach@53
   328
            Color color, boolean selected, boolean accessible
jaroslav@49
   329
        ) {
jaroslav@49
   330
            if (selected) {
jaroslav@49
   331
                return "selected";
jaroslav@49
   332
            }
jaroslav@49
   333
            if (accessible) {
jaroslav@49
   334
                return "accessible";
jaroslav@49
   335
            }
jaroslav@49
   336
            
jaroslav@49
   337
            if (color == null) {
jaroslav@49
   338
                return "";
jaroslav@49
   339
            } else {
jaroslav@49
   340
                if (color == Color.W) {
jaroslav@49
   341
                    return "white";
jaroslav@49
   342
                } else {
jaroslav@49
   343
                    return "black";
jaroslav@49
   344
                }
jaroslav@49
   345
            }
jaroslav@49
   346
        }
jaroslav@49
   347
        
jaroslav@49
   348
        @ComputedProperty static char x(Position position) {
jaroslav@49
   349
            return position == null ? 'A' : position.getX();
jaroslav@49
   350
        }
jaroslav@49
   351
jaroslav@49
   352
        @ComputedProperty static int y(Position position) {
jaroslav@49
   353
            return position == null ? 1 : position.getY();
jaroslav@49
   354
        }
jaroslav@49
   355
    }
jaroslav@49
   356
    
jaroslav@49
   357
    @Model(className = "Move", properties = {
jaroslav@49
   358
        @Property(name = "round", type = int.class),
jaroslav@49
   359
        @Property(name = "turn", type = Color.class),
jaroslav@49
   360
        @Property(name = "piece", type = PieceType.class),
jaroslav@49
   361
        @Property(name = "from", type = Position.class),
jaroslav@49
   362
        @Property(name = "to", type = Position.class),
jaroslav@49
   363
        @Property(name = "promoted", type = PieceType.class),
jaroslav@49
   364
        @Property(name = "takes", type = boolean.class),
jaroslav@49
   365
        @Property(name = "check", type = boolean.class),
jaroslav@49
   366
    })
jaroslav@49
   367
    static class MoveImpl {
jaroslav@49
   368
        @ComputedProperty static boolean whiteMove(Color turn) {
jaroslav@49
   369
            return turn == Color.W;
jaroslav@49
   370
        }
jaroslav@49
   371
        
jaroslav@49
   372
        @ComputedProperty static String html(
jaroslav@49
   373
            Position from, Position to, boolean takes, PieceType piece, Color turn
jaroslav@49
   374
        ) {
jaroslav@49
   375
            if (from == null || to == null) {
jaroslav@49
   376
                return "";
jaroslav@49
   377
            }
jaroslav@49
   378
            StringBuilder sb = new StringBuilder();
jaroslav@49
   379
            if (piece != null && piece != PieceType.PAWN) {
jaroslav@49
   380
                sb.append(piece.computeEntity(turn));
jaroslav@49
   381
            }
jaroslav@49
   382
            
jaroslav@49
   383
            sb.append(from.getLocation());
jaroslav@49
   384
            if (takes) {
jaroslav@49
   385
                sb.append("x");
jaroslav@49
   386
            }
jaroslav@49
   387
            sb.append(to.getLocation());
jaroslav@49
   388
            return sb.toString();
jaroslav@49
   389
        }
jaroslav@49
   390
jaroslav@49
   391
        static Move valueOf(String move) {
jaroslav@49
   392
            move = move.toUpperCase();
jaroslav@49
   393
            Move m = new Move();
jaroslav@49
   394
            {
jaroslav@49
   395
                Position p = new Position();
jaroslav@49
   396
                p.setX(move.charAt(0));
jaroslav@49
   397
                p.setY(move.charAt(1) - '0');
jaroslav@49
   398
                m.setFrom(p);
jaroslav@49
   399
            }
jaroslav@49
   400
            {
jaroslav@49
   401
                Position p = new Position();
jaroslav@49
   402
                p.setX(move.charAt(2));
jaroslav@49
   403
                p.setY(move.charAt(3) - '0');
jaroslav@49
   404
                m.setTo(p);
jaroslav@49
   405
            }
jaroslav@49
   406
            return m;
jaroslav@49
   407
        }
jaroslav@49
   408
    }
jaroslav@49
   409
}