minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java
branchminesweeper
changeset 76 55b2e1d3ad2b
parent 75 4eb79fa3434a
child 79 03bec9dcc860
     1.1 --- a/minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java	Sat Feb 08 09:25:53 2014 +0100
     1.2 +++ b/minesweeper/src/main/java/org/apidesign/demo/minesweeper/MinesModel.java	Sat Feb 08 10:07:55 2014 +0100
     1.3 @@ -90,6 +90,14 @@
     1.4          }
     1.5      }
     1.6      
     1.7 +    @ComputedProperty static boolean fieldShowing(GameState state) {
     1.8 +        return state != null;
     1.9 +    }
    1.10 +    
    1.11 +    @Function static void showHelp(Mines model) {
    1.12 +        model.setState(null);
    1.13 +    }
    1.14 +    
    1.15      @Function static void smallGame(Mines model) {
    1.16          model.init(5, 5, 5);
    1.17      }