()
| 1433 | return mergedCards.get(0); |
| 1434 | } |
| 1435 | public final boolean hasMergedCard() { |
| 1436 | return FCollection.hasElements(mergedCards); |
| 1437 | } |
| 1438 | public final void addMergedCard(final Card c) { |
| 1439 | if (mergedCards == null) { |
| 1440 | mergedCards = new CardCollection(); |
no test coverage detected