(final Player player, final long tstamp)
| 3741 | } |
| 3742 | |
| 3743 | public final void setController(final Player player, final long tstamp) { |
| 3744 | tempControllers.clear(); |
| 3745 | controller = player; |
| 3746 | controllerTimestamp = tstamp; |
| 3747 | view.updateController(this); |
| 3748 | } |
| 3749 | |
| 3750 | public final void addTempController(final Player player, final long tstamp) { |
| 3751 | tempControllers.put(tstamp, player); |
no test coverage detected