com.vaadin.client.ui.layout

Class Margins

java.lang.Object

com.vaadin.client.ui.layout.Margins

public class Margins
extends Object

A class for storing margin data.

Author:

Vaadin Ltd

Constructor Summary

Constructors

Constructor and Description
Margins(int marginTop, int marginBottom, int marginLeft, int marginRight) Constructs an instance for storing margin data.

Method Summary

Modifier and Type	Method and Description
int	getHorizontal() Returns the combined width of the left and the right margins.
int	getMarginBottom() Returns the height of the bottom margin.
int	getMarginLeft() Returns the width of the left margin.
int	getMarginRight() Returns the width of the right margin.
int	getMarginTop() Returns the height of the top margin.
int	getVertical() Returns the combined height of the top and the bottom margins.
void	setMarginBottom(int marginBottom) Sets the height of the bottom margin.
void	setMarginLeft(int marginLeft) Sets the width of the left margin.
void	setMarginRight(int marginRight) Sets the width of the right margin.
void	setMarginTop(int marginTop) Sets the height of the top margin.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Margins

public Margins(int marginTop,
               int marginBottom,
               int marginLeft,
               int marginRight)

Constructs an instance for storing margin data.

Parameters:

marginTop - top margin (in pixels)

marginBottom - bottom margin (in pixels)

marginLeft - left margin (in pixels)

marginRight - right margin (in pixels)

Method Detail

getMarginTop

public int getMarginTop()

Returns the height of the top margin.

Returns:

top margin (in pixels)

getMarginBottom

public int getMarginBottom()

Returns the height of the bottom margin.

Returns:

bottom margin (in pixels)

getMarginLeft

public int getMarginLeft()

Returns the width of the left margin.

Returns:

left margin (in pixels)

getMarginRight

public int getMarginRight()

Returns the width of the right margin.

Returns:

right margin (in pixels)

getHorizontal

public int getHorizontal()

Returns the combined width of the left and the right margins.

Returns:

the sum of the left and the right margins (in pixels)

getVertical

public int getVertical()

Returns the combined height of the top and the bottom margins.

Returns:

the sum of the top and the bottom margins (in pixels)

setMarginTop

public void setMarginTop(int marginTop)

Sets the height of the top margin.

Parameters:

marginTop - the top margin to set (in pixels)

setMarginBottom

public void setMarginBottom(int marginBottom)

Sets the height of the bottom margin.

Parameters:

marginBottom - the bottom margin to set (in pixels)

setMarginLeft

public void setMarginLeft(int marginLeft)

Sets the width of the left margin.

Parameters:

marginLeft - the left margin to set (in pixels)

setMarginRight

public void setMarginRight(int marginRight)

Sets the width of the right margin.

Parameters:

marginRight - the right margin to set (in pixels)

toString

public String toString()

Overrides:

toString in class Object