de.uka.ilkd.key.gui.utilities

Class WrapLayout

java.lang.Object

java.awt.FlowLayout

de.uka.ilkd.key.gui.utilities.WrapLayout

All Implemented Interfaces:

java.awt.LayoutManager, java.io.Serializable

public class WrapLayout
extends java.awt.FlowLayout

FlowLayout subclass that fully supports wrapping of components.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class java.awt.FlowLayout

CENTER, LEADING, LEFT, RIGHT, TRAILING

Constructor Summary

Constructors

Constructor and Description
WrapLayout() Constructs a new WrapLayout with a left alignment and a default 5-unit horizontal and vertical gap.
WrapLayout(int align) Constructs a new FlowLayout with the specified alignment and a default 5-unit horizontal and vertical gap.
WrapLayout(int align, int hgap, int vgap) Creates a new flow layout manager with the indicated alignment and the indicated horizontal and vertical gaps.

Method Summary

Modifier and Type	Method and Description
private void	addRow(java.awt.Dimension dim, int rowWidth, int rowHeight)
private java.awt.Dimension	layoutSize(java.awt.Container target, boolean preferred) Returns the minimum or preferred dimension needed to layout the target container.
java.awt.Dimension	minimumLayoutSize(java.awt.Container target) Returns the minimum dimensions needed to layout the visible components contained in the specified target container.
java.awt.Dimension	preferredLayoutSize(java.awt.Container target) Returns the preferred dimensions for this layout given the visible components in the specified target container.

Methods inherited from class java.awt.FlowLayout

addLayoutComponent, getAlignment, getAlignOnBaseline, getHgap, getVgap, layoutContainer, removeLayoutComponent, setAlignment, setAlignOnBaseline, setHgap, setVgap, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

WrapLayout

public WrapLayout()

Constructs a new WrapLayout with a left alignment and a default 5-unit horizontal and vertical gap.

WrapLayout

public WrapLayout(int align)

Constructs a new FlowLayout with the specified alignment and a default 5-unit horizontal and vertical gap. The value of the alignment argument must be one of WrapLayout, WrapLayout, or WrapLayout.

Parameters:

align - the alignment value

WrapLayout

public WrapLayout(int align,
                  int hgap,
                  int vgap)

Creates a new flow layout manager with the indicated alignment and the indicated horizontal and vertical gaps.

The value of the alignment argument must be one of WrapLayout, WrapLayout, or WrapLayout.

Parameters:

align - the alignment value

hgap - the horizontal gap between components

vgap - the vertical gap between components

Method Detail

preferredLayoutSize

public java.awt.Dimension preferredLayoutSize(java.awt.Container target)

Returns the preferred dimensions for this layout given the visible components in the specified target container.

Specified by:

preferredLayoutSize in interface java.awt.LayoutManager

Overrides:

preferredLayoutSize in class java.awt.FlowLayout

Parameters:

target - the component which needs to be laid out

Returns:

the preferred dimensions to lay out the subcomponents of the specified container

minimumLayoutSize

public java.awt.Dimension minimumLayoutSize(java.awt.Container target)

Returns the minimum dimensions needed to layout the visible components contained in the specified target container.

Specified by:

minimumLayoutSize in interface java.awt.LayoutManager

Overrides:

minimumLayoutSize in class java.awt.FlowLayout

Parameters:

target - the component which needs to be laid out

Returns:

the minimum dimensions to lay out the subcomponents of the specified container

layoutSize

private java.awt.Dimension layoutSize(java.awt.Container target,
                                      boolean preferred)

Returns the minimum or preferred dimension needed to layout the target container.

Parameters:

target - target to get layout size for

preferred - should preferred size be calculated

Returns:

the dimension to layout the target container

addRow

private void addRow(java.awt.Dimension dim,
                    int rowWidth,
                    int rowHeight)