1.1 --- a/minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java	Thu Jul 17 08:23:25 2014 +0200
     1.2 +++ b/minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java	Mon Jul 21 15:05:22 2014 +0200
     1.3 @@ -88,6 +88,10 @@
     1.4          return state != null;
     1.5      }
     1.6      
     1.7 +    @ComputedProperty static boolean gameInProgress(GameState state) {
     1.8 +        return state == GameState.IN_PROGRESS;
     1.9 +    }
    1.10 +    
    1.11      @Function static void showHelp(Mines model) {
    1.12          model.setState(null);
    1.13      }