Class ElementListSupport


  • public final class ElementListSupport
    extends java.lang.Object
    Class to support Lists of MathElements.

    This class can be used by all elements that have some kind of a list of children that they need to handle in a row-like manner.

    Version:
    $Revision: d02878fc1d01 $
    • Method Detail

      • createListOfChildren

        public static java.util.List<org.w3c.dom.Node> createListOfChildren​(org.w3c.dom.Node parent)
        Creates a list of children for the given Element.
        Parameters:
        parent - the parent element.
        Returns:
        list of Children.
      • createListOfLayoutChildren

        public static java.util.List<LayoutableNode> createListOfLayoutChildren​(org.w3c.dom.Node parent)
        Creates a list of layoutable children for the given Element.
        Parameters:
        parent - the parent element.
        Returns:
        list of Children.
      • fillInfoFromChildren

        public static void fillInfoFromChildren​(LayoutView view,
                                                LayoutInfo info,
                                                org.w3c.dom.Node parent,
                                                LayoutStage stage,
                                                java.awt.geom.Dimension2D borderLeftTop,
                                                java.awt.geom.Dimension2D borderRightBottom)
        Parameters:
        view - View Object
        info - Info to fill
        parent - Current Node
        stage - Stage to load Info From
        borderLeftTop - border around element.
        borderRightBottom - border around element.
      • layoutSequential

        public static void layoutSequential​(LayoutView view,
                                            LayoutInfo info,
                                            java.util.List<LayoutableNode> children,
                                            LayoutStage stage)
        Parameters:
        view - View Object
        info - Info to fill
        children - Children to layout
        stage - Stage to load Info From
      • addBackground

        public static void addBackground​(java.awt.Color backgroundColor,
                                         LayoutInfo info,
                                         boolean useCeil)
        Add a background Rectangle for the given background color.
        Parameters:
        backgroundColor - background color (may be null)
        info - LayoutInfo object to add to. Must already be completely rendered (stage 2)
        useCeil - if true, the Math.ceil(double) will be used to avoid anti-aliasing artifacts.