comparison dwtx/jface/text/revisions/Revision.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
79 */ 79 */
80 public final List getRegions() { 80 public final List getRegions() {
81 if (fRanges is null) { 81 if (fRanges is null) {
82 List ranges= new ArrayList(fChangeRegions.size()); 82 List ranges= new ArrayList(fChangeRegions.size());
83 for (Iterator it= fChangeRegions.iterator(); it.hasNext();) { 83 for (Iterator it= fChangeRegions.iterator(); it.hasNext();) {
84 ChangeRegion region= (ChangeRegion) it.next(); 84 ChangeRegion region= cast(ChangeRegion) it.next();
85 for (Iterator inner= region.getAdjustedRanges().iterator(); inner.hasNext();) { 85 for (Iterator inner= region.getAdjustedRanges().iterator(); inner.hasNext();) {
86 ILineRange range= (ILineRange) inner.next(); 86 ILineRange range= cast(ILineRange) inner.next();
87 ranges.add(new RevisionRange(this, range)); 87 ranges.add(new RevisionRange(this, range));
88 } 88 }
89 } 89 }
90 fRanges= Collections.unmodifiableList(ranges); 90 fRanges= Collections.unmodifiableList(ranges);
91 } 91 }
100 * @since 3.3 100 * @since 3.3
101 */ 101 */
102 final void applyDiff(Hunk[] hunks) { 102 final void applyDiff(Hunk[] hunks) {
103 fRanges= null; // mark for recomputation 103 fRanges= null; // mark for recomputation
104 for (Iterator regions= fChangeRegions.iterator(); regions.hasNext();) { 104 for (Iterator regions= fChangeRegions.iterator(); regions.hasNext();) {
105 ChangeRegion region= (ChangeRegion) regions.next(); 105 ChangeRegion region= cast(ChangeRegion) regions.next();
106 region.clearDiff(); 106 region.clearDiff();
107 for (int i= 0; i < hunks.length; i++) { 107 for (int i= 0; i < hunks.length; i++) {
108 Hunk hunk= hunks[i]; 108 Hunk hunk= hunks[i];
109 region.adjustTo(hunk); 109 region.adjustTo(hunk);
110 } 110 }