- /*
- * @(#)ListView.java 1.28 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.util.Enumeration;
- import java.awt.*;
- import javax.swing.text.*;
-
- /**
- * A view implementation to display an html list
- *
- * @author Timothy Prinzing
- * @version 1.28 12/19/03
- */
- public class ListView extends BlockView {
-
- /**
- * Creates a new view that represents a list element.
- *
- * @param elem the element to create a view for
- */
- public ListView(Element elem) {
- super(elem, View.Y_AXIS);
- }
-
- /**
- * Calculates the desired shape of the list.
- *
- * @return the desired span
- * @see View#getPreferredSpan
- */
- public float getAlignment(int axis) {
- switch (axis) {
- case View.X_AXIS:
- return 0.5f;
- case View.Y_AXIS:
- return 0.5f;
- default:
- throw new IllegalArgumentException("Invalid axis: " + axis);
- }
- }
-
- /**
- * Renders using the given rendering surface and area on that
- * surface.
- *
- * @param g the rendering surface to use
- * @param allocation the allocated region to render into
- * @see View#paint
- */
- public void paint(Graphics g, Shape allocation) {
- super.paint(g, allocation);
- Rectangle alloc = allocation.getBounds();
- Rectangle clip = g.getClipBounds();
- // Since listPainter paints in the insets we have to check for the
- // case where the child is not painted because the paint region is
- // to the left of the child. This assumes the ListPainter paints in
- // the left margin.
- if ((clip.x + clip.width) < (alloc.x + getLeftInset())) {
- Rectangle childRect = alloc;
- alloc = getInsideAllocation(allocation);
- int n = getViewCount();
- int endY = clip.y + clip.height;
- for (int i = 0; i < n; i++) {
- childRect.setBounds(alloc);
- childAllocation(i, childRect);
- if (childRect.y < endY) {
- if ((childRect.y + childRect.height) >= clip.y) {
- listPainter.paint(g, childRect.x, childRect.y,
- childRect.width, childRect.height,
- this, i);
- }
- }
- else {
- break;
- }
- }
- }
- }
-
- /**
- * Paints one of the children; called by paint(). By default
- * that is all it does, but a subclass can use this to paint
- * things relative to the child.
- *
- * @param g the graphics context
- * @param alloc the allocated region to render the child into
- * @param index the index of the child
- */
- protected void paintChild(Graphics g, Rectangle alloc, int index) {
- listPainter.paint(g, alloc.x, alloc.y, alloc.width, alloc.height, this, index);
- super.paintChild(g, alloc, index);
- }
-
- protected void setPropertiesFromAttributes() {
- super.setPropertiesFromAttributes();
- listPainter = getStyleSheet().getListPainter(getAttributes());
- }
-
- private StyleSheet.ListPainter listPainter;
- }