webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Games.java
author Jaroslav Tulach <jtulach@netbeans.org>
Thu, 01 Oct 2009 06:06:55 +0200
changeset 117 c1057591a344
parent 115 6a80463a74c0
child 128 eba04a2569d0
permissions -rw-r--r--
Specifying UTF-8 when reading and writing files
jtulach@36
     1
/*
jtulach@36
     2
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
jtulach@36
     3
 *
jtulach@36
     4
 * The contents of this file are subject to the terms of either the GNU
jtulach@36
     5
 * General Public License Version 2 only ("GPL") or the Common
jtulach@36
     6
 * Development and Distribution License("CDDL") (collectively, the
jtulach@36
     7
 * "License"). You may not use this file except in compliance with the
jtulach@36
     8
 * License. You can obtain a copy of the License at
jtulach@36
     9
 * http://www.netbeans.org/cddl-gplv2.html
jtulach@36
    10
 * or nbbuild/licenses/CDDL-GPL-2-CP. See the License for the
jtulach@36
    11
 * specific language governing permissions and limitations under the
jtulach@36
    12
 * License.  When distributing the software, include this License Header
jtulach@36
    13
 * Notice in each file and include the License file at
jtulach@36
    14
 * nbbuild/licenses/CDDL-GPL-2-CP.  Sun designates this
jtulach@36
    15
 * particular file as subject to the "Classpath" exception as provided
jtulach@36
    16
 * by Sun in the GPL Version 2 section of the License file that
jtulach@36
    17
 * accompanied this code. If applicable, add the following below the
jtulach@36
    18
 * License Header, with the fields enclosed by brackets [] replaced by
jtulach@36
    19
 * your own identifying information:
jtulach@36
    20
 * "Portions Copyrighted [year] [name of copyright owner]"
jtulach@36
    21
 *
jtulach@36
    22
 * Contributor(s):
jtulach@36
    23
 *
jtulach@36
    24
 * Portions Copyrighted 2009 Jaroslav Tulach
jtulach@36
    25
 */
jtulach@36
    26
jtulach@36
    27
package cz.xelfi.quoridor.webidor.resources;
jtulach@36
    28
jtulach@36
    29
import cz.xelfi.quoridor.IllegalPositionException;
jtulach@36
    30
import cz.xelfi.quoridor.webidor.*;
jtulach@36
    31
import cz.xelfi.quoridor.Move;
jtulach@37
    32
import java.io.BufferedReader;
jtulach@37
    33
import java.io.BufferedWriter;
jtulach@37
    34
import java.io.File;
jtulach@117
    35
import java.io.FileInputStream;
jtulach@117
    36
import java.io.FileOutputStream;
jtulach@37
    37
import java.io.FileReader;
jtulach@37
    38
import java.io.FileWriter;
jtulach@36
    39
import java.io.IOException;
jtulach@117
    40
import java.io.InputStream;
jtulach@117
    41
import java.io.InputStreamReader;
jtulach@117
    42
import java.io.OutputStreamWriter;
jtulach@37
    43
import java.io.PrintWriter;
jtulach@117
    44
import java.io.Writer;
jtulach@36
    45
import java.util.ArrayList;
jaroslav@96
    46
import java.util.Collections;
jaroslav@48
    47
import java.util.Date;
jtulach@36
    48
import java.util.List;
jtulach@37
    49
import java.util.logging.Level;
jtulach@37
    50
import java.util.logging.Logger;
jaroslav@115
    51
import java.util.regex.Matcher;
jaroslav@115
    52
import java.util.regex.Pattern;
jaroslav@100
    53
import javax.ws.rs.DefaultValue;
jtulach@36
    54
import javax.ws.rs.GET;
jtulach@36
    55
import javax.ws.rs.POST;
jtulach@36
    56
import javax.ws.rs.PUT;
jtulach@36
    57
import javax.ws.rs.Path;
jtulach@36
    58
import javax.ws.rs.PathParam;
jtulach@36
    59
import javax.ws.rs.Produces;
jtulach@36
    60
import javax.ws.rs.QueryParam;
jtulach@82
    61
import javax.ws.rs.WebApplicationException;
jtulach@36
    62
