org.processmining.framework.log.filter
Class LogEventLogFilterEnh.SpringUtilities

java.lang.Object
  extended by org.processmining.framework.log.filter.LogEventLogFilterEnh.SpringUtilities
Enclosing class:
LogEventLogFilterEnh

public class LogEventLogFilterEnh.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
LogEventLogFilterEnh.SpringUtilities()
           
 
Method Summary
 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.
 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.
 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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LogEventLogFilterEnh.SpringUtilities

public LogEventLogFilterEnh.SpringUtilities()
Method Detail

printSizes

public void printSizes(java.awt.Component c)
A debugging utility that prints to stdout the component's minimum, preferred, and maximum sizes.


makeGrid

public 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 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