comparison dwtx/jface/text/revisions/RevisionInformation.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 65801ad2b265
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
107 */ 107 */
108 public List getRanges() { 108 public List getRanges() {
109 if (fRanges is null) { 109 if (fRanges is null) {
110 List ranges= new ArrayList(fRevisions.size() * 2); // wild size guess 110 List ranges= new ArrayList(fRevisions.size() * 2); // wild size guess
111 for (Iterator it= fRevisions.iterator(); it.hasNext();) { 111 for (Iterator it= fRevisions.iterator(); it.hasNext();) {
112 Revision revision= (Revision) it.next(); 112 Revision revision= cast(Revision) it.next();
113 ranges.addAll(revision.getRegions()); 113 ranges.addAll(revision.getRegions());
114 } 114 }
115 115
116 // sort by start line 116 // sort by start line
117 Collections.sort(ranges, new Comparator() { 117 Collections.sort(ranges, new Comparator() {
118 public int compare(Object o1, Object o2) { 118 public int compare(Object o1, Object o2) {
119 RevisionRange r1= (RevisionRange) o1; 119 RevisionRange r1= cast(RevisionRange) o1;
120 RevisionRange r2= (RevisionRange) o2; 120 RevisionRange r2= cast(RevisionRange) o2;
121 121
122 return r1.getStartLine() - r2.getStartLine(); 122 return r1.getStartLine() - r2.getStartLine();
123 } 123 }
124 }); 124 });
125 125
136 * @noreference This method is not intended to be referenced by clients. 136 * @noreference This method is not intended to be referenced by clients.
137 */ 137 */
138 public void applyDiff(Hunk[] hunks) { 138 public void applyDiff(Hunk[] hunks) {
139 fRanges= null; // mark for recomputation 139 fRanges= null; // mark for recomputation
140 for (Iterator revisions= getRevisions().iterator(); revisions.hasNext();) 140 for (Iterator revisions= getRevisions().iterator(); revisions.hasNext();)
141 ((Revision) revisions.next()).applyDiff(hunks); 141 (cast(Revision) revisions.next()).applyDiff(hunks);
142 } 142 }
143 143
144 /* 144 /*
145 * @see dwtx.jface.text.ITextHoverExtension#getHoverControlCreator() 145 * @see dwtx.jface.text.ITextHoverExtension#getHoverControlCreator()
146 * @since 3.3 146 * @since 3.3