📄 playerdo.java
字号:
package net.sf.jawp.gf.domain;
import net.sf.jawp.gf.api.EntityHolder;
import net.sf.jawp.gf.api.domain.GameWorld;
import net.sf.jawp.gf.api.domain.Player;
import net.sf.jawp.gf.api.domain.PlayerStatus;
import net.sf.jawp.gf.api.domain.User;
/**
* Player persistent data.
*
* @author jarek
* @version $Revision: 1.3 $
*
*/
public class PlayerDO extends Player
{
/**
*
*/
private static final long serialVersionUID = 1L;
private final EntityHolder<User> user;
private final EntityHolder<GameWorld> game;
public PlayerDO(final long k, final User user, final GameWorld game)
{
super(k, user.getLogin());
this.user = new EntityHolder<User>(user);
this.game = new EntityHolder<GameWorld>(game);
}
/**
* Returns the user.
* @return the value of user
*/
public final EntityHolder<User> getUser()
{
return user;
}
public final long getGameKey()
{
return this.game.getKey();
}
public final void setStatus(final PlayerStatus status)
{
this.status = status;
}
public final void markDefeated()
{
if (this.getStatus() == PlayerStatus.NORMAL)
{
this.setStatus( PlayerStatus.DEFEATED);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -