Java RangeDifference类代码示例

import org.eclipse.compare.rangedifferencer.RangeDifference; //导入依赖的package包/类
private void init(final IRangeComparator left, final IRangeComparator right)
    throws FileNotFoundException,
        IOException {
    final RangeDifference[] diff = RangeDifferencer.findDifferences(left, right);
    for (int i = 0; i < diff.length; i++) {
        final RangeDifference r = diff[i];
        blocks.add(new Block(this, r.leftStart(), r.leftEnd(), r.rightStart(), r.rightEnd()));
    }

}
 

import org.eclipse.compare.rangedifferencer.RangeDifference; //导入依赖的package包/类
/**
 * Return all the changed lines.
 * 
 * @param oldDocument a document containing the old content
 * @param currentDocument a document containing the current content
 * @return the changed regions
 * @throws BadLocationException if fetching the line information fails
 */
public static int[] getChangedLines(IDocument oldDocument, IDocument currentDocument) throws BadLocationException {
    /*
     * Do not change the type of those local variables. We use Object
     * here in order to prevent loading of the Compare plug-in at load
     * time of this class.
     */
    Object leftSide = new LineComparator(oldDocument);
    Object rightSide = new LineComparator(currentDocument);

    RangeDifference[] differences = RangeDifferencer.findDifferences((IRangeComparator) leftSide,
            (IRangeComparator) rightSide);

    //It holds that:
    //1. Ranges are sorted:
    //     forAll r1,r2 element differences: indexOf(r1)<indexOf(r2) -> r1.rightStart()<r2.rightStart();
    //2. Successive changed lines are merged into on RangeDifference
    //     forAll r1,r2 element differences: r1.rightStart()<r2.rightStart() -> r1.rightEnd()<r2.rightStart

    ArrayList<Integer> regions = new ArrayList<Integer>();
    for (int i = 0; i < differences.length; i++) {
        RangeDifference curr = differences[i];
        if (curr.kind() == RangeDifference.CHANGE && curr.rightLength() > 0) {
            int startLine = curr.rightStart();
            int endLine = curr.rightEnd() - 1;

            if (startLine == endLine) {
                regions.add(startLine);
            } else {
                for (int iLine = startLine; iLine <= endLine; iLine++) {
                    regions.add(iLine);
                }
            }
        }
    }

    int size = regions.size();
    int[] ret = new int[size];
    for (int i = 0; i < size; i++) {
        ret[i] = regions.get(i);
    }
    return ret;
}
 

import org.eclipse.compare.rangedifferencer.RangeDifference; //导入依赖的package包/类
/**
 * Compute and return an array of {@link RangeDifference}s for two given strings.
 * 
 * @param left
 * @param right
 * @return An array of {@link RangeDifference}s.
 */
public static RangeDifference[] getDiff(String left, String right)
{
	IRangeComparator leftRangeComparator = new TokenComparator(left);
	IRangeComparator rightRangeComparator = new TokenComparator(right);
	return RangeDifferencer.findRanges(leftRangeComparator, rightRangeComparator);
}