(GameEndReason reason)
| 563 | } |
| 564 | |
| 565 | public synchronized void setGameOver(GameEndReason reason) { |
| 566 | // early exit in case many events causing a game over have fired |
| 567 | if (isGameOver()) { |
| 568 | return; |
| 569 | } |
| 570 | |
| 571 | for (Player p : allPlayers) { |
| 572 | p.clearController(); |
| 573 | } |
| 574 | age = GameStage.GameOver; |
| 575 | |
| 576 | for (Player p : getPlayers()) { |
| 577 | p.onGameOver(); |
| 578 | } |
| 579 | |
| 580 | final GameOutcome result = new GameOutcome(reason, getRegisteredPlayers()); |
| 581 | result.setTurnsPlayed(getPhaseHandler().getTurn()); |
| 582 | |
| 583 | outcome = result; |
| 584 | if (maingame == null) { |
| 585 | match.addGamePlayed(this); |
| 586 | } |
| 587 | |
| 588 | view.updateGameOver(this); |
| 589 | |
| 590 | // The log shall listen to events and generate text internally |
| 591 | if (maingame == null) { |
| 592 | fireEvent(new GameEventGameOutcome(result, match.getOutcomes())); |
| 593 | } |
| 594 | } |
| 595 | |
| 596 | public Zone getZoneOf(final Card card) { |
| 597 | return card == null ? null : card.getLastKnownZone(); |
no test coverage detected