public class Mend
extends java.lang.Object
Constructor and Description |
---|
Mend(java.util.List<Edit> editSequence,
int positionShift)
Creates a new mend instance.
|
Modifier and Type | Method and Description |
---|---|
void |
applyRootCutting()
Applies modCut to all edit operations stored in the mend.
|
void |
applyRootPrepending(java.lang.Integer newPrefix)
Applies modPre to all edit operations stored in the mend.
|
java.util.List<Edit> |
getEditSequence()
Returns the reference to the internal edit sequence container.
|
java.lang.String |
getMendSerialization(java.lang.String prefixString,
java.lang.String suffixString)
Returns the serialized mend.
|
int |
getShiftingSize()
Returns the size of positions shifting.
|
public Mend(java.util.List<Edit> editSequence, int positionShift)
editSequence
- Reference to the particular edit sequence.positionShift
- Positions shifting size.public java.util.List<Edit> getEditSequence()
public int getShiftingSize()
public void applyRootPrepending(java.lang.Integer newPrefix)
newPrefix
- Simple position to be prepended.public void applyRootCutting()
public java.lang.String getMendSerialization(java.lang.String prefixString, java.lang.String suffixString)
prefixString
- String added before each operation.suffixString
- String added after each operation.