Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> hartmath >> [ prettyprint overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

com.hartmath.prettyprint
Class PrettyPrintBox  

java.lang.Object
  com.hartmath.prettyprint.PrettyPrintBox

Direct Known Subclasses:

AbsoluteValueBox, BracesBox, BracketBox, HorizontalBox, HorizontalLineBox, SquareRootBox, SuperscriptBox, TextBox, VerticalBox

---

public abstract class PrettyPrintBox

extends java.lang.Object

Description of the Class

---

Field Summary
static int	COUNT           Description of the Field
static boolean	DEBUG           main pretty printer DEBUG flag
static java.lang.String	FONTFAMILY
static int	FONTSIZE
static int	MIN_SIZE

 

Constructor Summary

PrettyPrintBox()           Constructor for the PrettyPrintBox object

 

Method Summary
void	done(java.lang.String font, int fontSize)
abstract  BoxMetrics	getBoxMetrics()
java.awt.Insets	getInsets()           Gets the insets attribute of the PrettyPrintBox object
abstract  void	paint(java.awt.Graphics g, BoxMetrics size, int x, int y)           paint this box
java.util.ArrayList	split(int max_width)           split a box (box.width < max_wirdth)

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

COUNT

public static int COUNT

Description of the Field

---

DEBUG

public static final boolean DEBUG

main pretty printer DEBUG flag

See Also:

Constant Field Values

---

FONTFAMILY

public static final java.lang.String FONTFAMILY

See Also:

Constant Field Values

---

FONTSIZE

public static final int FONTSIZE

See Also:

Constant Field Values

---

MIN_SIZE

public static final int MIN_SIZE

See Also:

Constant Field Values

Constructor Detail

PrettyPrintBox

public PrettyPrintBox()

Constructor for the PrettyPrintBox object

Method Detail

getInsets

public java.awt.Insets getInsets()

Gets the insets attribute of the PrettyPrintBox object

---

getBoxMetrics

public abstract BoxMetrics getBoxMetrics()

---

paint

public abstract void paint(java.awt.Graphics g,
                           BoxMetrics size,
                           int x,
                           int y)

paint this box

---

split

public java.util.ArrayList split(int max_width)

split a box (box.width < max_wirdth)

---

done

public void done(java.lang.String font,
                 int fontSize)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> hartmath >> [ prettyprint overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---