1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105
/* * @(#)ListView.java 1.29 05/11/17 * * Copyright 2006 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.29 11/17/05 */ 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; }