net.sf.freecol.server.control

Class ChangeSet.PlayerChange

java.lang.Object

net.sf.freecol.server.control.ChangeSet.Change

net.sf.freecol.server.control.ChangeSet.PlayerChange

Enclosing class:

ChangeSet

private static class ChangeSet.PlayerChange
extends ChangeSet.Change

Encapsulate a new player change.

Field Summary

Fields

Modifier and Type	Field and Description
private ServerPlayer	player

Fields inherited from class net.sf.freecol.server.control.ChangeSet.Change

see

Constructor Summary

Constructors

Constructor and Description
PlayerChange(ChangeSet.See see, ServerPlayer player) Build a new PlayerChange.

Method Summary

Modifier and Type	Method and Description
void	attachToElement(org.w3c.dom.Element element) Some changes can not be directly specialized, but need to be directly attached to an element.
int	getPriority() Gets the sort priority.
boolean	isNotifiable(ServerPlayer serverPlayer) Should a player be notified of this Change?
org.w3c.dom.Element	toElement(ServerPlayer serverPlayer, org.w3c.dom.Document doc) Specialize a Change for a particular player.
java.lang.String	toString()

Methods inherited from class net.sf.freecol.server.control.ChangeSet.Change

consequences, convertsToElement, isPerhapsNotifiable, matches

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

player

private final ServerPlayer player

Constructor Detail

PlayerChange

public PlayerChange(ChangeSet.See see,
                    ServerPlayer player)

Build a new PlayerChange.

Parameters:

see - The visibility of this change.

player - The Player to add.

Method Detail

getPriority

public int getPriority()

Gets the sort priority.

Specified by:

getPriority in class ChangeSet.Change

Returns:

"CHANGE_EARLY".

isNotifiable

public boolean isNotifiable(ServerPlayer serverPlayer)

Should a player be notified of this Change?

Overrides:

isNotifiable in class ChangeSet.Change

Parameters:

serverPlayer - The ServerPlayer to consider.

Returns:

True if this Change should be sent.

toElement

public org.w3c.dom.Element toElement(ServerPlayer serverPlayer,
                                     org.w3c.dom.Document doc)

Specialize a Change for a particular player.

Specified by:

toElement in class ChangeSet.Change

Parameters:

serverPlayer - The ServerPlayer to update.

doc - The owner Document to build the element in.

Returns:

An Element encapsulating this change.

attachToElement

public void attachToElement(org.w3c.dom.Element element)

Some changes can not be directly specialized, but need to be directly attached to an element.

Specified by:

attachToElement in class ChangeSet.Change

Parameters:

element - The Element to attach to.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object