Package | Description |
---|---|
cz.cuni.mff.corrector.edit |
Edit operations for transforming trees.
|
cz.cuni.mff.corrector.instruction |
Repairing instructions for encoding repairs.
|
Modifier and Type | Method and Description |
---|---|
EditRenameLabel |
EditRenameLabel.cloneIdenticalOperation() |
EditRenameLabel |
EditRenameLabel.cloneShiftedOperation(int incrementValue) |
Modifier and Type | Method and Description |
---|---|
EditRenameLabel |
InstructionRenameLabel.generateEditOperation() |