cz.cuni.mff.mirovsky.trees
Class PrintTreeProperties

java.lang.Object
  cz.cuni.mff.mirovsky.trees.PrintTreeProperties

public class PrintTreeProperties
extends java.lang.Object

A class that keeps properties of trees related to printing the trees on a printer

Constructor Summary

PrintTreeProperties()

PrintTreeProperties(java.lang.String p_font_family, int p_font_size, boolean p_center, boolean p_keep_ratio, boolean p_background, boolean p_black_white)

Method Summary

boolean	getBackground()
boolean	getBlackWhite()
boolean	getCenter()
java.lang.String	getFontFamily()
int	getFontSize()
boolean	getKeepRatio()
java.awt.print.PageFormat	getPageFormat()
void	setBackground(boolean p_background)
void	setBlackWhite(boolean p_black_white)
void	setCenter(boolean p_center)
void	setFontFamily(java.lang.String p_font_family)
void	setFontSize(int p_font_size)
void	setKeepRatio(boolean p_keep_ratio)
void	setPageFormat(java.awt.print.PageFormat p_page_format)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrintTreeProperties

public PrintTreeProperties()

PrintTreeProperties

public PrintTreeProperties(java.lang.String p_font_family,
                           int p_font_size,
                           boolean p_center,
                           boolean p_keep_ratio,
                           boolean p_background,
                           boolean p_black_white)

Method Detail

getFontFamily

public java.lang.String getFontFamily()

getFontSize

public int getFontSize()

getCenter

public boolean getCenter()

getKeepRatio

public boolean getKeepRatio()

getBackground

public boolean getBackground()

getBlackWhite

public boolean getBlackWhite()

getPageFormat

public java.awt.print.PageFormat getPageFormat()

setFontFamily

public void setFontFamily(java.lang.String p_font_family)

setFontSize

public void setFontSize(int p_font_size)

setCenter

public void setCenter(boolean p_center)

setKeepRatio

public void setKeepRatio(boolean p_keep_ratio)

setBackground

public void setBackground(boolean p_background)

setBlackWhite

public void setBlackWhite(boolean p_black_white)

setPageFormat

public void setPageFormat(java.awt.print.PageFormat p_page_format)