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, isUnresolvedElement
getLayoutManager, getPosition, isForcedBreak, isGlue, isPenalty, setPosition
public 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 ListElement
public java.lang.String toString()
toString
in class java.lang.Object
Copyright 1999-2017 The Apache Software Foundation. All Rights Reserved.