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