| /* HRuleView.java -- Horizontal dash in HTML documents. |
| Copyright (C) 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.html; |
| |
| import java.awt.Color; |
| import java.awt.Component; |
| import java.awt.Graphics; |
| import java.awt.Rectangle; |
| import java.awt.Shape; |
| |
| import javax.swing.text.Element; |
| import javax.swing.text.View; |
| |
| /** |
| * Represents the long horizontal separating dash that can be inserted into the |
| * HTML documents with HR tag. |
| */ |
| class HRuleView extends InlineView |
| { |
| /** |
| * The null view, indicating, that nothing should be painted ahead the |
| * breaking point. |
| */ |
| View nullView; |
| |
| /** |
| * The height of the horizontal dash area. |
| */ |
| static int HEIGHT = 4; |
| |
| /** |
| * The imaginary invisible view that stays after end of line after the |
| * breaking procedure. It occupies on character. |
| */ |
| class Beginning extends NullView |
| { |
| /** |
| * The break offset that becomes the views start offset. |
| */ |
| int breakOffset; |
| |
| /** |
| * Return the end offset that is always one char after the break offset. |
| */ |
| public int getEndOffset() |
| { |
| return breakOffset + 1; |
| } |
| |
| /** |
| * Return the start offset that has been passed in a constructor. |
| */ |
| public int getStartOffset() |
| { |
| return breakOffset; |
| } |
| |
| /** |
| * Create the new instance of this view. |
| * |
| * @param element the element (inherited from the HR view) |
| * @param offset the position where the HR view has been broken |
| */ |
| public Beginning(Element element, int offset) |
| { |
| super(element); |
| breakOffset = offset; |
| } |
| } |
| |
| /** |
| * Creates the new HR view. |
| */ |
| public HRuleView(Element element) |
| { |
| super(element); |
| } |
| |
| /** |
| * Returns the ForcedBreakWeight for the vertical axis, indicating, the the |
| * view must be broken to be displayed correctly. The horizontal dash is |
| * not breakeable along the Y axis. |
| */ |
| public int getBreakWeight(int axis, float pos, float len) |
| { |
| if (axis == X_AXIS && ((getEndOffset() - getStartOffset()) > 1)) |
| return ForcedBreakWeight; |
| else |
| return BadBreakWeight; |
| } |
| |
| /** |
| * Draws the double line, upped black and the lower light gray. |
| */ |
| public void paint(Graphics g, Shape a) |
| { |
| Rectangle bounds = a.getBounds(); |
| |
| int x = bounds.x; |
| int y = bounds.y; |
| |
| int w = bounds.x + bounds.width; |
| |
| // We move "half pixel up" from the actual horizontal position - |
| // this will be rounded to the closest actual int co-ordinate. |
| int h = bounds.y + (int) Math.round(bounds.height * 0.5 - 0.5); |
| |
| g.setColor(Color.black); |
| g.drawLine(x, y++, w, h++); |
| g.setColor(Color.lightGray); |
| g.drawLine(x, y, w, h); |
| } |
| |
| /** |
| * Break the view into this view and the invisible imaginary view that |
| * stays on the end of line that is broken by HR dash. The view is broken |
| * only if its length is longer than one (the two characters are expected |
| * in the initial length). |
| */ |
| public View breakView(int axis, int offset, float pos, float len) |
| { |
| if (getEndOffset() - getStartOffset() > 1) |
| return new Beginning(getElement(), offset); |
| else |
| return this; |
| } |
| |
| /** |
| * Returns the width of the container for the horizontal axis and the |
| * thickness of the dash area for the vertical axis. |
| */ |
| public float getMaximumSpan(int axis) |
| { |
| if (axis == X_AXIS) |
| { |
| Component container = getContainer(); |
| if (container != null) |
| return getContainer().getWidth(); |
| else |
| return 640; |
| } |
| else |
| return HEIGHT; |
| } |
| |
| /** |
| * Returns the same values as {@link #getMaximumSpan(int)} |
| */ |
| public float getPreferredSpan(int axis) |
| { |
| return getMaximumSpan(axis); |
| } |
| } |