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