235236237238239240241242243244245246
else { p.setNotPlaying(); } final List<Integer> ids = command.getCardsId(); final Card gc0 = Card.getInstance(ids.get(0)); final Card gc1 = Card.getInstance(ids.get(1)); p.setCards(gc0, gc1); m_gameObserver.playerHoleCardsChanged(p); } }
151152153154155156157158159
public void setCards(CardSet set) { m_cards.clear(); while (!set.isEmpty()) { final Card gc = set.pop(); m_cards.add(gc); } }