private static class ChangeSet.MessageChange extends ChangeSet.Change
| Modifier and Type | Field and Description |
|---|---|
private DOMMessage |
message |
private ChangeSet.ChangePriority |
priority |
see| Constructor and Description |
|---|
MessageChange(ChangeSet.See see,
ChangeSet.ChangePriority priority,
DOMMessage message)
Build a new MessageChange.
|
| 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.
|
org.w3c.dom.Element |
toElement(ServerPlayer serverPlayer,
org.w3c.dom.Document doc)
Specialize a MessageChange to a particular player.
|
java.lang.String |
toString() |
consequences, convertsToElement, isNotifiable, isPerhapsNotifiable, matchesprivate final ChangeSet.ChangePriority priority
private final DOMMessage message
public MessageChange(ChangeSet.See see, ChangeSet.ChangePriority priority, DOMMessage message)
see - The visibility of this change.priority - The priority of the change.message - The Message to add.public int getPriority()
getPriority in class ChangeSet.Changepublic org.w3c.dom.Element toElement(ServerPlayer serverPlayer, org.w3c.dom.Document doc)
toElement in class ChangeSet.ChangeserverPlayer - The ServerPlayer to update.doc - The owner Document.public void attachToElement(org.w3c.dom.Element element)
attachToElement in class ChangeSet.Changeelement - The Element to attach to.public java.lang.String toString()
toString in class java.lang.Object