/* * (c) Copyright IBM Corp. 2000, 2001. * All Rights Reserved. */ package net.sourceforge.phpdt.internal.ui.text.link; import java.lang.reflect.InvocationTargetException; import net.sourceforge.phpeclipse.PHPeclipsePlugin; import org.eclipse.core.runtime.CoreException; import org.eclipse.jface.dialogs.MessageDialog; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.preference.PreferenceConverter; import org.eclipse.jface.text.BadLocationException; import org.eclipse.jface.text.BadPositionCategoryException; import org.eclipse.jface.text.DefaultPositionUpdater; import org.eclipse.jface.text.IDocument; import org.eclipse.jface.text.IPositionUpdater; import org.eclipse.jface.text.IRegion; import org.eclipse.jface.text.ITextInputListener; import org.eclipse.jface.text.ITextViewer; import org.eclipse.jface.text.ITextViewerExtension; import org.eclipse.jface.text.Position; import org.eclipse.jface.text.Region; import org.eclipse.jface.util.Assert; import org.eclipse.jface.util.IPropertyChangeListener; import org.eclipse.jface.util.PropertyChangeEvent; import org.eclipse.swt.SWT; import org.eclipse.swt.custom.StyledText; import org.eclipse.swt.custom.VerifyKeyListener; import org.eclipse.swt.events.ModifyEvent; import org.eclipse.swt.events.ModifyListener; import org.eclipse.swt.events.PaintEvent; import org.eclipse.swt.events.PaintListener; import org.eclipse.swt.events.VerifyEvent; import org.eclipse.swt.events.VerifyListener; import org.eclipse.swt.graphics.Color; import org.eclipse.swt.graphics.GC; import org.eclipse.swt.graphics.Point; import org.eclipse.swt.graphics.RGB; import org.eclipse.swt.widgets.Display; import org.eclipse.swt.widgets.Shell; /** * A user interface for LinkedPositionManager, using ITextViewer. */ public class LinkedPositionUI implements LinkedPositionListener, ITextInputListener, ModifyListener, VerifyListener, VerifyKeyListener, PaintListener, IPropertyChangeListener { /** * A listener for notification when the user cancelled the edit operation. */ public interface ExitListener { void exit(boolean accept); } /** Preference key for linked position color */ // public final static String LINKED_POSITION_COLOR= "_linkedPositionColor"; //$NON-NLS-1$ // leave flags private static final int UNINSTALL= 1; // uninstall linked position manager private static final int COMMIT= 2; // commit changes private static final int DOCUMENT_CHANGED= 4; // document has changed private static final int UPDATE_CARET= 8; // update caret private static final String CARET_POSITION= "LinkedPositionUI.caret.position"; //$NON-NLS-1$ private static final IPositionUpdater fgUpdater= new DefaultPositionUpdater(CARET_POSITION); private static final IPreferenceStore fgStore= PHPeclipsePlugin.getDefault().getPreferenceStore(); private final ITextViewer fViewer; private final LinkedPositionManager fManager; private Color fFrameColor; private int fFinalCaretOffset= -1; // no final caret offset private Position fFramePosition; private int fCaretOffset; private ExitListener fExitListener; /** * Creates a user interface for LinkedPositionManager. * * @param viewer the text viewer. * @param manager the LinkedPositionManager managing a IDocument of the ITextViewer. */ public LinkedPositionUI(ITextViewer viewer, LinkedPositionManager manager) { Assert.isNotNull(viewer); Assert.isNotNull(manager); fViewer= viewer; fManager= manager; fManager.setLinkedPositionListener(this); initializeHighlightColor(viewer); } /* * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent) */ public void propertyChange(PropertyChangeEvent event) { // if (event.getProperty().equals(CompilationUnitEditor.LINKED_POSITION_COLOR)) { if (event.getProperty().equals(PHPeclipsePlugin.LINKED_POSITION_COLOR)) { initializeHighlightColor(fViewer); redrawRegion(); } } private void initializeHighlightColor(ITextViewer viewer) { if (fFrameColor != null) fFrameColor.dispose(); StyledText text= viewer.getTextWidget(); if (text != null) { Display display= text.getDisplay(); // fFrameColor= createColor(fgStore, CompilationUnitEditor.LINKED_POSITION_COLOR, display); fFrameColor= createColor(fgStore, PHPeclipsePlugin.LINKED_POSITION_COLOR, display); } } /** * Creates a color from the information stored in the given preference store. * Returns null if there is no such information available. */ private Color createColor(IPreferenceStore store, String key, Display display) { RGB rgb= null; if (store.contains(key)) { if (store.isDefault(key)) rgb= PreferenceConverter.getDefaultColor(store, key); else rgb= PreferenceConverter.getColor(store, key); if (rgb != null) return new Color(display, rgb); } return null; } /** * Sets the final position of the caret when the linked mode is exited * successfully by leaving the last linked position using TAB. */ public void setFinalCaretOffset(int offset) { fFinalCaretOffset= offset; } /** * Sets a CancelListener which is notified if the linked mode * is exited unsuccessfully by hitting ESC. */ public void setCancelListener(ExitListener listener) { fExitListener= listener; } /* * @see LinkedPositionManager.LinkedPositionListener#setCurrentPositions(Position, int) */ public void setCurrentPosition(Position position, int caretOffset) { if (!fFramePosition.equals(position)) { redrawRegion(); fFramePosition= position; } fCaretOffset= caretOffset; } /** * Enters the linked mode. The linked mode can be left by calling * exit. * * @see #exit(boolean) */ public void enter() { // track final caret IDocument document= fViewer.getDocument(); document.addPositionCategory(CARET_POSITION); document.addPositionUpdater(fgUpdater); try { if (fFinalCaretOffset != -1) document.addPosition(CARET_POSITION, new Position(fFinalCaretOffset)); } catch (BadLocationException e) { handleException(fViewer.getTextWidget().getShell(), e); } catch (BadPositionCategoryException e) { PHPeclipsePlugin.log(e); Assert.isTrue(false); } fViewer.addTextInputListener(this); ITextViewerExtension extension= (ITextViewerExtension) fViewer; extension.prependVerifyKeyListener(this); StyledText text= fViewer.getTextWidget(); text.addVerifyListener(this); text.addModifyListener(this); text.addPaintListener(this); text.showSelection(); fFramePosition= fManager.getFirstPosition(); if (fFramePosition == null) leave(UNINSTALL | COMMIT | UPDATE_CARET); fgStore.addPropertyChangeListener(this); } /* * @see LinkedPositionManager.LinkedPositionListener#exit(boolean) */ public void exit(boolean success) { // no UNINSTALL since manager has already uninstalled itself leave((success ? COMMIT : 0) | UPDATE_CARET); } /** * Returns the cursor selection, after having entered the linked mode. * enter() must be called prior to a call to this method. */ public IRegion getSelectedRegion() { if (fFramePosition == null) return new Region(fFinalCaretOffset, 0); else return new Region(fFramePosition.getOffset(), fFramePosition.getLength()); } private void leave(int flags) { if ((flags & UNINSTALL) != 0) fManager.uninstall((flags & COMMIT) != 0); fgStore.removePropertyChangeListener(this); if (fFrameColor != null) { fFrameColor.dispose(); fFrameColor= null; } StyledText text= fViewer.getTextWidget(); text.removePaintListener(this); text.removeModifyListener(this); text.removeVerifyListener(this); ITextViewerExtension extension= (ITextViewerExtension) fViewer; extension.removeVerifyKeyListener(this); fViewer.removeTextInputListener(this); try { IRegion region= fViewer.getVisibleRegion(); IDocument document= fViewer.getDocument(); if (((flags & COMMIT) != 0) && ((flags & DOCUMENT_CHANGED) == 0) && ((flags & UPDATE_CARET) != 0)) { Position[] positions= document.getPositions(CARET_POSITION); if ((positions != null) && (positions.length != 0)) { int offset= positions[0].getOffset() - region.getOffset(); if ((offset >= 0) && (offset <= region.getLength())) text.setSelection(offset, offset); } } document.removePositionUpdater(fgUpdater); document.removePositionCategory(CARET_POSITION); if (fExitListener != null) fExitListener.exit( ((flags & COMMIT) != 0) || ((flags & DOCUMENT_CHANGED) != 0)); } catch (BadPositionCategoryException e) { PHPeclipsePlugin.log(e); Assert.isTrue(false); } if ((flags & DOCUMENT_CHANGED) == 0) text.redraw(); } private void next() { redrawRegion(); fFramePosition= fManager.getNextPosition(fFramePosition.getOffset()); if (fFramePosition == null) { leave(UNINSTALL | COMMIT | UPDATE_CARET); } else { selectRegion(); redrawRegion(); } } private void previous() { redrawRegion(); Position position= fManager.getPreviousPosition(fFramePosition.getOffset()); if (position == null) { fViewer.getTextWidget().getDisplay().beep(); } else { fFramePosition= position; selectRegion(); redrawRegion(); } } /* * @see VerifyKeyListener#verifyKey(VerifyEvent) */ public void verifyKey(VerifyEvent event) { switch (event.character) { // [SHIFT-]TAB = hop between edit boxes case 0x09: { Point selection= fViewer.getTextWidget().getSelection(); IRegion region= fViewer.getVisibleRegion(); int offset= selection.x + region.getOffset(); int length= selection.y - selection.x; // if tab was treated as a document change, would it exceed variable range? if (!LinkedPositionManager.includes(fFramePosition, offset, length)) { leave(UNINSTALL | COMMIT | UPDATE_CARET); return; } } if (event.stateMask == SWT.SHIFT) previous(); else next(); event.doit= false; break; // ENTER case 0x0D: leave(UNINSTALL | COMMIT | UPDATE_CARET); event.doit= false; break; // ESC case 0x1B: leave(UNINSTALL | COMMIT); event.doit= false; break; } } /* * @see VerifyListener#verifyText(VerifyEvent) */ public void verifyText(VerifyEvent event) { if (!event.doit) return; IRegion region= fViewer.getVisibleRegion(); int offset= event.start + region.getOffset(); int length= event.end - event.start; // allow changes only within linked positions when coming through UI if (!fManager.anyPositionIncludes(offset, length)) leave(UNINSTALL | COMMIT); } /* * @see PaintListener#paintControl(PaintEvent) */ public void paintControl(PaintEvent event) { if (fFramePosition == null) return; IRegion region= fViewer.getVisibleRegion(); // #6824 if (!includes(region, fFramePosition)) { leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); return; } int offset= fFramePosition.getOffset() - region.getOffset(); int length= fFramePosition.getLength(); StyledText text= fViewer.getTextWidget(); // support for bidi Point minLocation= getMinimumLocation(text, offset, length); Point maxLocation= getMaximumLocation(text, offset, length); int x1= minLocation.x; int x2= minLocation.x + maxLocation.x - minLocation.x - 1; int y= minLocation.y + text.getLineHeight() - 1; GC gc= event.gc; gc.setForeground(fFrameColor); gc.drawLine(x1, y, x2, y); } private static Point getMinimumLocation(StyledText text, int offset, int length) { Point minLocation= new Point(Integer.MAX_VALUE, Integer.MAX_VALUE); for (int i= 0; i <= length; i++) { Point location= text.getLocationAtOffset(offset + i); if (location.x < minLocation.x) minLocation.x= location.x; if (location.y < minLocation.y) minLocation.y= location.y; } return minLocation; } private static Point getMaximumLocation(StyledText text, int offset, int length) { Point maxLocation= new Point(Integer.MIN_VALUE, Integer.MIN_VALUE); for (int i= 0; i <= length; i++) { Point location= text.getLocationAtOffset(offset + i); if (location.x > maxLocation.x) maxLocation.x= location.x; if (location.y > maxLocation.y) maxLocation.y= location.y; } return maxLocation; } private void redrawRegion() { IRegion region= fViewer.getVisibleRegion(); if (!includes(region, fFramePosition)) { leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); return; } int offset= fFramePosition.getOffset() - region.getOffset(); int length= fFramePosition.getLength(); StyledText text= fViewer.getTextWidget(); if (text != null && !text.isDisposed()) text.redrawRange(offset, length, true); } private void selectRegion() { IRegion region= fViewer.getVisibleRegion(); if (!includes(region, fFramePosition)) { leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); return; } int start= fFramePosition.getOffset() - region.getOffset(); int end= fFramePosition.getLength() + start; StyledText text= fViewer.getTextWidget(); if (text != null && !text.isDisposed()) text.setSelection(start, end); } private void updateCaret() { IRegion region= fViewer.getVisibleRegion(); if (!includes(region, fFramePosition)) { leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); return; } int offset= fFramePosition.getOffset() + fCaretOffset - region.getOffset(); if ((offset >= 0) && (offset <= region.getLength())) { StyledText text= fViewer.getTextWidget(); if (text != null && !text.isDisposed()) text.setCaretOffset(offset); } } /* * @see ModifyListener#modifyText(ModifyEvent) */ public void modifyText(ModifyEvent e) { // reposition caret after StyledText redrawRegion(); updateCaret(); } private static void handleException(Shell shell, Exception e) { String title= LinkedPositionMessages.getString("LinkedPositionUI.error.title"); //$NON-NLS-1$ if (e instanceof CoreException) PHPeclipsePlugin.log(e); // ExceptionHandler.handle((CoreException)e, shell, title, null); else if (e instanceof InvocationTargetException) PHPeclipsePlugin.log(e); // ExceptionHandler.handle((InvocationTargetException)e, shell, title, null); else { MessageDialog.openError(shell, title, e.getMessage()); PHPeclipsePlugin.log(e); } } /* * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument, IDocument) */ public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) { // 5326: leave linked mode on document change int flags= UNINSTALL | COMMIT | (oldInput.equals(newInput) ? 0 : DOCUMENT_CHANGED); leave(flags); } /* * @see ITextInputListener#inputDocumentChanged(IDocument, IDocument) */ public void inputDocumentChanged(IDocument oldInput, IDocument newInput) { } private static boolean includes(IRegion region, Position position) { return position.getOffset() >= region.getOffset() && position.getOffset() + position.getLength() <= region.getOffset() + region.getLength(); } }