desmoj.extensions.visualization2d.engine.util

Class SpringUtilities

java.lang.Object

desmoj.extensions.visualization2d.engine.util.SpringUtilities

public class SpringUtilities
extends java.lang.Object

A 1.4 file that provides utility methods for creating form- or grid-style layouts with SpringLayout. These utilities are used by several programs, such as SpringBox and SpringCompactGrid.

Constructor Summary

Constructors

Constructor and Description
SpringUtilities()

Method Summary

Modifier and Type	Method and Description
static void	makeCompactGrid(java.awt.Container parent, int rows, int cols, int initialX, int initialY, int xPad, int yPad) Aligns the first rows * cols components of parent in a grid.
static void	makeGrid(java.awt.Container parent, int rows, int cols, int initialX, int initialY, int xPad, int yPad) Aligns the first rows * cols components of parent in a grid.
static void	printSizes(java.awt.Component c) A debugging utility that prints to stdout the component's minimum, preferred, and maximum sizes.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SpringUtilities

public SpringUtilities()

Method Detail

printSizes

public static void printSizes(java.awt.Component c)

A debugging utility that prints to stdout the component's minimum, preferred, and maximum sizes.

makeGrid

public static void makeGrid(java.awt.Container parent,
                            int rows,
                            int cols,
                            int initialX,
                            int initialY,
                            int xPad,
                            int yPad)

Aligns the first rows * cols components of parent in a grid. Each component is as big as the maximum preferred width and height of the components. The parent is made just big enough to fit them all.

Parameters:

rows - number of rows

cols - number of columns

initialX - x location to start the grid at

initialY - y location to start the grid at

xPad - x padding between cells

yPad - y padding between cells

makeCompactGrid

public static void makeCompactGrid(java.awt.Container parent,
                                   int rows,
                                   int cols,
                                   int initialX,
                                   int initialY,
                                   int xPad,
                                   int yPad)

Aligns the first rows * cols components of parent in a grid. Each component in a column is as wide as the maximum preferred width of the components in that column; height is similarly determined for each row. The parent is made just big enough to fit them all.

Parameters:

rows - number of rows

cols - number of columns

initialX - x location to start the grid at

initialY - y location to start the grid at

xPad - x padding between cells

yPad - y padding between cells