1 /*
2 * Copyright (C) 2010, Google Inc.
3 * and other copyright owners as documented in the project's IP log.
4 *
5 * This program and the accompanying materials are made available
6 * under the terms of the Eclipse Distribution License v1.0 which
7 * accompanies this distribution, is reproduced below, and is
8 * available at http://www.eclipse.org/org/documents/edl-v10.php
9 *
10 * All rights reserved.
11 *
12 * Redistribution and use in source and binary forms, with or
13 * without modification, are permitted provided that the following
14 * conditions are met:
15 *
16 * - Redistributions of source code must retain the above copyright
17 * notice, this list of conditions and the following disclaimer.
18 *
19 * - Redistributions in binary form must reproduce the above
20 * copyright notice, this list of conditions and the following
21 * disclaimer in the documentation and/or other materials provided
22 * with the distribution.
23 *
24 * - Neither the name of the Eclipse Foundation, Inc. nor the
25 * names of its contributors may be used to endorse or promote
26 * products derived from this software without specific prior
27 * written permission.
28 *
29 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
30 * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
31 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
32 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
33 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
34 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
35 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
36 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
37 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
38 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
39 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
40 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
41 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
42 */
43
44 package org.eclipse.jgit.diff;
45
46 /**
47 * Equivalence function for a {@link org.eclipse.jgit.diff.Sequence} compared by
48 * difference algorithm.
49 * <p>
50 * Difference algorithms can use a comparator to compare portions of two
51 * sequences and discover the minimal edits required to transform from one
52 * sequence to the other sequence.
53 * <p>
54 * Indexes within a sequence are zero-based.
55 *
56 * @param <S>
57 * type of sequence the comparator supports.
58 */
59 public abstract class SequenceComparator<S extends Sequence> {
60 /**
61 * Compare two items to determine if they are equivalent.
62 *
63 * It is permissible to compare sequence {@code a} with itself (by passing
64 * {@code a} again in position {@code b}).
65 *
66 * @param a
67 * the first sequence.
68 * @param ai
69 * item of {@code ai} to compare.
70 * @param b
71 * the second sequence.
72 * @param bi
73 * item of {@code bi} to compare.
74 * @return true if the two items are identical according to this function's
75 * equivalence rule.
76 */
77 public abstract boolean equals(S a, int ai, S b, int bi);
78
79 /**
80 * Get a hash value for an item in a sequence.
81 *
82 * If two items are equal according to this comparator's
83 * {@link #equals(Sequence, int, Sequence, int)} method, then this hash
84 * method must produce the same integer result for both items.
85 *
86 * It is not required for two items to have different hash values if they
87 * are are unequal according to the {@code equals()} method.
88 *
89 * @param seq
90 * the sequence.
91 * @param ptr
92 * the item to obtain the hash for.
93 * @return hash the hash value.
94 */
95 public abstract int hash(S seq, int ptr);
96
97 /**
98 * Modify the edit to remove common leading and trailing items.
99 *
100 * The supplied edit {@code e} is reduced in size by moving the beginning A
101 * and B points so the edit does not cover any items that are in common
102 * between the two sequences. The ending A and B points are also shifted to
103 * remove common items from the end of the region.
104 *
105 * @param a
106 * the first sequence.
107 * @param b
108 * the second sequence.
109 * @param e
110 * the edit to start with and update.
111 * @return {@code e} if it was updated in-place, otherwise a new edit
112 * containing the reduced region.
113 */
114 public Edit reduceCommonStartEnd(S a, S b, Edit e) {
115 // Skip over items that are common at the start.
116 //
117 while (e.beginA < e.endA && e.beginB < e.endB
118 && equals(a, e.beginA, b, e.beginB)) {
119 e.beginA++;
120 e.beginB++;
121 }
122
123 // Skip over items that are common at the end.
124 //
125 while (e.beginA < e.endA && e.beginB < e.endB
126 && equals(a, e.endA - 1, b, e.endB - 1)) {
127 e.endA--;
128 e.endB--;
129 }
130
131 return e;
132 }
133 }