public class KnuthBox extends KnuthElement
INFINITE| Constructor and Description |
|---|
KnuthBox(int width,
Position pos,
boolean auxiliary)
Creates a new
KnuthBox. |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isBox() |
java.lang.String |
toString() |
getPenalty, getShrink, getStretch, getWidth, isAuxiliary, isUnresolvedElementgetLayoutManager, getPosition, isForcedBreak, isGlue, isPenalty, setPositionpublic KnuthBox(int width,
Position pos,
boolean auxiliary)
KnuthBox.width - the width of this boxpos - the Position stored in this boxauxiliary - is this box auxiliary?public boolean isBox()
isBox in class ListElementpublic java.lang.String toString()
toString in class java.lang.ObjectCopyright 1999-2022 The Apache Software Foundation. All Rights Reserved.