- /*
- * @(#)HRuleView.java 1.32 03/12/19
- *
- * Copyright 2004 Sun Microsystems, Inc. All rights reserved.
- * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
- */
- package javax.swing.text.html;
-
- import java.awt.*;
- import javax.swing.event.DocumentEvent;
- import javax.swing.text.*;
- import java.util.Enumeration;
- import java.lang.Integer;
-
- /**
- * A view implementation to display an html horizontal
- * rule.
- *
- * @author Timothy Prinzing
- * @author Sara Swanson
- * @version 1.32 12/19/03
- */
- class HRuleView extends View {
-
- /**
- * Creates a new view that represents an <hr> element.
- *
- * @param elem the element to create a view for
- */
- public HRuleView(Element elem) {
- super(elem);
- setPropertiesFromAttributes();
- }
-
- /**
- * Update any cached values that come from attributes.
- */
- protected void setPropertiesFromAttributes() {
- StyleSheet sheet = ((HTMLDocument)getDocument()).getStyleSheet();
- AttributeSet eAttr = getElement().getAttributes();
- attr = sheet.getViewAttributes(this);
-
- alignment = StyleConstants.ALIGN_CENTER;
- size = 0;
- noshade = null;
- widthValue = null;
-
- if (attr != null) {
- // getAlignment() returns ALIGN_LEFT by default, and HR should
- // use ALIGN_CENTER by default, so we check if the alignment
- // attribute is actually defined
- if (attr.getAttribute(StyleConstants.Alignment) != null) {
- alignment = StyleConstants.getAlignment(attr);
- }
-
- noshade = (String)eAttr.getAttribute(HTML.Attribute.NOSHADE);
- Object value = eAttr.getAttribute(HTML.Attribute.SIZE);
- if (value != null && (value instanceof String))
- size = Integer.parseInt((String)value);
- value = attr.getAttribute(CSS.Attribute.WIDTH);
- if (value != null && (value instanceof CSS.LengthValue)) {
- widthValue = (CSS.LengthValue)value;
- }
- topMargin = getLength(CSS.Attribute.MARGIN_TOP, attr);
- bottomMargin = getLength(CSS.Attribute.MARGIN_BOTTOM, attr);
- leftMargin = getLength(CSS.Attribute.MARGIN_LEFT, attr);
- rightMargin = getLength(CSS.Attribute.MARGIN_RIGHT, attr);
- }
- else {
- topMargin = bottomMargin = leftMargin = rightMargin = 0;
- }
- size = Math.max(2, size);
- }
-
- // This will be removed and centralized at some point, need to unify this
- // and avoid private classes.
- private float getLength(CSS.Attribute key, AttributeSet a) {
- CSS.LengthValue lv = (CSS.LengthValue) a.getAttribute(key);
- float len = (lv != null) ? lv.getValue() : 0;
- return len;
- }
-
- // --- View methods ---------------------------------------------
-
- /**
- * Paints the view.
- *
- * @param g the graphics context
- * @param a the allocation region for the view
- * @see View#paint
- */
- public void paint(Graphics g, Shape a) {
- Rectangle alloc = (a instanceof Rectangle) ? (Rectangle)a :
- a.getBounds();
- int x = 0;
- int y = alloc.y + SPACE_ABOVE + (int)topMargin;
- int width = alloc.width - (int)(leftMargin + rightMargin);
- if (widthValue != null) {
- width = (int)widthValue.getValue((float)width);
- }
- int height = alloc.height - (SPACE_ABOVE + SPACE_BELOW +
- (int)topMargin + (int)bottomMargin);
- if (size > 0)
- height = size;
-
- // Align the rule horizontally.
- switch (alignment) {
- case StyleConstants.ALIGN_CENTER:
- x = alloc.x + (alloc.width / 2) - (width / 2);
- break;
- case StyleConstants.ALIGN_RIGHT:
- x = alloc.x + alloc.width - width - (int)rightMargin;
- break;
- case StyleConstants.ALIGN_LEFT:
- default:
- x = alloc.x + (int)leftMargin;
- break;
- }
-
- // Paint either a shaded rule or a solid line.
- if (noshade != null) {
- g.setColor(Color.black);
- g.fillRect(x, y, width, height);
- }
- else {
- Color bg = getContainer().getBackground();
- Color bottom, top;
- if (bg == null || bg.equals(Color.white)) {
- top = Color.darkGray;
- bottom = Color.lightGray;
- }
- else {
- top = Color.darkGray;
- bottom = Color.white;
- }
- g.setColor(bottom);
- g.drawLine(x + width - 1, y, x + width - 1, y + height - 1);
- g.drawLine(x, y + height - 1, x + width - 1, y + height - 1);
- g.setColor(top);
- g.drawLine(x, y, x + width - 1, y);
- g.drawLine(x, y, x, y + height - 1);
- }
-
- }
-
-
- /**
- * Calculates the desired shape of the rule... this is
- * basically the preferred size of the border.
- *
- * @param axis may be either X_AXIS or Y_AXIS
- * @return the desired span
- * @see View#getPreferredSpan
- */
- public float getPreferredSpan(int axis) {
- switch (axis) {
- case View.X_AXIS:
- return 1;
- case View.Y_AXIS:
- if (size > 0) {
- return size + SPACE_ABOVE + SPACE_BELOW + topMargin +
- bottomMargin;
- } else {
- if (noshade != null) {
- return 2 + SPACE_ABOVE + SPACE_BELOW + topMargin +
- bottomMargin;
- } else {
- return SPACE_ABOVE + SPACE_BELOW + topMargin +bottomMargin;
- }
- }
- default:
- throw new IllegalArgumentException("Invalid axis: " + axis);
- }
- }
-
- /**
- * Gets the resize weight for the axis.
- * The rule is: rigid vertically and flexible horizontally.
- *
- * @param axis may be either X_AXIS or Y_AXIS
- * @return the weight
- */
- public int getResizeWeight(int axis) {
- if (axis == View.X_AXIS) {
- return 1;
- } else if (axis == View.Y_AXIS) {
- return 0;
- } else {
- return 0;
- }
- }
-
- /**
- * Determines how attractive a break opportunity in
- * this view is. This is implemented to request a forced break.
- *
- * @param axis may be either View.X_AXIS or View.Y_AXIS
- * @param pos the potential location of the start of the
- * broken view (greater than or equal to zero).
- * This may be useful for calculating tab
- * positions.
- * @param len specifies the relative length from <em>pos</em>
- * where a potential break is desired. The value must be greater
- * than or equal to zero.
- * @return the weight, which should be a value between
- * ForcedBreakWeight and BadBreakWeight.
- */
- public int getBreakWeight(int axis, float pos, float len) {
- if (axis == X_AXIS) {
- return ForcedBreakWeight;
- }
- return BadBreakWeight;
- }
-
- public View breakView(int axis, int offset, float pos, float len) {
- return null;
- }
-
- /**
- * Provides a mapping from the document model coordinate space
- * to the coordinate space of the view mapped to it.
- *
- * @param pos the position to convert
- * @param a the allocated region to render into
- * @return the bounding box of the given position
- * @exception BadLocationException if the given position does not
- * represent a valid location in the associated document
- * @see View#modelToView
- */
- public Shape modelToView(int pos, Shape a, Position.Bias b) throws BadLocationException {
- int p0 = getStartOffset();
- int p1 = getEndOffset();
- if ((pos >= p0) && (pos <= p1)) {
- Rectangle r = a.getBounds();
- if (pos == p1) {
- r.x += r.width;
- }
- r.width = 0;
- return r;
- }
- return null;
- }
-
- /**
- * Provides a mapping from the view coordinate space to the logical
- * coordinate space of the model.
- *
- * @param x the X coordinate
- * @param y the Y coordinate
- * @param a the allocated region to render into
- * @return the location within the model that best represents the
- * given point of view
- * @see View#viewToModel
- */
- public int viewToModel(float x, float y, Shape a, Position.Bias[] bias) {
- Rectangle alloc = (Rectangle) a;
- if (x < alloc.x + (alloc.width / 2)) {
- bias[0] = Position.Bias.Forward;
- return getStartOffset();
- }
- bias[0] = Position.Bias.Backward;
- return getEndOffset();
- }
-
- /**
- * Fetches the attributes to use when rendering. This is
- * implemented to multiplex the attributes specified in the
- * model with a StyleSheet.
- */
- public AttributeSet getAttributes() {
- return attr;
- }
-
- public void changedUpdate(DocumentEvent changes, Shape a, ViewFactory f) {
- super.changedUpdate(changes, a, f);
- int pos = changes.getOffset();
- if (pos <= getStartOffset() && (pos + changes.getLength()) >=
- getEndOffset()) {
- setPropertiesFromAttributes();
- }
- }
-
- // --- variables ------------------------------------------------
-
- private float topMargin;
- private float bottomMargin;
- private float leftMargin;
- private float rightMargin;
- private int alignment = StyleConstants.ALIGN_CENTER;
- private String noshade = null;
- private int size = 0;
- private CSS.LengthValue widthValue;
-
- private static final int SPACE_ABOVE = 3;
- private static final int SPACE_BELOW = 3;
-
- /** View Attributes. */
- private AttributeSet attr;
- }
-