this.edits.add(getReplaceEdit(this.counter, currentPosition, buffered, region)); break; int bestSplitScore = Integer.MAX_VALUE; for (int i = 0; i < buffered.length(); i++) { ReplaceEdit edit1 = getReplaceEdit(this.counter, regionEnd, buffered.substring(0, i), region); ReplaceEdit edit2 = getReplaceEdit(regionEnd, currentPosition, buffered.substring(i), nextRegion); int score = edit1.getLength() + edit1.getText().length() + edit2.getLength() + edit2.getText().length(); if (score < bestSplitScore) { this.edits.add(getReplaceEdit(this.counter, regionEnd, buffered.substring(0, bestSplit), region)); buffered = buffered.substring(bestSplit); this.counter = regionEnd;
this.edits.add(getReplaceEdit(this.counter, currentPosition, buffered, region)); break; int bestSplitScore = Integer.MAX_VALUE; for (int i = 0; i < buffered.length(); i++) { ReplaceEdit edit1 = getReplaceEdit(this.counter, regionEnd, buffered.substring(0, i), region); ReplaceEdit edit2 = getReplaceEdit(regionEnd, currentPosition, buffered.substring(i), nextRegion); int score = edit1.getLength() + edit1.getText().length() + edit2.getLength() + edit2.getText().length(); if (score < bestSplitScore) { this.edits.add(getReplaceEdit(this.counter, regionEnd, buffered.substring(0, bestSplit), region)); buffered = buffered.substring(bestSplit); this.counter = regionEnd;
this.edits.add(getReplaceEdit(this.counter, currentPosition, buffered, region)); break; int bestSplitScore = Integer.MAX_VALUE; for (int i = 0; i < buffered.length(); i++) { ReplaceEdit edit1 = getReplaceEdit(this.counter, regionEnd, buffered.substring(0, i), region); ReplaceEdit edit2 = getReplaceEdit(regionEnd, currentPosition, buffered.substring(i), nextRegion); int score = edit1.getLength() + edit1.getText().length() + edit2.getLength() + edit2.getText().length(); if (score < bestSplitScore) { this.edits.add(getReplaceEdit(this.counter, regionEnd, buffered.substring(0, bestSplit), region)); buffered = buffered.substring(bestSplit); this.counter = regionEnd;