public final class BoxDefinition extends Object
Modifier and Type | Field and Description |
---|---|
static RenderLength |
DEFAULT_PREFERRED_WIDTH |
static BoxDefinition |
EMPTY |
Constructor and Description |
---|
BoxDefinition() |
public static final BoxDefinition EMPTY
public static final RenderLength DEFAULT_PREFERRED_WIDTH
public void setSizeSpecifiesBorderBox(boolean sizeSpecifiesBorderBox)
public boolean isSizeSpecifiesBorderBox()
public boolean isLocked()
public BoxDefinition lock()
public BoxDefinition derive()
public RenderLength getFixedPosition()
public void setFixedPosition(RenderLength fixedPosition)
public Border getBorder()
public void setBorder(Border border)
public long getPaddingTop()
public void setPaddingTop(long paddingTop)
public long getPaddingLeft()
public void setPaddingLeft(long paddingLeft)
public long getPaddingBottom()
public void setPaddingBottom(long paddingBottom)
public long getPaddingRight()
public void setPaddingRight(long paddingRight)
public RenderLength getPreferredHeight()
public void setPreferredHeight(RenderLength preferredHeight)
public RenderLength getPreferredWidth()
public void setPreferredWidth(RenderLength preferredWidth)
public RenderLength getMinimumHeight()
public void setMinimumHeight(RenderLength minimumHeight)
public RenderLength getMinimumWidth()
public void setMinimumWidth(RenderLength minimumWidth)
public RenderLength getMaximumHeight()
public void setMaximumHeight(RenderLength maximumHeight)
public RenderLength getMaximumWidth()
public void setMaximumWidth(RenderLength maximumWidth)
public RenderLength getMarginTop()
public void setMarginTop(RenderLength marginTop)
public RenderLength getMarginBottom()
public void setMarginBottom(RenderLength marginBottom)
public RenderLength getMarginLeft()
public void setMarginLeft(RenderLength marginLeft)
public RenderLength getMarginRight()
public void setMarginRight(RenderLength marginRight)
public boolean isEmpty()
public BoxDefinition[] split(int axis)
axis
- the axis on which to split the box.