public void add(long originalStart, long originalEnd, long tempStart, long tempEnd) { NodePosition mapping = new NodePosition(originalStart, originalEnd, tempStart, tempEnd); add(mapping); }
totalDeductedSpaces += lengthDifference; mappingTable.add(startOffset, endOffset, newStartOffset, newEndOffset);