Class PostScriptDocument

java.lang.Object
org.antlr.v4.gui.PostScriptDocument

public class PostScriptDocument extends Object
  • Field Details

    • DEFAULT_FONT

      public static final String DEFAULT_FONT
      See Also:
    • 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 Details

    • PostScriptDocument

      public PostScriptDocument()
    • PostScriptDocument

      public PostScriptDocument(String fontName, int fontSize)
  • Method Details

    • 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()