Interface ThemePadding
-
- All Superinterfaces:
org.eclipse.emf.ecore.EObject
,org.eclipse.emf.common.notify.Notifier
- All Known Implementing Classes:
ThemePaddingImpl
public interface ThemePadding extends org.eclipse.emf.ecore.EObject
A representation of the model object 'Padding'.The following features are supported:
- See Also:
ThemePackage.getThemePadding()
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getBottom()
Returns the value of the 'Bottom' attribute.int
getLeft()
Returns the value of the 'Left' attribute.int
getRight()
Returns the value of the 'Right' attribute.int
getTop()
Returns the value of the 'Top' attribute.int
height()
void
setBottom(int value)
Sets the value of the 'Bottom
' attribute.void
setLeft(int value)
Sets the value of the 'Left
' attribute.void
setRight(int value)
Sets the value of the 'Right
' attribute.void
setTop(int value)
Sets the value of the 'Top
' attribute.int
width()
-
-
-
Method Detail
-
getLeft
int getLeft()
Returns the value of the 'Left' attribute.- Returns:
- the value of the 'Left' attribute.
- See Also:
setLeft(int)
,ThemePackage.getThemePadding_Left()
-
setLeft
void setLeft(int value)
Sets the value of the 'Left
' attribute.- Parameters:
value
- the new value of the 'Left' attribute.- See Also:
getLeft()
-
getTop
int getTop()
Returns the value of the 'Top' attribute.- Returns:
- the value of the 'Top' attribute.
- See Also:
setTop(int)
,ThemePackage.getThemePadding_Top()
-
setTop
void setTop(int value)
Sets the value of the 'Top
' attribute.- Parameters:
value
- the new value of the 'Top' attribute.- See Also:
getTop()
-
getRight
int getRight()
Returns the value of the 'Right' attribute.- Returns:
- the value of the 'Right' attribute.
- See Also:
setRight(int)
,ThemePackage.getThemePadding_Right()
-
setRight
void setRight(int value)
Sets the value of the 'Right
' attribute.- Parameters:
value
- the new value of the 'Right' attribute.- See Also:
getRight()
-
getBottom
int getBottom()
Returns the value of the 'Bottom' attribute.- Returns:
- the value of the 'Bottom' attribute.
- See Also:
setBottom(int)
,ThemePackage.getThemePadding_Bottom()
-
setBottom
void setBottom(int value)
Sets the value of the 'Bottom
' attribute.- Parameters:
value
- the new value of the 'Bottom' attribute.- See Also:
getBottom()
-
width
int width()
-
height
int height()
-
-