Mercurial > projects > dwt-addons

comparison dwtx/jface/text/source/projection/ProjectionAnnotationModel.d @ 134:51e6e63f930e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children b6bad70d540a
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
60 * 60 *
61 * @param annotation the annotation 61 * @param annotation the annotation
62 */ 62 */
63 public void collapse(Annotation annotation) { 63 public void collapse(Annotation annotation) {
64 if (annotation instanceof ProjectionAnnotation) { 64 if (annotation instanceof ProjectionAnnotation) {
65 ProjectionAnnotation projection= (ProjectionAnnotation) annotation; 65 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
66 if (!projection.isCollapsed()) { 66 if (!projection.isCollapsed()) {
67 projection.markCollapsed(); 67 projection.markCollapsed();
68 modifyAnnotation(projection, true); 68 modifyAnnotation(projection, true);
69 } 69 }
70 } 70 }
76 * 76 *
77 * @param annotation the annotation 77 * @param annotation the annotation
78 */ 78 */
79 public void expand(Annotation annotation) { 79 public void expand(Annotation annotation) {
80 if (annotation instanceof ProjectionAnnotation) { 80 if (annotation instanceof ProjectionAnnotation) {
81 ProjectionAnnotation projection= (ProjectionAnnotation) annotation; 81 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
82 if (projection.isCollapsed()) { 82 if (projection.isCollapsed()) {
83 projection.markExpanded(); 83 projection.markExpanded();
84 modifyAnnotation(projection, true); 84 modifyAnnotation(projection, true);
85 } 85 }
86 } 86 }
92 * 92 *
93 * @param annotation the annotation 93 * @param annotation the annotation
94 */ 94 */
95 public void toggleExpansionState(Annotation annotation) { 95 public void toggleExpansionState(Annotation annotation) {
96 if (annotation instanceof ProjectionAnnotation) { 96 if (annotation instanceof ProjectionAnnotation) {
97 ProjectionAnnotation projection= (ProjectionAnnotation) annotation; 97 ProjectionAnnotation projection= cast(ProjectionAnnotation) annotation;
98 98
99 if (projection.isCollapsed()) 99 if (projection.isCollapsed())
100 projection.markExpanded(); 100 projection.markExpanded();
101 else 101 else
102 projection.markCollapsed(); 102 projection.markCollapsed();
129 129
130 bool collapsing= false; 130 bool collapsing= false;
131 131
132 Iterator iterator= getAnnotationIterator(); 132 Iterator iterator= getAnnotationIterator();
133 while (iterator.hasNext()) { 133 while (iterator.hasNext()) {
134 ProjectionAnnotation annotation= (ProjectionAnnotation) iterator.next(); 134 ProjectionAnnotation annotation= cast(ProjectionAnnotation) iterator.next();
135 if (!annotation.isCollapsed()) { 135 if (!annotation.isCollapsed()) {
136 Position position= getPosition(annotation); 136 Position position= getPosition(annotation);
137 if (position !is null && position.overlapsWith(offset, length) /* || is a delete at the boundary */ ) { 137 if (position !is null && position.overlapsWith(offset, length) /* || is a delete at the boundary */ ) {
138 annotation.markCollapsed(); 138 annotation.markCollapsed();
139 modifyAnnotation(annotation, false); 139 modifyAnnotation(annotation, false);
162 162
163 bool expanding= false; 163 bool expanding= false;
164 164
165 Iterator iterator= getAnnotationIterator(); 165 Iterator iterator= getAnnotationIterator();
166 while (iterator.hasNext()) { 166 while (iterator.hasNext()) {
167 ProjectionAnnotation annotation= (ProjectionAnnotation) iterator.next(); 167 ProjectionAnnotation annotation= cast(ProjectionAnnotation) iterator.next();
168 if (annotation.isCollapsed()) { 168 if (annotation.isCollapsed()) {
169 Position position= getPosition(annotation); 169 Position position= getPosition(annotation);
170 if (position !is null && position.overlapsWith(offset, length) /* || is a delete at the boundary */ ) { 170 if (position !is null && position.overlapsWith(offset, length) /* || is a delete at the boundary */ ) {
171 annotation.markExpanded(); 171 annotation.markExpanded();
172 modifyAnnotation(annotation, false); 172 modifyAnnotation(annotation, false);