public class EditRemoveNode extends Edit
basePosition
Constructor and Description |
---|
EditRemoveNode(InstructionRemoveNode repairingInstr,
Position basePosition)
Creates a new remove node edit operation object.
|
Modifier and Type | Method and Description |
---|---|
EditRemoveNode |
cloneIdenticalOperation()
Creates an independent clone of the edit operation.
|
EditRemoveNode |
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.
|
InstructionRemoveNode |
getRemoveNodeInstruction()
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 EditRemoveNode(InstructionRemoveNode repairingInstr, Position basePosition)
repairingInstr
- Underlying repairing instruction.basePosition
- Operation base position.public Instruction getRepairingInstruction()
Edit
getRepairingInstruction
in class Edit
public InstructionRemoveNode getRemoveNodeInstruction()
public java.lang.String getOperationTitle()
Edit
getOperationTitle
in class Edit
public EditRemoveNode cloneIdenticalOperation()
Edit
cloneIdenticalOperation
in class Edit
public EditRemoveNode cloneShiftedOperation(int incrementValue)
Edit
cloneShiftedOperation
in class Edit
incrementValue
- Shifting size to increment base positions.