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