projects/dwt-addons: dwtx/jface/text/TextViewer.d comparison

comparison dwtx/jface/text/TextViewer.d @ 138:b6bad70d540a

Regex instanceof changes

author	Frank Benoit <benoit@tionex.de>
date	Sun, 24 Aug 2008 02:26:23 +0200
parents	25170b5a8951
children	26688fec6d23

comparison

equal deleted inserted replaced

-:25170b5a8951
+:b6bad70d540a
 text= e.getText();
 if (length !is 0) {
 try {
-if (e instanceof SlaveDocumentEvent) {
+if ( cast(SlaveDocumentEvent)e ) {
 SlaveDocumentEvent slave= cast(SlaveDocumentEvent) e;
 DocumentEvent master= slave.getMasterEvent();
 if (master !is null)
 preservedText= master.getDocument().get(master.getOffset(), master.getLength());
 } else {
 IDocument document= this.outer.getDocument();
 if (replaceAll) {
-if (document instanceof IDocumentExtension4) {
+if ( cast(IDocumentExtension4)document ) {
 IDocumentExtension4 extension= cast(IDocumentExtension4) document;
 fRewriteSession= extension.startRewriteSession(DocumentRewriteSessionType.SEQUENTIAL);
 } else {
 this.outer.setRedraw(false);
 this.outer.startSequentialRewriteMode(false);
 fRememberedPartitioners= TextUtilities.removeDocumentPartitioners(document);
 }
 } else {
-if (document instanceof IDocumentExtension4) {
+if ( cast(IDocumentExtension4)document ) {
 IDocumentExtension4 extension= cast(IDocumentExtension4) document;
 extension.stopRewriteSession(fRewriteSession);
 } else {
 this.outer.setRedraw(true);
 this.outer.stopSequentialRewriteMode();
 if (fWidgetTokenKeeper is requester)
 return true;
 bool accepted= false;
-if (fWidgetTokenKeeper instanceof IWidgetTokenKeeperExtension)  {
+if ( cast(IWidgetTokenKeeperExtension)fWidgetTokenKeeper )  {
 IWidgetTokenKeeperExtension extension= cast(IWidgetTokenKeeperExtension) fWidgetTokenKeeper;
 accepted= extension.requestWidgetToken(this, priority);
 } else  {
 accepted= fWidgetTokenKeeper.requestWidgetToken(this);
 }
 /*
 * @see Viewer#setSelection(ISelection)
 */
 public void setSelection(ISelection selection, bool reveal) {
-if (selection instanceof ITextSelection) {
+if ( cast(ITextSelection)selection ) {
 ITextSelection s= cast(ITextSelection) selection;
 setSelectedRange(s.getOffset(), s.getLength());
 if (reveal)
 revealRange(s.getOffset(), s.getLength());
 }
 protected void updateTextListeners(WidgetCommand cmd) {
 List textListeners= fTextListeners;
 if (textListeners !is null) {
 textListeners= new ArrayList(textListeners);
 DocumentEvent event= cmd.event;
-if (event instanceof SlaveDocumentEvent)
+if ( cast(SlaveDocumentEvent)event )
 event= (cast(SlaveDocumentEvent) event).getMasterEvent();
 TextEvent e= new TextEvent(cmd.start, cmd.length, cmd.text, cmd.preservedText, event, redraws());
 for (int i= 0; i < textListeners.size(); i++) {
 ITextListener l= cast(ITextListener) textListeners.get(i);
 * @see Viewer#setInput(Object)
 */
 public void setInput(Object input) {
 IDocument document= null;
-if (input instanceof IDocument)
+if ( cast(IDocument)input )
 document= cast(IDocument) input;
 setDocument(document);
 }
 * @throws BadLocationException in case the specified range is not valid in the master document
 * @since 2.1
 * @deprecated use <code>updateSlaveDocument</code> instead
 */
 protected bool updateVisibleDocument(IDocument visibleDocument, int visibleRegionOffset, int visibleRegionLength)  {
-if (visibleDocument instanceof ChildDocument) {
+if ( cast(ChildDocument)visibleDocument ) {
 ChildDocument childDocument= cast(ChildDocument) visibleDocument;
 IDocument document= childDocument.getParentDocument();
 int line= document.getLineOfOffset(visibleRegionOffset);
 int offset= document.getLineOffset(line);
 * @return the offset of the visible region
 */
 protected int _getVisibleRegionOffset() {
 IDocument document= getVisibleDocument();
-if (document instanceof ChildDocument) {
+if ( cast(ChildDocument)document ) {
 ChildDocument cdoc= cast(ChildDocument) document;
 return cdoc.getParentDocumentRange().getOffset();
 }
 return 0;
 * @see ITextViewer#getVisibleRegion()
 */
 public IRegion getVisibleRegion() {
 IDocument document= getVisibleDocument();
-if (document instanceof ChildDocument) {
+if ( cast(ChildDocument)document ) {
 Position p= (cast(ChildDocument) document).getParentDocumentRange();
 return new Region(p.getOffset(), p.getLength());
 }
 return new Region(0, document is null ? 0 : document.getLength());
 /*
 * @see ITextViewer#overlapsWithVisibleRegion(int, int)
 */
 public bool overlapsWithVisibleRegion(int start, int length) {
 IDocument document= getVisibleDocument();
-if (document instanceof ChildDocument) {
+if ( cast(ChildDocument)document ) {
 ChildDocument cdoc= cast(ChildDocument) document;
 return cdoc.getParentDocumentRange().overlapsWith(start, length);
 } else if (document !is null) {
 int size= document.getLength();
 return (start >= 0 && length >= 0 && start + length <= size);
 return;
 fIgnoreAutoIndent= ignore;
 IDocument document= getDocument();
-if (document instanceof IDocumentExtension2) {
+if ( cast(IDocumentExtension2)document ) {
 IDocumentExtension2 extension= cast(IDocumentExtension2) document;
 if (ignore)
 extension.ignorePostNotificationReplaces();
 else
 extension.acceptPostNotificationReplaces();
 offset--;
 lines[j + 1]= (lines[j] is -1 ? -1 : d.getLineOfOffset(offset));
 lineCount += lines[j + 1] - lines[j] + 1;
 }
-if (d instanceof IDocumentExtension4) {
+if ( cast(IDocumentExtension4)d ) {
 IDocumentExtension4 extension= cast(IDocumentExtension4) d;
 rewriteSession= extension.startRewriteSession(DocumentRewriteSessionType.SEQUENTIAL);
 } else {
 setRedraw(false);
 startSequentialRewriteMode(true);
 } finally {
 if (partitioners !is null)
 TextUtilities.addDocumentPartitioners(d, partitioners);
-if (d instanceof IDocumentExtension4) {
+if ( cast(IDocumentExtension4)d ) {
 IDocumentExtension4 extension= cast(IDocumentExtension4) d;
 extension.stopRewriteSession(rewriteSession);
 } else {
 stopSequentialRewriteMode();
 setRedraw(true);
 * @return the viewer's visible region if smaller than input document, otherwise <code>null</code>
 */
 protected IRegion _internalGetVisibleRegion() {
 IDocument document= getVisibleDocument();
-if (document instanceof ChildDocument) {
+if ( cast(ChildDocument)document ) {
 Position p= (cast(ChildDocument) document).getParentDocumentRange();
 return new Region(p.getOffset(), p.getLength());
 }
 return null;
 }
 }
 fMarkPosition= null;
-if (oldDocument instanceof IDocumentExtension4) {
+if ( cast(IDocumentExtension4)oldDocument ) {
 IDocumentExtension4 document= cast(IDocumentExtension4) oldDocument;
 document.removeDocumentRewriteSessionListener(fDocumentRewriteSessionListener);
 }
 super.inputChanged(newInput, oldInput);
-if (newInput instanceof IDocumentExtension4) {
+if ( cast(IDocumentExtension4)newInput ) {
 IDocumentExtension4 document= cast(IDocumentExtension4) newInput;
 document.addDocumentRewriteSessionListener(fDocumentRewriteSessionListener);
 }
 IDocument newDocument= cast(IDocument) newInput;
 *
 * @param topIndex the top index to be set or <code>-1</code>
 * @since 3.0
 */
 protected void enabledRedrawing(int topIndex) {
-if (fDocumentAdapter instanceof IDocumentAdapterExtension) {
+if ( cast(IDocumentAdapterExtension)fDocumentAdapter ) {
 IDocumentAdapterExtension extension= cast(IDocumentAdapterExtension) fDocumentAdapter;
 StyledText textWidget= getTextWidget();
 if (textWidget !is null && !textWidget.isDisposed()) {
 extension.resumeForwardingDocumentChanges();
 if (topIndex > -1) {
 */
 protected void disableRedrawing() {
 if (fViewerState is null)
 fViewerState= new ViewerState();
-if (fDocumentAdapter instanceof IDocumentAdapterExtension) {
+if ( cast(IDocumentAdapterExtension)fDocumentAdapter ) {
 IDocumentAdapterExtension extension= cast(IDocumentAdapterExtension) fDocumentAdapter;
 extension.stopForwardingDocumentChanges();
 }
 if (fTextWidget !is null && !fTextWidget.isDisposed())
 * @since 2.0
 * @deprecated since 3.1 use {@link IDocumentExtension4#startRewriteSession(DocumentRewriteSessionType)} instead
 */
 protected final void startSequentialRewriteMode(bool normalized) {
 IDocument document= getDocument();
-if (document instanceof IDocumentExtension) {
+if ( cast(IDocumentExtension)document ) {
 IDocumentExtension extension= cast(IDocumentExtension) document;
 extension.startSequentialRewrite(normalized);
 }
 }
 * @since 2.0
 * @deprecated since 3.1 use {@link IDocumentExtension4#stopRewriteSession(DocumentRewriteSession)} instead
 */
 protected final void stopSequentialRewriteMode() {
 IDocument document= getDocument();
-if (document instanceof IDocumentExtension) {
+if ( cast(IDocumentExtension)document ) {
 IDocumentExtension extension= cast(IDocumentExtension) document;
 extension.stopSequentialRewrite();
 }
 }
 * @param modelRange the model range
 * @return the corresponding widget range, or <code>null</code>
 * @since 3.1
 */
 protected IRegion modelRange2ClosestWidgetRange(IRegion modelRange) {
-if (!(fInformationMapping instanceof IDocumentInformationMappingExtension2))
+if (!( cast(IDocumentInformationMappingExtension2)fInformationMapping ))
 return modelRange2WidgetRange(modelRange);
 try {
 if (modelRange.getLength() < 0) {
 Region reversed= new Region(modelRange.getOffset() + modelRange.getLength(), -modelRange.getLength());
 /*
 * @see dwtx.jface.text.ITextViewerExtension4#moveFocusToWidgetToken()
 * @since 3.0
 */
 public bool moveFocusToWidgetToken() {
-if (fWidgetTokenKeeper instanceof IWidgetTokenKeeperExtension) {
+if ( cast(IWidgetTokenKeeperExtension)fWidgetTokenKeeper ) {
 IWidgetTokenKeeperExtension extension= cast(IWidgetTokenKeeperExtension) fWidgetTokenKeeper;
 return extension.setFocus(this);
 }
 return false;
 }

Mercurial > projects > dwt-addons

comparison dwtx/jface/text/TextViewer.d @ 138:b6bad70d540a