Package org.ggp.base.util.game

Examples of org.ggp.base.util.game.GameRepository

121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
  /**
   * @param args
   */
  public static void main(String[] args) throws Exception {
    GameRepository gameRepo = new CloudGameRepository("http://games.ggp.org/stanford/");

    for (String gameKey : gameRepo.getGameKeys()) {
      if (!gameKey.equals("amazons") //Skip games that currently result in out-of-memory errors
          && !gameKey.equals("alexChess")) {
        try {
          new BasesInputsValidator(20000).checkValidity(gameRepo.getGame(gameKey));
          System.out.println("Game " + gameKey + " has valid base/input propositions.");
        } catch (ValidatorException ve) {
          System.out.println("Game " + gameKey + " is invalid: " + ve.getMessage());
        }
      }
View Full Code Here
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
  /**
   * Tries to test most of the rulesheets in the games directory. This should
   * be run when developing a new game to spot errors.
   */
  public static void main(String[] args) {
    GameRepository testGameRepo = new TestGameRepository();

    for(String gameKey : testGameRepo.getGameKeys()) {
      if (GAME_KEY_BLACKLIST.contains(gameKey)) {
        continue;
      }

      System.out.println("Testing " + gameKey);
      try {
        List<ValidatorWarning> warnings = new StaticValidator().checkValidity(testGameRepo.getGame(gameKey));
        if (!warnings.isEmpty()) {
          System.out.println("Warnings for " + gameKey + ": " + warnings);
        }
      } catch (ValidatorException e) {
        e.printStackTrace();
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
    public GameRepository getSelectedGameRepository() {
        return theSelectedRepository;
    }

    public void repopulateGameList() {
        GameRepository theRepository = getSelectedGameRepository();
        List<String> theKeyList = new ArrayList<String>(theRepository.getGameKeys());
        Collections.sort(theKeyList);
        theGameList.removeAllItems();
        for (String theKey : theKeyList) {
            Game theGame = theRepository.getGame(theKey);
            if (theGame == null) {
                continue;
            }
            String theName = theGame.getName();
            if (theName == null) {
View Full Code Here
18
19
20
21
22
23
24
25
26
27
28
29
30
31
      final boolean showDiffs = false;
        final ProverStateMachine theReference = new ProverStateMachine();
        final ProverStateMachine theMachine = new ProverStateMachine();

        GameRepository theRepository = GameRepository.getDefaultRepository();
        for(String gameKey : theRepository.getGameKeys()) {
            if(gameKey.contains("laikLee")) continue;
            List<Gdl> description = theRepository.getGame(gameKey).getRules();
            List<Gdl> newDescription = description;

            // Choose the transformation(s) to test here
            description = DeORer.run(description);
            newDescription = VariableConstrainer.replaceFunctionValuedVariables(description);
View Full Code Here
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
*/
public final class BatchValidator
{
  public static void main(String[] args)
  {
    GameRepository repo = new CloudGameRepository("games.ggp.org/base");
    for (String gameKey : repo.getGameKeys()) {
      if (gameKey.contains("amazons") || gameKey.contains("knightazons") || gameKey.contains("factoringImpossibleTurtleBrain") || gameKey.contains("quad") || gameKey.contains("blokbox") || gameKey.contains("othello"))
        continue;
      Game game = repo.getGame(gameKey);
      GameValidator[] theValidators = new GameValidator[] {
          new StaticValidator(),
          new BasesInputsValidator(3000),
          new SimulationValidator(300, 10),
          new OPNFValidator(),
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
64
  @Test
    public void testMappingScramblerConsistency() {
      GdlScrambler aScrambler = new MappingGdlScrambler(new Random(123));
      GdlScrambler bScrambler = new MappingGdlScrambler(new Random(123));
      GdlScrambler cScrambler = new MappingGdlScrambler(new Random(234));
      GameRepository repo = GameRepository.getDefaultRepository();
      for (String gameKey : repo.getGameKeys()) {
        Game game = repo.getGame(gameKey);
        StringBuilder aScrambledRules = new StringBuilder();
        StringBuilder bScrambledRules = new StringBuilder();
        StringBuilder cScrambledRules = new StringBuilder();
        StringBuilder dScrambledRules = new StringBuilder();
        StringBuilder eScrambledRules = new StringBuilder();
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
        assertEquals(cScrambledRules.toString(), fScrambledRules.toString());
      }
    }

    private void runScramblerTest(GdlScrambler scrambler) throws SymbolFormatException, GdlFormatException {
      GameRepository repo = GameRepository.getDefaultRepository();
      for (String gameKey : repo.getGameKeys()) {
        Game game = repo.getGame(gameKey);
        List<Gdl> theScrambledRules = new ArrayList<Gdl>();
        for(Gdl rule : game.getRules()) {
          String renderedRule = rule.toString();
          String renderedScrambledRule = scrambler.scramble(rule).toString();
          String renderedUnscrambledRule = scrambler.unscramble(renderedScrambledRule).toString();
View Full Code Here
19
20
21
22
23
24
25
26
27
28
29
30
31
   * on a Gdl object.
   */
  @Test
    public void testSimpleRendering() {
      GdlRenderer renderer = new GdlRenderer();
      GameRepository repo = GameRepository.getDefaultRepository();
      for (String gameKey : repo.getGameKeys()) {
        Game game = repo.getGame(gameKey);
        for(Gdl rule : game.getRules()) {
          assertEquals(rule.toString(), renderer.renderGdl(rule));
        }
      }
    }
View Full Code Here
TOP

Related Classes of org.ggp.base.util.game.GameRepository

  • org.ggp.base.apps.validator.BatchValidator
  • org.ggp.base.util.gdl.scrambler.GdlRendererTest
  • org.ggp.base.util.gdl.scrambler.GdlScramblerTest
  • org.ggp.base.util.gdl.transforms.TransformTester
  • org.ggp.base.util.ui.GameSelector
  • org.ggp.base.validator.BasesInputsValidator
  • org.ggp.base.validator.StaticValidator
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.