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