public final class RenameNode extends UpdatePrimitive
data, input, pre, type| Constructor and Description |
|---|
RenameNode(int p,
Data d,
InputInfo i,
QNm nm)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
apply()
Applies this update primitive to the corresponding database.
|
void |
merge(UpdatePrimitive p)
Merges two update primitives, as they have the same target node.
|
int |
size()
Returns the total number of node operations.
|
java.lang.String |
toString() |
void |
update(NamePool pool)
Updates the name pool, which is used to find duplicate attributes
and namespace conflicts.
|
compareTo, targetNodepublic void apply()
UpdatePrimitiveapply in class UpdatePrimitivepublic void merge(UpdatePrimitive p) throws QueryException
UpdatePrimitivemerge in class UpdatePrimitivep - primitive to merge withQueryException - exceptionpublic void update(NamePool pool)
UpdatePrimitiveupdate in class UpdatePrimitivepool - name poolpublic java.lang.String toString()
toString in class java.lang.Objectpublic int size()
UpdatePrimitivesize in class UpdatePrimitive