Mercurial > projects > dwt-addons
comparison dwtx/jface/text/source/projection/ProjectionAnnotationHover.d @ 134:51e6e63f930e
Regex fix for casts
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 24 Aug 2008 01:46:20 +0200 |
parents | c4fb132a086c |
children | 65801ad2b265 |
comparison
equal
deleted
inserted
replaced
133:7d818bd32d63 | 134:51e6e63f930e |
---|---|
90 private bool isCaptionLine(ProjectionAnnotation annotation, Position position, IDocument document, int line) { | 90 private bool isCaptionLine(ProjectionAnnotation annotation, Position position, IDocument document, int line) { |
91 if (position.getOffset() > -1 && position.getLength() > -1) { | 91 if (position.getOffset() > -1 && position.getLength() > -1) { |
92 try { | 92 try { |
93 int captionOffset; | 93 int captionOffset; |
94 if (position instanceof IProjectionPosition) | 94 if (position instanceof IProjectionPosition) |
95 captionOffset= ((IProjectionPosition) position).computeCaptionOffset(document); | 95 captionOffset= (cast(IProjectionPosition) position).computeCaptionOffset(document); |
96 else | 96 else |
97 captionOffset= 0; | 97 captionOffset= 0; |
98 int startLine= document.getLineOfOffset(position.getOffset() + captionOffset); | 98 int startLine= document.getLineOfOffset(position.getOffset() + captionOffset); |
99 return line is startLine; | 99 return line is startLine; |
100 } catch (BadLocationException x) { | 100 } catch (BadLocationException x) { |
105 | 105 |
106 private String getProjectionTextAtLine(ISourceViewer viewer, int line, int numberOfLines) { | 106 private String getProjectionTextAtLine(ISourceViewer viewer, int line, int numberOfLines) { |
107 | 107 |
108 IAnnotationModel model= null; | 108 IAnnotationModel model= null; |
109 if (viewer instanceof ISourceViewerExtension2) { | 109 if (viewer instanceof ISourceViewerExtension2) { |
110 ISourceViewerExtension2 viewerExtension= (ISourceViewerExtension2) viewer; | 110 ISourceViewerExtension2 viewerExtension= cast(ISourceViewerExtension2) viewer; |
111 IAnnotationModel visual= viewerExtension.getVisualAnnotationModel(); | 111 IAnnotationModel visual= viewerExtension.getVisualAnnotationModel(); |
112 if (visual instanceof IAnnotationModelExtension) { | 112 if (visual instanceof IAnnotationModelExtension) { |
113 IAnnotationModelExtension modelExtension= (IAnnotationModelExtension) visual; | 113 IAnnotationModelExtension modelExtension= cast(IAnnotationModelExtension) visual; |
114 model= modelExtension.getAnnotationModel(ProjectionSupport.PROJECTION); | 114 model= modelExtension.getAnnotationModel(ProjectionSupport.PROJECTION); |
115 } | 115 } |
116 } | 116 } |
117 | 117 |
118 if (model !is null) { | 118 if (model !is null) { |
119 try { | 119 try { |
120 IDocument document= viewer.getDocument(); | 120 IDocument document= viewer.getDocument(); |
121 Iterator e= model.getAnnotationIterator(); | 121 Iterator e= model.getAnnotationIterator(); |
122 while (e.hasNext()) { | 122 while (e.hasNext()) { |
123 ProjectionAnnotation annotation= (ProjectionAnnotation) e.next(); | 123 ProjectionAnnotation annotation= cast(ProjectionAnnotation) e.next(); |
124 if (!annotation.isCollapsed()) | 124 if (!annotation.isCollapsed()) |
125 continue; | 125 continue; |
126 | 126 |
127 Position position= model.getPosition(annotation); | 127 Position position= model.getPosition(annotation); |
128 if (position is null) | 128 if (position is null) |