GameContext.log(2, "info token columns =" + sizeToken.getNumColumns() +" rows=" + sizeToken.getNumRows());
numRows = sizeToken.getNumRows();
numCols = sizeToken.getNumColumns();
}
else if (token instanceof Player2NameToken) {
Player2NameToken nameToken = (Player2NameToken) token;
gc.getPlayers().getPlayer2().setName(nameToken.getName());
}
else if (token instanceof Player1NameToken) {
Player1NameToken nameToken = (Player1NameToken) token;
gc.getPlayers().getPlayer1().setName(nameToken.getName());
}
}
((IRectangularBoard)gc.getBoard()).setSize(numRows, numCols);
}