private final void addDeleteEdit(int start, int end) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(start, end - start + 1, Util.EMPTY_STRING); }
public final void addReplaceEdit(int start, int end, String replacement) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(start, end - start + 1, replacement); }
private final void addDeleteEdit(int start, int end) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(start, end - start + 1, Util.EMPTY_STRING); }
public final void addInsertEdit(int insertPosition, String insertedString) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(insertPosition, 0, insertedString); }
private final void addDeleteEdit(int start, int end) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(start, end - start + 1, Util.EMPTY_STRING); }
public final void addReplaceEdit(int start, int end, String replacement) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(start, end - start + 1, replacement); }
public final void addInsertEdit(int insertPosition, String insertedString) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(insertPosition, 0, insertedString); }
public final void addInsertEdit(int insertPosition, String insertedString) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(insertPosition, 0, insertedString); }
public final void addReplaceEdit(int start, int end, String replacement) { if (this.edits.length == this.editsIndex) { // resize resize(); } addOptimizedReplaceEdit(start, end - start + 1, replacement); }