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 Description Margins(int marginTop, int marginBottom, int marginLeft, int marginRight)
Constructs an instance for storing margin data.
-
Method Summary
All Methods Modifier and Type Method 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()
-
-
-
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)
-
-