webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Games.java
author Jaroslav Tulach <jtulach@netbeans.org>
Tue, 08 Dec 2009 19:57:02 +0100
branchstrict-games-access
changeset 166 8c9131715765
parent 164 2949998db4f6
child 171 524c7f359c4e
permissions -rw-r--r--
Also the list of games needs to be restricted for not-logged in users
     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         @QueryParam("loginID") @DefaultValue("") String loginId,
   135         @PathParam("id") String id,
   136         @QueryParam("move") @DefaultValue("-1") int move
   137     ) {
   138         Game g = findGame(id, move);
   139         if (canSee(g.getId(), loginId)) {
   140             return g;
   141         }
   142         throw new WebApplicationException(Status.UNAUTHORIZED);
   143     }
   144 
   145     private boolean canSee(GameId id, String loginId) {
   146         if (!id.isFinished()) {
   147             return true;
   148         }
   149         String logUser = quoridor.isLoggedIn(loginId);
   150         if (logUser == null) {
   151             return false;
   152         }
   153         if (logUser.equals(id.getWhite())) {
   154             return true;
   155         }
   156         if (logUser.equals(id.getBlack())) {
   157             return true;
   158         }
   159         return false;
   160     }
   161 
   162     @PUT
   163     @Path("{id}")
   164     @Produces({ MediaType.APPLICATION_JSON, MediaType.TEXT_XML })
   165     public GameId applyMove(
   166         @QueryParam("loginID") String loginId,
   167         @PathParam("id") String id,
   168         @QueryParam("player") String player,
   169         @QueryParam("move") String move,
   170         @QueryParam("comment") String comment
   171     ) throws IllegalPositionException {
   172         String logUser = quoridor.isLoggedIn(loginId);
   173         if (logUser == null) {
   174             throw new WebApplicationException(Status.UNAUTHORIZED);
   175         }
   176         if (!logUser.equals(player)) {
   177             throw new WebApplicationException(Status.UNAUTHORIZED);
   178         }
   179         if (comment == null && move == null) {
   180             throw new WebApplicationException(Status.BAD_REQUEST);
   181         }
   182 
   183         Game g = findGame(id);
   184         if (g == null) {
   185             throw new IllegalArgumentException("Unknown game " + id);
   186         }
   187         if (move != null) {
   188             Move m = Move.valueOf(move);
   189             g.apply(player, m, new Date());
   190         }
   191         if (comment != null) {
   192             g.comment(player, comment, new Date());
   193         }
   194         try {
   195             storeGame(g);
   196         } catch (IOException ex) {
   197             LOG.log(Level.WARNING, "Cannot store game " + id, ex);
   198         }
   199         return g.getId();
   200     }
   201 
   202     @GET
   203     @Produces({MediaType.APPLICATION_JSON, MediaType.TEXT_XML })
   204     public List<GameId> listGames(
   205         @DefaultValue("") @QueryParam("loginID") String loginId,
   206         @DefaultValue("") @QueryParam("status") String status
   207     ) {
   208         List<GameId> arr = new ArrayList<GameId>(games.size());
   209         for (Game g : games) {
   210             if (!canSee(g.getId(), loginId)) {
   211                 continue;
   212             }
   213             if (status.length() == 0 || g.getId().getStatus().toString().equals(status)) {
   214                 arr.add(g.getId());
   215             }
   216         }
   217         Collections.sort(arr, GameId.NEWEST_FIRST);
   218         return arr;
   219     }
   220 
   221     public List<Game> getGames() {
   222         return games;
   223     }
   224 
   225     private Game findGame(String id) {
   226         for (Game g : games) {
   227             if (g.getId().getId().equals(id)) {
   228                 return g;
   229             }
   230         }
   231         return null;
   232     }
   233     private Game findGame(String id, int move) {
   234         Game g = findGame(id);
   235         if (g == null) {
   236             throw new IllegalArgumentException("Unknown game " + id);
   237         }
   238         try {
   239             return move == -1 ? g : g.snapshot(move);
   240         } catch (IllegalPositionException ex) {
   241             Logger.getLogger(Games.class.getName()).log(Level.SEVERE, null, ex);
   242             return null;
   243         }
   244     }
   245 
   246     private static final Pattern saidWho = Pattern.compile("# *([^ ]*) *@(.*):$");
   247 
   248     private Game readGame(File f) throws IOException {
   249         InputStream is = new FileInputStream(f);
   250         BufferedReader r = new BufferedReader(new InputStreamReader(is, "UTF-8"));
   251         String white = null;
   252         String black = null;
   253         Game g = null;
   254         String who = null;
   255         String when = null;
   256         for (;;) {
   257             String line = r.readLine();
   258             if (line == null) {
   259                 line = "finish";
   260             }
   261             line = line.trim();
   262             if (line.length() == 0) {
   263                 continue;
   264             }
   265             if (line.startsWith("# white: ")) {
   266                 white = line.substring(9);
   267                 continue;
   268             }
   269             if (line.startsWith("# black: ")) {
   270                 black = line.substring(9);
   271                 continue;
   272             }
   273             if (line.startsWith("#")) {
   274                 Matcher m =saidWho.matcher(line);
   275                 if (m.matches()) {
   276                     who = m.group(1);
   277                     when = m.group(2);
   278                     continue;
   279                 }
   280                 if (g == null) {
   281                     continue;
   282                 }
   283                 if (line.startsWith("# ")) {
   284                     line = line.substring(2);
   285                 } else {
   286                     line = line.substring(1);
   287                 }
   288                 Date d = new Date();
   289                 try {
   290                     if (when != null) {
   291                         d = new Date(Date.parse(when));
   292                     }
   293                 } catch (IllegalArgumentException ex) {
   294                     LOG.warning("Unparseable date " + when + " in " + f);
   295                 }
   296                 g.comment(who, line, d);
   297                 who = null;
   298                 when = null;
   299                 continue;
   300             }
   301             if (white == null || black == null) {
   302                 throw new IOException("Missing white and black identification in " + f);
   303             }
   304             if (g == null) {
   305                 GameId id = new GameId(f.getName(), white, black, new Date(f.lastModified()), new Date(f.lastModified()), GameStatus.whiteMove, 0, false);
   306                 g = new Game(id);
   307             }
   308             int hash = line.indexOf('#');
   309             if (hash >= 0) {
   310                 line = line.substring(0, hash);
   311             }
   312             if (line.equals("finish")) {
   313                 break;
   314             }
   315             String[] moves = line.split(" ");
   316             if (moves.length == 0) {
   317                 continue;
   318             }
   319             if (moves.length > 2) {
   320                 throw new IOException("Too much moves on line: " + line);
   321             }
   322             try {
   323                 if (!"...".equals(moves[0])) {
   324                     g.apply(white, Move.valueOf(moves[0]), null);
   325                 }
   326                 if (moves.length == 2) {
   327                     g.apply(black, Move.valueOf(moves[1]), null);
   328                 }
   329             } catch (IllegalPositionException ex) {
   330                 throw new IOException("Wrong move: " + ex.getMessage());
   331             }
   332         }
   333         if (g == null) {
   334             throw new IOException("No moves in " + f);
   335         }
   336         return g;
   337     }
   338 
   339     private void storeGame(Game g) throws IOException {
   340         dir.mkdirs();
   341         File f = new File(dir, g.getId().getId());
   342         storeGame(g, f);
   343     }
   344 
   345     final void storeGame(Game g, File f) throws IOException {
   346         FileOutputStream os = new FileOutputStream(f);
   347         Writer w = new BufferedWriter(new OutputStreamWriter(os, "UTF-8"));
   348         PrintWriter pw = new PrintWriter(w);
   349         pw.println("# white: " + g.getId().getWhite());
   350         pw.println("# black: " + g.getId().getBlack());
   351         pw.println("# status: " + g.getId().getStatus());
   352         int cnt = 0;
   353         boolean separate = true;
   354         for (CommentedMove m : g.getMoves()) {
   355             if (!separate && cnt % 2 == 1) {
   356                 pw.print("... ");
   357             }
   358             separate = true;
   359             pw.print(m.getMove().toString());
   360             List<Note> notes = m.getComments();
   361             if (notes != null) {
   362                 separate = false;
   363                 pw.println();
   364                 for (Note n : notes) {
   365                     pw.print ("# ");
   366                     pw.print(n.getWho());
   367                     pw.print("@");
   368                     pw.print(n.getWhen());
   369                     pw.println(":");
   370                     for (String l : n.getComment().split("\n")) {
   371                         pw.print("# ");
   372                         pw.println(l);
   373                     }
   374                 }
   375             }
   376 
   377             cnt++;
   378 
   379             if (separate) {
   380                 if (cnt % 2 == 0) {
   381                     pw.println();
   382                 } else {
   383                     pw.print(' ');
   384                 }
   385             }
   386         }
   387         pw.println();
   388         pw.println();
   389         pw.flush();
   390         pw.close();
   391         w.close();
   392     }
   393 }