public final class DeleteNode extends StructuralUpdate
data, input, pre, type| Constructor and Description |
|---|
DeleteNode(int p,
Data d,
InputInfo i)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
adjacentTexts(int c)
Checks whether adjacent text nodes have been introduced as a result
of this update primitive.
|
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.
|
preShiftscompareTo, targetNodepublic void merge(UpdatePrimitive p)
UpdatePrimitivemerge in class UpdatePrimitivep - primitive to merge withpublic void apply()
UpdatePrimitiveapply in class UpdatePrimitivepublic boolean adjacentTexts(int c)
StructuralUpdateadjacentTexts in class StructuralUpdatec - pre value shifts introduced by updates on the preceding sibling
axis of this target nodepublic 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