import javax.ws.rs.core.MediaType;
jtulach@82
    63
import javax.ws.rs.core.Response.Status;
jtulach@36
    64
jtulach@36
    65
/**
jtulach@36
    66
 *
jtulach@36
    67
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jtulach@36
    68
 */
jtulach@36
    69
public final class Games {
jtulach@82
    70
    private final Quoridor quoridor;
jaroslav@48
    71
    private final List<Game> games = new ArrayList<Game>();
jtulach@37
    72
    private final File dir;
jtulach@37
    73
    private static final Logger LOG = Logger.getLogger(Games.class.getName());
jtulach@37
    74
jtulach@82
    75
    public Games(File dir, Quoridor quoridor) {
jtulach@37
    76
        this.dir = dir;
jtulach@82
    77
        this.quoridor = quoridor;
jtulach@37
    78
        File[] arr = dir.listFiles();
jtulach@37
    79
        if (arr != null) {
jtulach@37
    80
            for (File f : arr) {
jtulach@37
    81
                try {
jtulach@37
    82
                    Game g = readGame(f);
jtulach@37
    83
                    games.add(g);
jtulach@37
    84
                } catch (IOException ex) {
jtulach@37
    85
                    LOG.log(Level.WARNING, "Wrong game in " + f, ex);
jtulach@37
    86
                }
jtulach@37
    87
            }
jtulach@37
    88
        }
jtulach@37
    89
    }
jtulach@36
    90
jtulach@36
    91
    @POST
jaroslav@48
    92
    @Produces({ MediaType.APPLICATION_JSON, MediaType.TEXT_XML })
jaroslav@48
    93
    public GameId createGame(
jtulach@82
    94
        @QueryParam("loginID") String id,
jtulach@38
    95
        @QueryParam("white") String white,
jtulach@38
    96
        @QueryParam("black") String black
jaroslav@48
    97
    ) throws IOException {
jtulach@82
    98
        String logUser = quoridor.isLoggedIn(id);
jtulach@82
    99
        if (logUser == null) {
jtulach@82
   100
            throw new WebApplicationException(Status.UNAUTHORIZED);
jtulach@82
   101
        }
jtulach@38
   102
        if (white == null) {
jtulach@82
   103
            throw new WebApplicationException(Status.PRECONDITION_FAILED);
jtulach@38
   104
        }
jtulach@38
   105
        if (black == null) {
jtulach@82
   106
            throw new WebApplicationException(Status.PRECONDITION_FAILED);
jtulach@38
   107
        }
jtulach@82
   108
        if (!logUser.equals(white) && !logUser.equals(black)) {
jtulach@82
   109
            throw new WebApplicationException(Status.PRECONDITION_FAILED);
jtulach@82
   110
        }
jtulach@82
   111
jtulach@38
   112
        Game g = new Game(white, black);
jaroslav@48
   113
        storeGame(g);
jtulach@36
   114
        games.add(g);
jaroslav@48
   115
        return g.getId();
jtulach@36
   116
    }
jtulach@36
   117
jtulach@38
   118
    @GET
jtulach@38
   119
    @Path("{id}")
jtulach@38
   120
    @Produces(MediaType.TEXT_PLAIN)
jaroslav@106
   121
    public String getBoard(
jaroslav@106
   122
        @PathParam("id") String id,
jaroslav@106
   123
        @QueryParam("move") @DefaultValue("-1") int move
jaroslav@106
   124
    ) {
jaroslav@106
   125
        Game g = findGame(id, move);
jtulach@38
   126
        if (g == null) {
jtulach@38
   127
            throw new IllegalArgumentException("Unknown game " + id);
jtulach@38
   128
        }
jtulach@38
   129
        return g.getBoard().toString();
jtulach@38
   130
    }
jtulach@38
   131
jaroslav@46
   132
    @GET
jaroslav@46
   133
    @Path("{id}")
jaroslav@48
   134
    @Produces({ MediaType.APPLICATION_JSON, MediaType.TEXT_XML })
jaroslav@100
   135
    public Game getBoardInfo(
jaroslav@100
   136
        @PathParam("id") String id,
jaroslav@100
   137
        @QueryParam("move") @DefaultValue("-1") int move
jaroslav@100
   138
    ) {
jaroslav@100
   139
        return findGame(id, move);
jaroslav@46
   140
    }
jaroslav@46
   141
jtulach@36
   142
    @PUT
jtulach@36
   143
    @Path("{id}")
jaroslav@48
   144
    @Produces({ MediaType.APPLICATION_JSON, MediaType.TEXT_XML })
jaroslav@48
   145
    public GameId applyMove(
jtulach@82
   146
        @QueryParam("loginID") String loginId,
jtulach@38
   147
        @PathParam("id") String id,
jtulach@38
   148
        @QueryParam("player") String player,
jaroslav@115
   149
        @QueryParam("move") String move,
jaroslav@115
   150
        @QueryParam("comment") String comment
jtulach@38
   151
    ) throws IllegalPositionException {
jtulach@82
   152
        String logUser = quoridor.isLoggedIn(loginId);
jtulach@82
   153
        if (logUser == null) {
jtulach@82
   154
            throw new WebApplicationException(Status.UNAUTHORIZED);
jtulach@82
   155
        }
jtulach@82
   156
        if (!logUser.equals(player)) {
jtulach@82
   157
            throw new WebApplicationException(Status.UNAUTHORIZED);
jtulach@82
   158
        }
jaroslav@115
   159
        if (comment == null && move == null) {
jaroslav@115
   160
            throw new WebApplicationException(Status.BAD_REQUEST);
jaroslav@115
   161
        }
jtulach@82
   162
jtulach@36
   163
        Game g = findGame(id);
jtulach@36
   164
        if (g == null) {
jtulach@36
   165
            throw new IllegalArgumentException("Unknown game " + id);
jtulach@36
   166
        }
jaroslav@115
   167
        if (move != null) {
jaroslav@115
   168
            Move m = Move.valueOf(move);
jaroslav@115
   169
            g.apply(player, m, new Date());
jaroslav@115
   170
        }
jaroslav@115
   171
        if (comment != null) {
jaroslav@115
   172
            g.comment(player, comment, new Date());
jaroslav@115
   173
        }
jtulach@37
   174
        try {
jtulach@37
   175
            storeGame(g);
jtulach@37
   176
        } catch (IOException ex) {
jtulach@37
   177
            LOG.log(Level.WARNING, "Cannot store game " + id, ex);
jtulach@37
   178
        }
jaroslav@48
   179
        return g.getId();
jtulach@36
   180
    }
jtulach@36
   181
jtulach@36
   182
    @GET
jaroslav@48
   183
    @Produces({MediaType.APPLICATION_JSON, MediaType.TEXT_XML })
jaroslav@48
   184
    public List<GameId> listGames() {
jaroslav@48
   185
        List<GameId> arr = new ArrayList<GameId>(games.size());
jaroslav@48
   186
        for (Game g : games) {
jaroslav@48
   187
            arr.add(g.getId());
jaroslav@48
   188
        }
jaroslav@96
   189
        Collections.sort(arr, GameId.NEWEST_FIRST);
jaroslav@48
   190
        return arr;
jaroslav@48
   191
    }
jaroslav@48
   192
jtulach@36
   193
    public List<Game> getGames() {
jtulach@36
   194
        return games;
jtulach@36
   195
    }
jtulach@36
   196
jtulach@36
   197
    private Game findGame(String id) {
jtulach@36
   198
        for (Game g : games) {
jaroslav@48
   199
            if (g.getId().getId().equals(id)) {
jtulach@36
   200
                return g;
jtulach@36
   201
            }
jtulach@36
   202
        }
jtulach@36
   203
        return null;
jtulach@36
   204
    }
jaroslav@100
   205
    private Game findGame(String id, int move) {
jaroslav@100
   206
        Game g = findGame(id);
jaroslav@100
   207
        if (g == null) {
jaroslav@100
   208
            throw new IllegalArgumentException("Unknown game " + id);
jaroslav@100
   209
        }
jaroslav@100
   210
        try {
jaroslav@100
   211
            return move == -1 ? g : g.snapshot(move);
jaroslav@100
   212
        } catch (IllegalPositionException ex) {
jaroslav@100
   213
            Logger.getLogger(Games.class.getName()).log(Level.SEVERE, null, ex);
jaroslav@100
   214
            return null;
jaroslav@100
   215
        }
jaroslav@100
   216
    }
jtulach@36
   217
jaroslav@115
   218
    private static final Pattern saidWho = Pattern.compile("# *([^ ]*) *@(.*):$");
jaroslav@115
   219
jtulach@37
   220
    private Game readGame(File f) throws IOException {
jtulach@117
   221
        InputStream is = new FileInputStream(f);
jtulach@117
   222
        BufferedReader r = new BufferedReader(new InputStreamReader(is, "UTF-8"));
jtulach@37
   223
        String white = null;
jtulach@37
   224
        String black = null;
jtulach@37
   225
        Game g = null;
jaroslav@115
   226
        String who = null;
jaroslav@115
   227
        String when = null;
jtulach@37
   228
        for (;;) {
jtulach@37
   229
            String line = r.readLine();
jtulach@37
   230
            if (line == null) {
jaroslav@48
   231
                line = "finish";
jtulach@37
   232
            }
jtulach@39
   233
            line = line.trim();
jtulach@39
   234
            if (line.length() == 0) {
jtulach@39
   235
                continue;
jtulach@39
   236
            }
jtulach@37
   237
            if (line.startsWith("# white: ")) {
jtulach@37
   238
                white = line.substring(9);
jtulach@37
   239
                continue;
jtulach@37
   240
            }
jtulach@37
   241
            if (line.startsWith("# black: ")) {
jtulach@37
   242
                black = line.substring(9);
jtulach@37
   243
                continue;
jtulach@37
   244
            }
jtulach@37
   245
            if (line.startsWith("#")) {
jaroslav@115
   246
                Matcher m =saidWho.matcher(line);
jaroslav@115
   247
                if (m.matches()) {
jaroslav@115
   248
                    who = m.group(1);
jaroslav@115
   249
                    when = m.group(2);
jaroslav@115
   250
                    continue;
jaroslav@115
   251
                }
jaroslav@115
   252
                if (g == null) {
jaroslav@115
   253
                    continue;
jaroslav@115
   254
                }
jaroslav@115
   255
                if (line.startsWith("# ")) {
jaroslav@115
   256
                    line = line.substring(2);
jaroslav@115
   257
                } else {
jaroslav@115
   258
                    line = line.substring(1);
jaroslav@115
   259
                }
jaroslav@115
   260
                Date d = new Date();
jaroslav@115
   261
                try {
jaroslav@115
   262
                    if (when != null) {
jaroslav@115
   263
                        d = new Date(Date.parse(when));
jaroslav@115
   264
                    }
jaroslav@115
   265
                } catch (IllegalArgumentException ex) {
jaroslav@115
   266
                    LOG.warning("Unparseable date " + when + " in " + f);
jaroslav@115
   267
                }
jaroslav@115
   268
                g.comment(who, line, d);
jaroslav@115
   269
                who = null;
jaroslav@115
   270
                when = null;
jtulach@37
   271
                continue;
jtulach@37
   272
            }
jtulach@37
   273
            if (white == null || black == null) {
jtulach@37
   274
                throw new IOException("Missing white and black identification in " + f);
jtulach@37
   275
            }
jtulach@37
   276
            if (g == null) {
jtulach@78
   277
                GameId id = new GameId(f.getName(), white, black, new Date(f.lastModified()), new Date(f.lastModified()), GameStatus.whiteMove);
jaroslav@48
   278
                g = new Game(id);
jaroslav@48
   279
            }
jaroslav@114
   280
            int hash = line.indexOf('#');
jaroslav@114
   281
            if (hash >= 0) {
jaroslav@114
   282
                line = line.substring(0, hash);
jaroslav@114
   283
            }
jaroslav@48
   284
            if (line.equals("finish")) {
jaroslav@48
   285
                break;
jtulach@37
   286
            }
jtulach@37
   287
            String[] moves = line.split(" ");
jtulach@37
   288
            if (moves.length == 0) {
jtulach@37
   289
                continue;
jtulach@37
   290
            }
jtulach@37
   291
            if (moves.length > 2) {
jtulach@37
   292
                throw new IOException("Too much moves on line: " + line);
jtulach@37
   293
            }
jtulach@37
   294
            try {
jaroslav@114
   295
                if (!"...".equals(moves[0])) {
jaroslav@114
   296
                    g.apply(white, Move.valueOf(moves[0]), null);
jaroslav@114
   297
                }
jtulach@37
   298
                if (moves.length == 2) {
jtulach@79
   299
                    g.apply(black, Move.valueOf(moves[1]), null);
jtulach@37
   300
                }
jtulach@37
   301
            } catch (IllegalPositionException ex) {
jtulach@37
   302
                throw new IOException("Wrong move: " + ex.getMessage());
jtulach@37
   303
            }
jtulach@37
   304
        }
jtulach@37
   305
        if (g == null) {
jtulach@37
   306
            throw new IOException("No moves in " + f);
jtulach@37
   307
        }
jtulach@37
   308
        return g;
jtulach@36
   309
    }
jtulach@36
   310
jtulach@37
   311
    private void storeGame(Game g) throws IOException {
jtulach@37
   312
        dir.mkdirs();
jaroslav@48
   313
        File f = new File(dir, g.getId().getId());
jaroslav@115
   314
        storeGame(g, f);
jaroslav@115
   315
    }
jaroslav@115
   316
jaroslav@115
   317
    final void storeGame(Game g, File f) throws IOException {
jtulach@117
   318
        FileOutputStream os = new FileOutputStream(f);
jtulach@117
   319
        Writer w = new BufferedWriter(new OutputStreamWriter(os, "UTF-8"));
jtulach@117
   320
        PrintWriter pw = new PrintWriter(w);
jaroslav@48
   321
        pw.println("# white: " + g.getId().getWhite());
jaroslav@48
   322
        pw.println("# black: " + g.getId().getBlack());
jtulach@77
   323
        pw.println("# status: " + g.getId().getStatus());
jtulach@37
   324
        int cnt = 0;
jaroslav@115
   325
        boolean separate = true;
jaroslav@115
   326
        for (CommentedMove m : g.getMoves()) {
jaroslav@115
   327
            if (!separate && cnt % 2 == 1) {
jaroslav@115
   328
                pw.print("... ");
jaroslav@115
   329
            }
jaroslav@115
   330
            separate = true;
jaroslav@115
   331
            pw.print(m.getMove().toString());
jaroslav@115
   332
            List<Note> notes = m.getComments();
jaroslav@115
   333
            if (notes != null) {
jaroslav@115
   334
                separate = false;
jtulach@37
   335
                pw.println();
jaroslav@115
   336
                for (Note n : notes) {
jaroslav@115
   337
                    pw.print ("# ");
jaroslav@115
   338
                    pw.print(n.getWho());
jaroslav@115
   339
                    pw.print("@");
jaroslav@115
   340
                    pw.print(n.getWhen());
jaroslav@115
   341
                    pw.println(":");
jaroslav@115
   342
                    for (String l : n.getComment().split("\n")) {
jaroslav@115
   343
                        pw.print("# ");
jaroslav@115
   344
                        pw.println(l);
jaroslav@115
   345
                    }
jaroslav@115
   346
                }
jaroslav@115
   347
            }
jaroslav@115
   348
jaroslav@115
   349
            cnt++;
jaroslav@115
   350
jaroslav@115
   351
            if (separate) {
jaroslav@115
   352
                if (cnt % 2 == 0) {
jaroslav@115
   353
                    pw.println();
jaroslav@115
   354
                } else {
jaroslav@115
   355
                    pw.print(' ');
jaroslav@115
   356
                }
jtulach@37
   357
            }
jtulach@37
   358
        }
jtulach@37
   359
        pw.println();
jtulach@37
   360
        pw.println();
jtulach@37
   361
        pw.flush();
jtulach@37
   362
        pw.close();
jtulach@117
   363
        w.close();
jtulach@37
   364
    }
jtulach@36
   365
}