net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/BracketPainter.java

   1 package net.sourceforge.phpeclipse.phpeditor;
   2
   3 /*
   4  * (c) Copyright IBM Corp. 2000, 2001.
   5  * All Rights Reserved.
   6  */
   7
   8 import net.sourceforge.phpdt.internal.ui.text.PHPPairMatcher;
   9
  10 import org.eclipse.jface.text.IRegion;
  11 import org.eclipse.jface.text.ITextViewerExtension3;
  12 import org.eclipse.jface.text.Position;
  13 import org.eclipse.jface.text.Region;
  14 import org.eclipse.jface.text.source.ISourceViewer;
  15 import org.eclipse.swt.custom.StyledText;
  16 import org.eclipse.swt.events.PaintEvent;
  17 import org.eclipse.swt.events.PaintListener;
  18 import org.eclipse.swt.graphics.Color;
  19 import org.eclipse.swt.graphics.GC;
  20 import org.eclipse.swt.graphics.Point;
  21
  22
  23 public final class BracketPainter implements IPainter, PaintListener {
  24
  25         private PHPPairMatcher fMatcher= new PHPPairMatcher(new char[] { '{', '}', '(', ')', '[', ']' });
  26         private Position fBracketPosition= new Position(0, 0);
  27         private int fAnchor;
  28
  29         private boolean fIsActive= false;
  30         private ISourceViewer fSourceViewer;
  31         private StyledText fTextWidget;
  32         private Color fColor;
  33
  34         private IPositionManager fPositionManager;
  35
  36
  37         public BracketPainter(ISourceViewer sourceViewer) {
  38                 fSourceViewer= sourceViewer;
  39                 fTextWidget= sourceViewer.getTextWidget();
  40         }
  41
  42         public void setHighlightColor(Color color) {
  43                 fColor= color;
  44         }
  45
  46         public void dispose() {
  47                 if (fMatcher != null) {
  48                         fMatcher.dispose();
  49                         fMatcher= null;
  50                 }
  51
  52                 fColor= null;
  53                 fTextWidget= null;
  54         }
  55
  56         public void deactivate(boolean redraw) {
  57                 if (fIsActive) {
  58                         fIsActive= false;
  59                         fTextWidget.removePaintListener(this);
  60                         if (fPositionManager != null)
  61                                 fPositionManager.removeManagedPosition(fBracketPosition);
  62                         if (redraw)
  63                                 handleDrawRequest(null);
  64                 }
  65         }
  66
  67         public void paintControl(PaintEvent event) {
  68                 if (fTextWidget != null)
  69                         handleDrawRequest(event.gc);
  70         }
  71
  72         private void handleDrawRequest(GC gc) {
  73
  74                 if (fBracketPosition.isDeleted)
  75                         return;
  76
  77                 int offset= fBracketPosition.getOffset();
  78                 int length= fBracketPosition.getLength();
  79                 if (length < 1)
  80                         return;
  81
  82                 if (fSourceViewer instanceof ITextViewerExtension3) {
  83                         ITextViewerExtension3 extension= (ITextViewerExtension3) fSourceViewer;
  84                         IRegion widgetRange= extension.modelRange2WidgetRange(new Region(offset, length));
  85                         if (widgetRange == null)
  86                                 return;
  87
  88                         offset= widgetRange.getOffset();
  89                         length= widgetRange.getLength();
  90
  91                 } else {
  92                         IRegion region= fSourceViewer.getVisibleRegion();
  93                         if (region.getOffset() > offset || region.getOffset() + region.getLength() < offset + length)
  94                                 return;
  95                         offset -= region.getOffset();
  96                 }
  97
  98                 if (PHPPairMatcher.RIGHT == fAnchor)
  99                         draw(gc, offset, 1);
 100                 else
 101                         draw(gc, offset + length -1, 1);
 102         }
 103
 104         private void draw(GC gc, int offset, int length) {
 105                 if (gc != null) {
 106                         Point left= fTextWidget.getLocationAtOffset(offset);
 107                         Point right= fTextWidget.getLocationAtOffset(offset + length);
 108
 109                         gc.setForeground(fColor);
 110                         gc.drawRectangle(left.x, left.y, right.x - left.x - 1, gc.getFontMetrics().getHeight() - 1);
 111
 112                 } else {
 113                         fTextWidget.redrawRange(offset, length, true);
 114                 }
 115         }
 116
 117         /*
 118          * @see IPainter#paint(int)
 119          */
 120         public void paint(int reason) {
 121                 Point selection= fSourceViewer.getSelectedRange();
 122                 if (selection.y > 0) {
 123                         deactivate(true);
 124                         return;
 125                 }
 126
 127                 IRegion pair= fMatcher.match(fSourceViewer.getDocument(), selection.x);
 128                 if (pair == null) {
 129                         deactivate(true);
 130                         return;
 131                 }
 132
 133                 if (fIsActive) {
 134                         // only if different
 135                         if (pair.getOffset() != fBracketPosition.getOffset() ||
 136                                         pair.getLength() != fBracketPosition.getLength() ||
 137                                         fMatcher.getAnchor() != fAnchor) {
 138
 139                                 // remove old highlighting
 140                                 handleDrawRequest(null);
 141                                 // update position
 142                                 fBracketPosition.isDeleted= false;
 143                                 fBracketPosition.offset= pair.getOffset();
 144                                 fBracketPosition.length= pair.getLength();
 145                                 fAnchor= fMatcher.getAnchor();
 146                                 // apply new highlighting
 147                                 handleDrawRequest(null);
 148
 149                         }
 150                 } else {
 151
 152                         fIsActive= true;
 153
 154                         fBracketPosition.isDeleted= false;
 155                         fBracketPosition.offset= pair.getOffset();
 156                         fBracketPosition.length= pair.getLength();
 157                         fAnchor= fMatcher.getAnchor();
 158
 159                         fTextWidget.addPaintListener(this);
 160                         fPositionManager.addManagedPosition(fBracketPosition);
 161                         handleDrawRequest(null);
 162                 }
 163         }
 164
 165         /*
 166          * @see IPainter#setPositionManager(IPositionManager)
 167          */
 168         public void setPositionManager(IPositionManager manager) {
 169                 fPositionManager= manager;
 170         }
 171 }