diff options
Diffstat (limited to 'libjava/classpath/javax/swing/text/DefaultHighlighter.java')
| -rw-r--r-- | libjava/classpath/javax/swing/text/DefaultHighlighter.java | 478 |
1 files changed, 0 insertions, 478 deletions
diff --git a/libjava/classpath/javax/swing/text/DefaultHighlighter.java b/libjava/classpath/javax/swing/text/DefaultHighlighter.java deleted file mode 100644 index a4264d3..0000000 --- a/libjava/classpath/javax/swing/text/DefaultHighlighter.java +++ /dev/null @@ -1,478 +0,0 @@ -/* DefaultHighlighter.java -- The default highlight for Swing - Copyright (C) 2004, 2006 Free Software Foundation, Inc. - -This file is part of GNU Classpath. - -GNU Classpath is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU Classpath is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU Classpath; see the file COPYING. If not, write to the -Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA -02110-1301 USA. - -Linking this library statically or dynamically with other modules is -making a combined work based on this library. Thus, the terms and -conditions of the GNU General Public License cover the whole -combination. - -As a special exception, the copyright holders of this library give you -permission to link this library with independent modules to produce an -executable, regardless of the license terms of these independent -modules, and to copy and distribute the resulting executable under -terms of your choice, provided that you also meet, for each linked -independent module, the terms and conditions of the license of that -module. An independent module is a module which is not derived from -or based on this library. If you modify this library, you may extend -this exception to your version of the library, but you are not -obligated to do so. If you do not wish to do so, delete this -exception statement from your version. */ - - -package javax.swing.text; - -import java.awt.Color; -import java.awt.Graphics; -import java.awt.Insets; -import java.awt.Rectangle; -import java.awt.Shape; -import java.util.ArrayList; -import java.util.Iterator; - -import javax.swing.SwingUtilities; -import javax.swing.plaf.TextUI; - -/** - * The default highlight for Swing text components. It highlights text - * by filling the background with a rectangle. - */ -public class DefaultHighlighter extends LayeredHighlighter -{ - public static class DefaultHighlightPainter - extends LayerPainter - { - private Color color; - - public DefaultHighlightPainter(Color c) - { - super(); - color = c; - } - - public Color getColor() - { - return color; - } - - public void paint(Graphics g, int p0, int p1, Shape bounds, - JTextComponent t) - { - if (p0 == p1) - return; - - Rectangle rect = bounds.getBounds(); - - Color col = getColor(); - if (col == null) - col = t.getSelectionColor(); - g.setColor(col); - - TextUI ui = t.getUI(); - - try - { - - Rectangle l0 = ui.modelToView(t, p0, null); - Rectangle l1 = ui.modelToView(t, p1, null); - - // Note: The computed locations may lie outside of the allocation - // area if the text is scrolled. - - if (l0.y == l1.y) - { - SwingUtilities.computeUnion(l0.x, l0.y, l0.width, l0.height, l1); - - // Paint only inside the allocation area. - SwingUtilities.computeIntersection(rect.x, rect.y, rect.width, - rect.height, l1); - - g.fillRect(l1.x, l1.y, l1.width, l1.height); - } - else - { - // 1. The line of p0 is painted from the position of p0 - // to the right border. - // 2. All lines between the ones where p0 and p1 lie on - // are completely highlighted. The allocation area is used to find - // out the bounds. - // 3. The final line is painted from the left border to the - // position of p1. - - int firstLineWidth = rect.x + rect.width - l0.x; - g.fillRect(l0.x, l0.y, firstLineWidth, l0.height); - if (l0.y + l0.height != l1.y) - { - g.fillRect(rect.x, l0.y + l0.height, rect.width, - l1.y - l0.y - l0.height); - } - g.fillRect(rect.x, l1.y, l1.x - rect.x, l1.height); - } - } - catch (BadLocationException ex) - { - // Can't render. Comment out for debugging. - // ex.printStackTrace(); - } - } - - public Shape paintLayer(Graphics g, int p0, int p1, Shape bounds, - JTextComponent c, View view) - { - Color col = getColor(); - if (col == null) - col = c.getSelectionColor(); - g.setColor(col); - - Rectangle rect = null; - if (p0 == view.getStartOffset() && p1 == view.getEndOffset()) - { - // Paint complete bounds region. - rect = bounds instanceof Rectangle ? (Rectangle) bounds - : bounds.getBounds(); - } - else - { - // Only partly inside the view. - try - { - Shape s = view.modelToView(p0, Position.Bias.Forward, - p1, Position.Bias.Backward, - bounds); - rect = s instanceof Rectangle ? (Rectangle) s : s.getBounds(); - } - catch (BadLocationException ex) - { - // Can't render the highlight. - } - } - - if (rect != null) - { - g.fillRect(rect.x, rect.y, rect.width, rect.height); - } - return rect; - } - } - - private class HighlightEntry implements Highlighter.Highlight - { - Position p0; - Position p1; - Highlighter.HighlightPainter painter; - - public HighlightEntry(Position p0, Position p1, - Highlighter.HighlightPainter painter) - { - this.p0 = p0; - this.p1 = p1; - this.painter = painter; - } - - public int getStartOffset() - { - return p0.getOffset(); - } - - public int getEndOffset() - { - return p1.getOffset(); - } - - public Highlighter.HighlightPainter getPainter() - { - return painter; - } - } - - /** - * A HighlightEntry that is used for LayerPainter painters. In addition - * to the info maintained by the HighlightEntry, this class maintains - * a painting rectangle. This is used as repaint region when the - * highlight changes and the text component needs repainting. - */ - private class LayerHighlightEntry - extends HighlightEntry - { - - /** - * The paint rectangle. - */ - Rectangle paintRect = new Rectangle(); - - LayerHighlightEntry(Position p0, Position p1, - Highlighter.HighlightPainter p) - { - super(p0, p1, p); - } - - /** - * Paints the highlight by calling the LayerPainter. This - * restricts the area to be painted by startOffset and endOffset - * and manages the paint rectangle. - */ - void paintLayeredHighlight(Graphics g, int p0, int p1, Shape bounds, - JTextComponent tc, View view) - { - p0 = Math.max(getStartOffset(), p0); - p1 = Math.min(getEndOffset(), p1); - - Highlighter.HighlightPainter painter = getPainter(); - if (painter instanceof LayerPainter) - { - LayerPainter layerPainter = (LayerPainter) painter; - Shape area = layerPainter.paintLayer(g, p0, p1, bounds, tc, view); - Rectangle rect; - if (area instanceof Rectangle && paintRect != null) - rect = (Rectangle) area; - else - rect = area.getBounds(); - - if (paintRect.width == 0 || paintRect.height == 0) - paintRect = rect.getBounds(); - else - paintRect = SwingUtilities.computeUnion(rect.x, rect.y, rect.width, - rect.height, paintRect); - } - } - } - - /** - * @specnote final as of 1.4 - */ - public static final LayeredHighlighter.LayerPainter DefaultPainter = - new DefaultHighlightPainter(null); - - private JTextComponent textComponent; - private ArrayList highlights = new ArrayList(); - private boolean drawsLayeredHighlights = true; - - public DefaultHighlighter() - { - // Nothing to do here. - } - - public boolean getDrawsLayeredHighlights() - { - return drawsLayeredHighlights; - } - - public void setDrawsLayeredHighlights(boolean newValue) - { - drawsLayeredHighlights = newValue; - } - - private void checkPositions(int p0, int p1) - throws BadLocationException - { - if (p0 < 0) - throw new BadLocationException("DefaultHighlighter", p0); - - if (p1 < p0) - throw new BadLocationException("DefaultHighlighter", p1); - } - - public void install(JTextComponent c) - { - textComponent = c; - removeAllHighlights(); - } - - public void deinstall(JTextComponent c) - { - textComponent = null; - } - - public Object addHighlight(int p0, int p1, - Highlighter.HighlightPainter painter) - throws BadLocationException - { - checkPositions(p0, p1); - HighlightEntry entry; - Document doc = textComponent.getDocument(); - Position pos0 = doc.createPosition(p0); - Position pos1 = doc.createPosition(p1); - if (getDrawsLayeredHighlights() && painter instanceof LayerPainter) - entry = new LayerHighlightEntry(pos0, pos1, painter); - else - entry = new HighlightEntry(pos0, pos1, painter); - highlights.add(entry); - - textComponent.getUI().damageRange(textComponent, p0, p1); - - return entry; - } - - public void removeHighlight(Object tag) - { - HighlightEntry entry = (HighlightEntry) tag; - if (entry instanceof LayerHighlightEntry) - { - LayerHighlightEntry lEntry = (LayerHighlightEntry) entry; - Rectangle paintRect = lEntry.paintRect; - textComponent.repaint(paintRect.x, paintRect.y, paintRect.width, - paintRect.height); - } - else - { - textComponent.getUI().damageRange(textComponent, - entry.getStartOffset(), - entry.getEndOffset()); - } - highlights.remove(tag); - - } - - public void removeAllHighlights() - { - // Repaint damaged region. - int minX = 0; - int maxX = 0; - int minY = 0; - int maxY = 0; - int p0 = -1; - int p1 = -1; - for (Iterator i = highlights.iterator(); i.hasNext();) - { - HighlightEntry e = (HighlightEntry) i.next(); - if (e instanceof LayerHighlightEntry) - { - LayerHighlightEntry le = (LayerHighlightEntry) e; - Rectangle r = le.paintRect; - minX = Math.min(r.x, minX); - maxX = Math.max(r.x + r.width, maxX); - minY = Math.min(r.y, minY); - maxY = Math.max(r.y + r.height, maxY); - } - else - { - if (p0 == -1 || p1 == -1) - { - p0 = e.getStartOffset(); - p1 = e.getEndOffset(); - } - else - { - p0 = Math.min(p0, e.getStartOffset()); - p1 = Math.max(p1, e.getEndOffset()); - } - } - if (minX != maxX && minY != maxY) - textComponent.repaint(minX, minY, maxX - minX, maxY - minY); - if (p0 != -1 && p1 != -1) - { - TextUI ui = textComponent.getUI(); - ui.damageRange(textComponent, p0, p1); - } - - } - highlights.clear(); - } - - public Highlighter.Highlight[] getHighlights() - { - return (Highlighter.Highlight[]) - highlights.toArray(new Highlighter.Highlight[highlights.size()]); - } - - public void changeHighlight(Object tag, int n0, int n1) - throws BadLocationException - { - Document doc = textComponent.getDocument(); - TextUI ui = textComponent.getUI(); - if (tag instanceof LayerHighlightEntry) - { - LayerHighlightEntry le = (LayerHighlightEntry) tag; - Rectangle r = le.paintRect; - if (r.width > 0 && r.height > 0) - textComponent.repaint(r.x, r.y, r.width, r.height); - r.width = 0; - r.height = 0; - le.p0 = doc.createPosition(n0); - le.p1 = doc.createPosition(n1); - ui.damageRange(textComponent, Math.min(n0, n1), Math.max(n0, n1)); - } - else if (tag instanceof HighlightEntry) - { - HighlightEntry e = (HighlightEntry) tag; - int p0 = e.getStartOffset(); - int p1 = e.getEndOffset(); - if (p0 == n0) - { - ui.damageRange(textComponent, Math.min(p1, n1), - Math.max(p1, n1)); - } - else if (n1 == p1) - { - ui.damageRange(textComponent, Math.min(p0, n0), - Math.max(p0, n0)); - } - else - { - ui.damageRange(textComponent, p0, p1); - ui.damageRange(textComponent, n0, n1); - } - e.p0 = doc.createPosition(n0); - e.p1 = doc.createPosition(n1); - } - } - - public void paintLayeredHighlights(Graphics g, int p0, int p1, - Shape viewBounds, JTextComponent editor, - View view) - { - for (Iterator i = highlights.iterator(); i.hasNext();) - { - Object o = i.next(); - if (o instanceof LayerHighlightEntry) - { - LayerHighlightEntry entry = (LayerHighlightEntry) o; - int start = entry.getStartOffset(); - int end = entry.getEndOffset(); - if ((p0 < start && p1 > start) || (p0 >= start && p0 < end)) - entry.paintLayeredHighlight(g, p0, p1, viewBounds, editor, view); - } - } - } - - public void paint(Graphics g) - { - int size = highlights.size(); - - // Check if there are any highlights. - if (size == 0) - return; - - // Prepares the rectangle of the inner drawing area. - Insets insets = textComponent.getInsets(); - Shape bounds = - new Rectangle(insets.left, - insets.top, - textComponent.getWidth() - insets.left - insets.right, - textComponent.getHeight() - insets.top - insets.bottom); - - for (int index = 0; index < size; ++index) - { - HighlightEntry entry = (HighlightEntry) highlights.get(index); - if (! (entry instanceof LayerHighlightEntry)) - entry.painter.paint(g, entry.getStartOffset(), entry.getEndOffset(), - bounds, textComponent); - } - } -} |