Mercurial > projects > dwt-addons
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 } |