comparison dwtx/jface/internal/text/revisions/ChangeRegion.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 6dcb0baaa031
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
94 */ 94 */
95 public ILineRange getAdjustedCoverage() { 95 public ILineRange getAdjustedCoverage() {
96 if (fAdjusted.isEmpty()) 96 if (fAdjusted.isEmpty())
97 return new LineRange(fLines.getStartLine(), 0); 97 return new LineRange(fLines.getStartLine(), 0);
98 98
99 Range first= (Range) fAdjusted.get(0); 99 Range first= cast(Range) fAdjusted.get(0);
100 Range last= (Range) fAdjusted.get(fAdjusted.size() - 1); 100 Range last= cast(Range) fAdjusted.get(fAdjusted.size() - 1);
101 101
102 return Range.createAbsolute(first.start(), last.end()); 102 return Range.createAbsolute(first.start(), last.end());
103 } 103 }
104 104
105 /** 105 /**
115 * 115 *
116 * @param hunk the diff hunk to adjust to 116 * @param hunk the diff hunk to adjust to
117 */ 117 */
118 public void adjustTo(Hunk hunk) { 118 public void adjustTo(Hunk hunk) {
119 for (ListIterator it= fAdjusted.listIterator(); it.hasNext();) { 119 for (ListIterator it= fAdjusted.listIterator(); it.hasNext();) {
120 Range range= (Range) it.next(); 120 Range range= cast(Range) it.next();
121 121
122 // do we need a split? 122 // do we need a split?
123 int unchanged= getUnchanged(hunk, range.start()); 123 int unchanged= getUnchanged(hunk, range.start());
124 if (unchanged > 0) { 124 if (unchanged > 0) {
125 if (unchanged >= range.length()) 125 if (unchanged >= range.length())