private static class ChangeSet.TrivialChange extends ChangeSet.Change
Modifier and Type | Field and Description |
---|---|
private java.lang.String[] |
attributes |
private java.lang.String |
name |
private int |
priority |
see
Constructor and Description |
---|
TrivialChange(ChangeSet.See see,
java.lang.String name,
int priority,
java.lang.String[] attributes)
Build a new TrivialChange.
|
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 TrivialChange into an element with the supplied name.
|
java.lang.String |
toString()
Debug helper.
|
consequences, convertsToElement, isNotifiable, isPerhapsNotifiable, matches
private final int priority
private final java.lang.String name
private final java.lang.String[] attributes
public TrivialChange(ChangeSet.See see, java.lang.String name, int priority, java.lang.String[] attributes)
see
- The visibility of this change.name
- The name of the element.priority
- The sort priority of this change.public int getPriority()
getPriority
in class ChangeSet.Change
public org.w3c.dom.Element toElement(ServerPlayer serverPlayer, org.w3c.dom.Document doc)
toElement
in class ChangeSet.Change
serverPlayer
- The ServerPlayer
to update.doc
- The owner Document
.public void attachToElement(org.w3c.dom.Element element)
attachToElement
in class ChangeSet.Change
element
- The Element
to attach to.public java.lang.String toString()
toString
in class java.lang.Object