Package org.antlr.v4.gui

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