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)