private /*static*/ final boolean isVisible(ITextViewer viewer, int offset, int length) { if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; IRegion overlap= extension.modelRange2WidgetRange(new Region(offset, length)); return overlap != null; } return viewer.overlapsWithVisibleRegion(offset, length); }
protected boolean isVisible(ITextViewer viewer, int offset, int length) { if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; IRegion overlap= extension.modelRange2WidgetRange(new Region(offset, length)); return overlap != null; } return viewer.overlapsWithVisibleRegion(offset, length); }
/** * Tells whether the given region is visible in the given source viewer. * * @param viewer the source viewer * @param offset the offset of the region * @param length the length of the region * @return <code>true</code> if visible * @since 2.1 */ protected static final boolean isVisible(ISourceViewer viewer, int offset, int length) { if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; IRegion overlap= extension.modelRange2WidgetRange(new Region(offset, length)); return overlap != null; } return viewer.overlapsWithVisibleRegion(offset, length); }
/** * Tells whether the given region is visible in the given source viewer. * * @param viewer the source viewer * @param offset the offset of the region * @param length the length of the region * @return <code>true</code> if visible * @since 2.1 */ protected static final boolean isVisible(ISourceViewer viewer, int offset, int length) { if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; IRegion overlap= extension.modelRange2WidgetRange(new Region(offset, length)); return overlap != null; } return viewer.overlapsWithVisibleRegion(offset, length); }
/** * Tells whether the given region is visible in the given source viewer. * * @param viewer the source viewer * @param offset the offset of the region * @param length the length of the region * @return <code>true</code> if visible * @since 2.1 */ protected static final boolean isVisible(ISourceViewer viewer, int offset, int length) { if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; IRegion overlap= extension.modelRange2WidgetRange(new Region(offset, length)); return overlap != null; } return viewer.overlapsWithVisibleRegion(offset, length); }
if (fSourceViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension3= (ITextViewerExtension5) fSourceViewer; if (null == extension3.modelRange2WidgetRange(new Region(p.getOffset(), p.getLength()))) continue; } else if (!fSourceViewer.overlapsWithVisibleRegion(p.offset, p.length)) {
if (fSourceViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension3= (ITextViewerExtension5) fSourceViewer; if (null == extension3.modelRange2WidgetRange(new Region(p.getOffset(), p.getLength()))) continue; } else if (!fSourceViewer.overlapsWithVisibleRegion(p.offset, p.length)) {
fReusableRegion.setOffset(modelOffset); fReusableRegion.setLength(modelLength); return extension.modelRange2WidgetRange(fReusableRegion);
fReusableRegion.setOffset(modelOffset); fReusableRegion.setLength(modelLength); return extension.modelRange2WidgetRange(fReusableRegion);
private IRegion modelRange2WidgetRange(IRegion region) { ISourceViewer viewer= fEditor.getViewer(); if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5)viewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= viewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); }
private IRegion modelRange2WidgetRange(IRegion region) { ISourceViewer viewer= fEditor.getViewer(); if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5)viewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= viewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); }
/** * Translates a given region of the text viewer's document into * the corresponding region of the viewer's widget. * * @param region the document region * @param textViewer the viewer containing the region * @return the corresponding widget region * * @since 3.4 */ private static IRegion modelRange2WidgetRange(IRegion region, ITextViewer textViewer) { if (textViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) textViewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= textViewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); }
private IRegion modelRange2WidgetRange(IRegion region) { ISourceViewer viewer= fEditor.getViewer(); if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5)viewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= viewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); } }
private IRegion modelRange2WidgetRange(IRegion region) { if (fEditorViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension = (ITextViewerExtension5) fEditorViewer; return extension.modelRange2WidgetRange(region); } if (fEditorViewer instanceof TextViewer) { return ((TextViewer) fEditorViewer).modelRange2WidgetRange(region); } IRegion visibleRegion = fEditorViewer.getVisibleRegion(); int start = region.getOffset() - visibleRegion.getOffset(); int end = start + region.getLength(); if (end > visibleRegion.getLength()) end = visibleRegion.getLength(); return new Region(start, end - start); }
/** * Translated the given range in the viewer's document into the corresponding * range of the viewer's widget. * * @param region the range in the viewer's document * @return the corresponding widget range * @since 2.1 */ private IRegion modelRange2WidgetRange(IRegion region) { if (fTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= fTextViewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); }
/** * Translated the given range in the viewer's document into the corresponding * range of the viewer's widget. * * @param region the range in the viewer's document * @return the corresponding widget range * @since 2.1 */ private IRegion modelRange2WidgetRange(IRegion region) { if (fTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= fTextViewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); }
/** * Translates a given region of the text viewer's document into * the corresponding region of the viewer's widget. * * @param region the document region * @param textViewer the viewer containing the region * @return the corresponding widget region * * @since 3.4 */ private static IRegion modelRange2WidgetRange(IRegion region, ITextViewer textViewer) { if (textViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) textViewer; return extension.modelRange2WidgetRange(region); } IRegion visibleRegion= textViewer.getVisibleRegion(); int start= region.getOffset() - visibleRegion.getOffset(); int end= start + region.getLength(); if (end > visibleRegion.getLength()) end= visibleRegion.getLength(); return new Region(start, end - start); }
continue; IRegion widgetRegion= extension.modelRange2WidgetRange(new Region(position.getOffset(), position.getLength())); if (widgetRegion == null) continue;
IRegion widgetRange= extension.modelRange2WidgetRange(new Region(offset, length)); if (widgetRange == null) return;
IRegion widgetRange= extension.modelRange2WidgetRange(new Region(offset, length)); if (widgetRange == null) return;