(final Player phasedOut0)
| 5624 | return phasedOut; |
| 5625 | } |
| 5626 | public final void setPhasedOut(final Player phasedOut0) { |
| 5627 | if (phasedOut == phasedOut0) { return; } |
| 5628 | phasedOut = phasedOut0; |
| 5629 | view.updatePhasedOut(this); |
| 5630 | } |
| 5631 | |
| 5632 | public final void phase(final boolean fromUntapStep) { |
| 5633 | phase(fromUntapStep, true); |
no test coverage detected