Field Detail

• DEFAULT_FONT

  public static final String DEFAULT_FONT

  See Also:

  Constant Field Values

• POSTSCRIPT_FONT_NAMES

  public static final Map<String,String> POSTSCRIPT_FONT_NAMES

• boundingBoxWidth

  protected int boundingBoxWidth

• boundingBoxHeight

  protected int boundingBoxHeight

• fontMetrics

  protected SystemFontMetrics fontMetrics

• fontName

  protected String fontName

• fontSize

  protected int fontSize

• lineWidth

  protected double lineWidth

• boundingBox

  protected String boundingBox

• ps

  protected StringBuilder ps

• closed

  protected boolean closed

Constructor Detail

• PostScriptDocument

  public PostScriptDocument()

• PostScriptDocument

  public PostScriptDocument(String fontName,
                            int fontSize)

Method Detail

• getPS

  public String getPS()

• boundingBox

  public void boundingBox(int w,
                          int h)

• close

  public void close()

• header

  protected StringBuilder header()

  Compute the header separately because we need to wait for the bounding box

• setFont

  public void setFont(String fontName,
                      int fontSize)

• lineWidth

  public void lineWidth(double w)

• move

  public void move(double x,
                   double y)

• lineto

  public void lineto(double x,
                     double y)

• line

  public void line(double x1,
                   double y1,
                   double x2,
                   double y2)

• rect

  public void rect(double x,
                   double y,
                   double width,
                   double height)

• highlight

  public void highlight(double x,
                        double y,
                        double width,
                        double height)

  Make red box

• stroke

  public void stroke()

• text

  public void text(String s,
                   double x,
                   double y)

• getWidth

  public double getWidth(char c)

  All chars are 600 thousands of an 'em' wide if courier

• getWidth

  public double getWidth(String s)

• getLineHeight

  public double getLineHeight()

• getFontSize

  public int getFontSize()