public class EditRemoveLeaf extends Edit
basePosition
Constructor and Description |
---|
EditRemoveLeaf(InstructionRemoveLeaf repairingInstr,
Position basePosition)
Creates a new remove leaf edit operation object.
|
Modifier and Type | Method and Description |
---|---|
EditRemoveLeaf |
cloneIdenticalOperation()
Creates an independent clone of the edit operation.
|
EditRemoveLeaf |
cloneShiftedOperation(int incrementValue)
Creates an independent clone of the edit with applied modAlt.
|
java.lang.String |
getOperationTitle()
Returns the human readable name of the operation.
|
InstructionRemoveLeaf |
getRemoveLeafInstruction()
Returns the typed reference to the associated instruction.
|
Instruction |
getRepairingInstruction()
Returns the untyped reference to the repairing instruction.
|
applyRootCutting, applyRootPrepending, applyRootShifting, cloneIdenticalSequence, cloneIdenticalSequenceAfter, cloneIdenticalSequenceBefore, cloneShiftedSequence, getBasePosition, getOperationCost, getOperationType
public EditRemoveLeaf(InstructionRemoveLeaf repairingInstr, Position basePosition)
repairingInstr
- Underlying repairing instruction.basePosition
- Operation base position.public Instruction getRepairingInstruction()
Edit
getRepairingInstruction
in class Edit
public InstructionRemoveLeaf getRemoveLeafInstruction()
public java.lang.String getOperationTitle()
Edit
getOperationTitle
in class Edit
public EditRemoveLeaf cloneIdenticalOperation()
Edit
cloneIdenticalOperation
in class Edit
public EditRemoveLeaf cloneShiftedOperation(int incrementValue)
Edit
cloneShiftedOperation
in class Edit
incrementValue
- Shifting size to increment base positions.