Package tud.gamecontroller.players

Examples of tud.gamecontroller.players.RandomPlayerInfo

183
184
185
186
187
188
189
190
191
192
    // TODO: what GDLVersion should we have here?
    public PlayerInfo getPlayerInfo(){
      if(type.equals(PlayerType.REMOTE)){
        return new RemotePlayerInfo(row,host+":"+port,host,port,GDLVersion.v1);
      }else if(type.equals(PlayerType.RANDOM)){
        return new RandomPlayerInfo(row,GDLVersion.v1);
      }else{
        return new LegalPlayerInfo(row,GDLVersion.v1);
      }
    }
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
        if(roleindex<1){
          System.err.println("roleindex out of bounds");
          printUsage();
          System.exit(-1);
        }
        player=new RandomPlayerInfo(roleindex-1, getGdlVersion()); // use GDL version of the game for the random player too
      }else{
        missingArgumentsExit(argv[index-1]);
      }
    }else{
      System.err.println("invalid argument: "+argv[index]);
View Full Code Here
105
106
107
108
109
110
111
112
113
114
      players.put(role, PlayerFactory. <TermType, State<TermType, ReasonerStateInfoType>> createPlayer(playerInfo, gameScrambler));
    }
    // make sure that we have a player for each role (fill up with random players)
    for(int i=0; i<game.getNumberOfRoles(); i++){
      if(!players.containsKey(game.getRole(i))){
        players.put(game.getRole(i), PlayerFactory. <TermType, State<TermType, ReasonerStateInfoType>> createRandomPlayer(new RandomPlayerInfo(i, game.getGdlVersion())));
      }
    }
    return players;
  }
View Full Code Here
TOP

Related Classes of tud.gamecontroller.players.RandomPlayerInfo

  • tud.gamecontroller.AbstractGameControllerRunner
  • tud.gamecontroller.cli.AbstractGameControllerCLIRunner
  • tud.gamecontroller.gui.PlayerTableModel$PlayerRecord
    • 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.